Paul Levy
2012-01-26 14:38:22 UTC
---- End SpamAssassin results
X-Validation-by: p.bruscoli-+***@public.gmane.org
X-Loop: prooftheory-***@public.gmane.org
X-Sequence: 281
Errors-to: prooftheory-owner-***@public.gmane.org
Precedence: list
X-no-archive: yes
List-Id: <prooftheory.lists.bath.ac.uk>
List-Help: <mailto:sympa-***@public.gmane.org?subject=help>
List-Owner: <mailto:prooftheory-request-***@public.gmane.org>
List-Post: <mailto:prooftheory-***@public.gmane.org>
X-Scanner: eb886f476b59206e7304c611347a1171c3dae530
X-Gmane-Expiry: 2012-02-09
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.prooftheory/893>
Please note the deadline for early registration, including discounted
hotel bookings:
*Sunday 29 January*
===========================
Fourth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
25 March, Tallinn, Estonia
A satellite workshop of ETAPS 2012
http://cs.ioc.ee/msfp/msfp2012/
The fourth workshop on Mathematically Structured Functional
Programming is devoted to the derivation of functionality from
structure. It is a celebration of the direct impact of Theoretical
Computer Science on programs as we write them today. Modern
programming languages, and in particular functional languages, support
the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where
would Haskell be without monads? Functional reactive programming
without arrows? Call-by-push-value without adjunctions? Type theory
without universes? The list goes on. This workshop is a forum for
researchers who seek to reflect mathematical phenomena in data and
control.
The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010.
Invited Talks:
=================
Dependently typed continuation monads as models in Logic
Danko Ilik, Goce Delčev University of Štip, Republic of Macedonia
Fibred Data Types
Neil Ghani, University of Strathclyde, UK
Accepted Papers
==================
• A Formal Comparison of Approaches to Datatype-Generic Programming
José Pedro Magalhães and Andres Löh
• An Investigation of the Laws of Traversals
Mauro Jaskelioff and Ondrej Rypacek
• Evaluation strategies for monadic computations
Tomas Petricek
• From Mathematics to Abstract Machine: A formal derivation of an
executable Krivine machine
Wouter Swierstra
• Irrelevance, Heterogenous Equality, and Call-by-value Dependent
Type Systems
Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley
D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump and
Stephanie Weirich
• Parametric Compositional Data Types
Tom Hvitved and Patrick Bahr
• Step-Indexed Normalization for a Language with General Recursion
Chris Casinghino, Vilhelm Sjöberg and Stephanie Weirich
• Tracing monadic computations and representing effects
Maciej Piróg and Jeremy Gibbons
ETAPS:
======
European Joint Conferences on Theory and Practice of Software (ETAPS)
is the primary European forum for academic and industrial researchers
working on topics relating to software science. ETAPS, established in
1998, is a confederation of six main annual conferences (one of them,
POST, being new in 2012), accompanied by satellite workshops. ETAPS
2012 is the fifteenth event in the series.
http://www.etaps.org/2012
Host City:
==========
Tallinn, a city of 412,000 people, is the capital and largest city of
Estonia, a small EU member country in Northern Europe, bordering
Russia to the East and Latvia to the south. Located in the north of
the country, on the southern shores of the Gulf of Finland, opposite
Helsinki in Finland, Tallinn is most well known for its picturesque
medieval Old Town, a UNESCO World Heritage site. But it also has a
vivid cultural scene, outperforming most European centres of similar
size. In 2011, Tallinn, along with Turku in Finland, is the Cultural
Capital of Europe.
Tallinn is easy to travel to. Estonia is part of Schengen and the
Eurozone. The Lennart Meri International Airport of Tallinn /TLL) is
only 4km from the city centre.
Programme Committee:
====================
* James Chapman (co-chair), Institute of Cybernetics, Tallinn, Estonia
* Paul Blain Levy (co-chair), University of Birmingham, UK
* Thorsten Altenkirch, University of Nottingham, UK
* Robert Atkey, University of Strathclyde, Glasgow, UK
* Nils Anders Danielsson, Chalmers University and University of
Gothenburg,
Sweden
* Martin Escardo, University of Birmingham, UK
* Ichiro Hasuo, University of Tokyo, Japan
* Ralf Hinze, University of Oxford, UK
* Neelakantan Krishnaswami, Microsoft Research, Cambridge, UK
* Daniel R. Licata, Carnegie Mellon University, Pittsburgh, PA
* Ulrich Schoepp, LMU Munich, Germany
* Alex Simpson, University of Edinburgh, UK
* Matthieu Sozeau, INRIA, Paris, France
* Sam Staton, University of Cambridge, UK
Further Information:
====================
For more information about the workshop, go to:
http://cs.ioc.ee/msfp/msfp2012/
With any other questions please do not hesitate to contact the
co-chairs at msfp2012-***@public.gmane.org
X-Validation-by: p.bruscoli-+***@public.gmane.org
X-Loop: prooftheory-***@public.gmane.org
X-Sequence: 281
Errors-to: prooftheory-owner-***@public.gmane.org
Precedence: list
X-no-archive: yes
List-Id: <prooftheory.lists.bath.ac.uk>
List-Help: <mailto:sympa-***@public.gmane.org?subject=help>
List-Owner: <mailto:prooftheory-request-***@public.gmane.org>
List-Post: <mailto:prooftheory-***@public.gmane.org>
X-Scanner: eb886f476b59206e7304c611347a1171c3dae530
X-Gmane-Expiry: 2012-02-09
Archived-At: <http://permalink.gmane.org/gmane.science.mathematics.prooftheory/893>
Please note the deadline for early registration, including discounted
hotel bookings:
*Sunday 29 January*
===========================
Fourth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
25 March, Tallinn, Estonia
A satellite workshop of ETAPS 2012
http://cs.ioc.ee/msfp/msfp2012/
The fourth workshop on Mathematically Structured Functional
Programming is devoted to the derivation of functionality from
structure. It is a celebration of the direct impact of Theoretical
Computer Science on programs as we write them today. Modern
programming languages, and in particular functional languages, support
the direct expression of mathematical structures, equipping
programmers with tools of remarkable power and abstraction. Where
would Haskell be without monads? Functional reactive programming
without arrows? Call-by-push-value without adjunctions? Type theory
without universes? The list goes on. This workshop is a forum for
researchers who seek to reflect mathematical phenomena in data and
control.
The first MSFP workshop was held in Kuressaare, Estonia, in July 2006,
affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was
held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP
workshop was held in Baltimore, USA, as part of ICFP 2010.
Invited Talks:
=================
Dependently typed continuation monads as models in Logic
Danko Ilik, Goce Delčev University of Štip, Republic of Macedonia
Fibred Data Types
Neil Ghani, University of Strathclyde, UK
Accepted Papers
==================
• A Formal Comparison of Approaches to Datatype-Generic Programming
José Pedro Magalhães and Andres Löh
• An Investigation of the Laws of Traversals
Mauro Jaskelioff and Ondrej Rypacek
• Evaluation strategies for monadic computations
Tomas Petricek
• From Mathematics to Abstract Machine: A formal derivation of an
executable Krivine machine
Wouter Swierstra
• Irrelevance, Heterogenous Equality, and Call-by-value Dependent
Type Systems
Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley
D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump and
Stephanie Weirich
• Parametric Compositional Data Types
Tom Hvitved and Patrick Bahr
• Step-Indexed Normalization for a Language with General Recursion
Chris Casinghino, Vilhelm Sjöberg and Stephanie Weirich
• Tracing monadic computations and representing effects
Maciej Piróg and Jeremy Gibbons
ETAPS:
======
European Joint Conferences on Theory and Practice of Software (ETAPS)
is the primary European forum for academic and industrial researchers
working on topics relating to software science. ETAPS, established in
1998, is a confederation of six main annual conferences (one of them,
POST, being new in 2012), accompanied by satellite workshops. ETAPS
2012 is the fifteenth event in the series.
http://www.etaps.org/2012
Host City:
==========
Tallinn, a city of 412,000 people, is the capital and largest city of
Estonia, a small EU member country in Northern Europe, bordering
Russia to the East and Latvia to the south. Located in the north of
the country, on the southern shores of the Gulf of Finland, opposite
Helsinki in Finland, Tallinn is most well known for its picturesque
medieval Old Town, a UNESCO World Heritage site. But it also has a
vivid cultural scene, outperforming most European centres of similar
size. In 2011, Tallinn, along with Turku in Finland, is the Cultural
Capital of Europe.
Tallinn is easy to travel to. Estonia is part of Schengen and the
Eurozone. The Lennart Meri International Airport of Tallinn /TLL) is
only 4km from the city centre.
Programme Committee:
====================
* James Chapman (co-chair), Institute of Cybernetics, Tallinn, Estonia
* Paul Blain Levy (co-chair), University of Birmingham, UK
* Thorsten Altenkirch, University of Nottingham, UK
* Robert Atkey, University of Strathclyde, Glasgow, UK
* Nils Anders Danielsson, Chalmers University and University of
Gothenburg,
Sweden
* Martin Escardo, University of Birmingham, UK
* Ichiro Hasuo, University of Tokyo, Japan
* Ralf Hinze, University of Oxford, UK
* Neelakantan Krishnaswami, Microsoft Research, Cambridge, UK
* Daniel R. Licata, Carnegie Mellon University, Pittsburgh, PA
* Ulrich Schoepp, LMU Munich, Germany
* Alex Simpson, University of Edinburgh, UK
* Matthieu Sozeau, INRIA, Paris, France
* Sam Staton, University of Cambridge, UK
Further Information:
====================
For more information about the workshop, go to:
http://cs.ioc.ee/msfp/msfp2012/
With any other questions please do not hesitate to contact the
co-chairs at msfp2012-***@public.gmane.org