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