From mboxrd@z Thu Jan 1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7166
Path: news.gmane.org!not-for-mail
From: Paul Levy
Newsgroups: gmane.science.mathematics.prooftheory,gmane.science.mathematics.categories,gmane.comp.science.types.announce
Subject: [PT] MSFP 2012 call for participation
Date: Thu, 26 Jan 2012 14:38:22 +0000
Message-ID:
NNTP-Posting-Host: lo.gmane.org
Mime-Version: 1.0 (Apple Message framework v936)
Content-Type: text/plain; charset=UTF-8; format=flowed; delsp=yes
Content-Transfer-Encoding: quoted-printable
X-Trace: dough.gmane.org 1327607051 18375 80.91.229.12 (26 Jan 2012 19:44:11 GMT)
X-Complaints-To: usenet@dough.gmane.org
NNTP-Posting-Date: Thu, 26 Jan 2012 19:44:11 +0000 (UTC)
To: categories list ,
types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8@public.gmane.org,
lfcs-interest-9iOJEv++55WFxr2TtlUqVg@public.gmane.org,
twelf-list-YidNj35/HaM@public.gmane.org,
theory-logic-ETDLCGt7PQU3uPMLIKxrzw@public.gmane.org,
nwpt-info-9jONkmmOlFFJyyPhQCpnVw@public.gmane.org,
excs-9jONkmmOlFFJyyPhQCpnVw@public.gmane.org,
ProofTheory.List-o4GsF6Y0fuwAvxtiuMwx3w@public.gmane.org,
Fun in the Afternoon
Original-X-From: prooftheory-owner-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org Thu Jan 26 20:44:05 2012
Return-path:
Envelope-to: gsmp-list-1@m.gmane.org
Original-Received: from prost.bath.ac.uk ([138.38.0.37])
by lo.gmane.org with esmtp (Exim 4.69)
(envelope-from )
id 1RqVEq-0006aI-R2
for gsmp-list-1@m.gmane.org; Thu, 26 Jan 2012 20:44:04 +0100
Original-Received: from hammerhead.bath.ac.uk ([138.38.32.43])
by prost.bath.ac.uk with esmtps (TLSv1:DHE-RSA-AES256-SHA:256)
(Exim 4)
(envelope-from )
id 1RqVEp-0006Be-AQ; Thu, 26 Jan 2012 19:44:03 +0000
Original-Received: from sympa by hammerhead.bath.ac.uk with local (Exim 4.66)
(envelope-from )
id 1RqVEo-0003YY-Ff; Thu, 26 Jan 2012 19:44:02 +0000
X-Sympa-To: prooftheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org
Original-Received: from prost.bath.ac.uk ([138.38.0.37])
by hammerhead.bath.ac.uk with esmtp (Exim 4.66)
(envelope-from )
id 1RqQTs-0001Ty-QV
for ProofTheory-0VDFhBbLC1Y8tAQEoGlWAQ@public.gmane.org; Thu, 26 Jan 2012 14:39:16 +0000
Original-Received: from mail-lpp01m010-f45.google.com ([209.85.215.45])
by prost.bath.ac.uk with esmtps (TLSv1:RC4-SHA:128)
(Exim 4)
(envelope-from )
id 1RqQTm-0003ze-CM
for ProofTheory-0VDFhBbLC1Y8tAQEoGlWAQ@public.gmane.org; Thu, 26 Jan 2012 14:39:16 +0000
Original-Received: by laho5 with SMTP id o5so547312lah.18
for ; Thu, 26 Jan 2012 06:38:54 -0800 (PST)
Original-Received: by 10.112.86.67 with SMTP id n3mr644820lbz.29.1327588734933;
Thu, 26 Jan 2012 06:38:54 -0800 (PST)
X-Forwarded-To: ProofTheory-0VDFhBbLC1Y8tAQEoGlWAQ@public.gmane.org
X-Forwarded-For: prooftheory.list-Re5JQEeQqe8AvxtiuMwx3w@public.gmane.org ProofTheory-0VDFhBbLC1Y8tAQEoGlWAQ@public.gmane.org
Original-Received: by 10.152.11.232 with SMTP id t8cs27746lab;
Thu, 26 Jan 2012 06:38:54 -0800 (PST)
Original-Received: by 10.180.82.41 with SMTP id f9mr4041489wiy.7.1327588733657;
Thu, 26 Jan 2012 06:38:53 -0800 (PST)
Original-Received: from sun60.bham.ac.uk (sun60.bham.ac.uk. [147.188.128.137])
by mx.google.com with ESMTP id fx6si4099586wib.29.2012.01.26.06.38.52;
Thu, 26 Jan 2012 06:38:53 -0800 (PST)
Received-SPF: pass (google.com: domain of P.B.Levy-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org designates 147.188.128.137 as permitted sender) client-ip=147.188.128.137;
Authentication-Results: mx.google.com; spf=pass (google.com: domain of P.B.Levy-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org designates 147.188.128.137 as permitted sender) smtp.mail=P.B.Levy-dxBOTFGcEFw2EctHIo1CcQ@public.gmane.org
Original-Received: from [147.188.128.127] (helo=bham.ac.uk)
by sun60.bham.ac.uk with esmtp (Exim 4.72)
(envelope-from )
id 1RqQTA-00055d-NG; Thu, 26 Jan 2012 14:38:32 +0000
Original-Received: from [147.188.254.156] (helo=[10.4.160.242])
by bham.ac.uk (envelope-from
)
with esmtpsa (TLSv1:AES128-SHA:128)
(Exim 4.72)
id 1RqQT9-0001LD-Fm
using interface auth-smtp.bham.ac.uk; Thu, 26 Jan 2012 14:38:31 +0000
X-Mailer: Apple Mail (2.936)
X-Spam-Score: 0.0 (/)
X-Spam-Report: 0.0/6.0
---- Start SpamAssassin results
---- End SpamAssassin results
X-Validation-by: p.bruscoli-+E0FUbDlCk21Qrn1Bg8BZw@public.gmane.org
X-Loop: prooftheory-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org
X-Sequence: 281
Errors-to: prooftheory-owner-nJFXYWEDAR8wZN84zEGlPg@public.gmane.org
Precedence: list
X-no-archive: yes
List-Id:
List-Help:
List-Owner:
List-Post:
X-Scanner: eb886f476b59206e7304c611347a1171c3dae530
X-Gmane-Expiry: 2012-02-09
Xref: news.gmane.org gmane.science.mathematics.prooftheory:893 gmane.science.mathematics.categories:7166 gmane.comp.science.types.announce:2747
Archived-At:
Please note the deadline for early registration, including discounted =20=
hotel bookings:
*Sunday 29 January*
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
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:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
Dependently typed continuation monads as models in Logic
Danko Ilik, Goce Del=C4=8Dev University of =C5=A0tip, Republic of =
Macedonia
Fibred Data Types
Neil Ghani, University of Strathclyde, UK
Accepted Papers
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
=E2=80=A2 A Formal Comparison of Approaches to Datatype-Generic =
Programming
Jos=C3=A9 Pedro Magalh=C3=A3es and Andres L=C3=B6h
=E2=80=A2 An Investigation of the Laws of Traversals
Mauro Jaskelioff and Ondrej Rypacek
=E2=80=A2 Evaluation strategies for monadic computations
Tomas Petricek
=E2=80=A2 =46rom Mathematics to Abstract Machine: A formal derivation of =
an =20
executable Krivine machine
Wouter Swierstra
=E2=80=A2 Irrelevance, Heterogenous Equality, and Call-by-value =
Dependent =20
Type Systems
Vilhelm Sj=C3=B6berg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, =
Harley =20
D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump and =20
Stephanie Weirich
=E2=80=A2 Parametric Compositional Data Types
Tom Hvitved and Patrick Bahr
=E2=80=A2 Step-Indexed Normalization for a Language with General =
Recursion
Chris Casinghino, Vilhelm Sj=C3=B6berg and Stephanie Weirich
=E2=80=A2 Tracing monadic computations and representing effects
Maciej Pir=C3=B3g and Jeremy Gibbons
ETAPS:
=3D=3D=3D=3D=3D=3D
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:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
* 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 =20
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:
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
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-bC77Qfv0vuxuqbVgCf2ROg@public.gmane.org