'[Haskell] MSFP 2012: Second Call for Papers'

[prev in list] [next in list] [prev in thread] [next in thread] 

List:       haskell
Subject:    [Haskell] MSFP 2012: Second Call for Papers
From:       James Chapman <james () cs ! ioc ! ee>
Date:       2011-11-16 9:18:13
Message-ID: 182134FB-40F9-4D1F-80AC-E2525D57A23B () cs ! ioc ! ee
[Download RAW message or body]

[Attachment #2 (multipart/alternative)]

Dear all,

The deadline for MSFP 2012 is exactly a month away!

Since sending out the first call we have solicited invited talks from two very \
interesting speakers! See below.

James

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.

Important Dates:
================

Submission of papers: 16 December 2011
Notification: 20 January 2012
Final versions due: 3 Feburary 2012
Workshop: 25 March 2012

Invited Speakers:
=================
Danko Ilik, Goce DelÄev University of Å tip, Republic of Macedonia
Neil Ghani, University of Strathclyde, UK

Submission:
===========

Papers must report previously unpublished work and not be submitted
concurrently to another conference with refereed proceedings. Accepted
papers must be presented at the workshop by one of the authors.

There is no specific page limit, but authors should strive for brevity.

Accepted regular papers will be published in the Electronic
Proceedings in Theoretical Computer Science (EPTCS). After the
workshop, there might be an opportunity to publish selected papers in
a journal special issue.

All submissions must be in PDF format and use the EPTCS style
files. Submissions can be made through the EasyChair website, at
http://www.easychair.org/conferences/?conf=msfp2012

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@easychair.org.

[Attachment #5 (unknown)]

<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; \
-webkit-line-break: after-white-space; "><span class="Apple-style-span" \
style="font-family: monospace; ">Dear all,</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">The deadline for MSFP 2012 is exactly a month \
away!</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">Since \
sending out the first call we have solicited invited talks from two very interesting \
speakers! See below.</span><span class="Apple-style-span" style="font-family: \
monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
">James</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">Fourth \
Workshop on</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
">MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">25 March, Tallinn, \
Estonia</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">A \
satellite workshop of ETAPS 2012</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; "><a \
href="http://cs.ioc.ee/msfp/msfp2012/">http://cs.ioc.ee/msfp/msfp2012/</a></span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">The fourth workshop on \
Mathematically Structured Functional</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">Programming is devoted to the derivation of \
functionality from</span><span class="Apple-style-span" style="font-family: \
monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; \
">structure. It is a celebration of the direct impact of Theoretical</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">Computer Science on \
programs as we write them today. Modern</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">programming languages, and in particular functional \
languages, support</span><span class="Apple-style-span" style="font-family: \
monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; \
">the direct expression of mathematical structures, equipping</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">programmers with tools of \
remarkable power and abstraction. Where</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">would Haskell be without monads? Functional reactive \
programming</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">without \
arrows? Call-by-push-value without adjunctions? Type theory</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">without universes? The list \
goes on. This workshop is a forum for</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">researchers who seek to reflect mathematical \
phenomena in data and</span><span class="Apple-style-span" style="font-family: \
monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; \
">control.</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">The \
first MSFP workshop was held in Kuressaare, Estonia, in July 2006,</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">affiliated with MPC 2006 \
and AMAST 2006. The second MSFP workshop was</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">held in Reykjavik, Iceland as part of ICALP 2008. \
The third MSFP</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">workshop \
was held in Baltimore, USA, as part of ICFP 2010.</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">Important \
Dates:</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
">================</span><span class="Apple-style-span" style="font-family: \
monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
">Submission of papers: 16 December 2011</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">Notification: 20 January 2012</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">Final versions due: 3 \
Feburary 2012</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
">Workshop: 25 March 2012</span><span class="Apple-style-span" style="font-family: \
monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">Invited \
Speakers:</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
">=================</span><span class="Apple-style-span" style="font-family: \
monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; \
">Danko Ilik, Goce DelÄev University of Å tip, Republic of Macedonia</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">Neil Ghani, University of \
Strathclyde, UK</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
">Submission:</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
">===========</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">Papers \
must report previously unpublished work and not be submitted</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">concurrently to another \
conference with refereed proceedings. Accepted</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">papers must be presented at the workshop by one of \
the authors.</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">There is \
no specific page limit, but authors should strive for brevity.</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">Accepted regular papers \
will be published in the Electronic</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">Proceedings in Theoretical Computer Science (EPTCS). \
After the</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
">workshop, there might be an opportunity to publish selected papers in</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">a journal special \
issue.</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">All \
submissions must be in PDF format and use the EPTCS style</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">files. Submissions can be \
made through the EasyChair website, at</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; "><a \
href="http://www.easychair.org/conferences/?conf=msfp2012">http://www.easychair.org/conferences/?conf=msfp2012</a></span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">ETAPS:</span><span \
class="Apple-style-span" style="font-family: monospace; ">&nbsp;</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">======</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">European Joint Conferences \
on Theory and Practice of Software (ETAPS)</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">is the primary European forum for academic and \
industrial researchers</span><span class="Apple-style-span" style="font-family: \
monospace; "><br></span><span class="Apple-style-span" style="font-family: monospace; \
">working on topics relating to software science. ETAPS, established in</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">1998, is a confederation of \
six main annual conferences (one of them,</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">POST, being new in 2012), accompanied by satellite \
workshops. ETAPS</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">2012 is \
the fifteenth event in the series.</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; "><a \
href="http://www.etaps.org/2012">http://www.etaps.org/2012</a></span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">Host City:</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">==========</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">Tallinn, a city of 412,000 \
people, is the capital and largest city of</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">Estonia, a small EU member country in Northern \
Europe, bordering</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">Russia \
to the East and Latvia to the south. Located in the north of</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">the country, on the \
southern shores of the Gulf of Finland, opposite</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">Helsinki in Finland, Tallinn is most well known for \
its picturesque</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">medieval \
Old Town, a UNESCO World Heritage site. But it also has a</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">vivid cultural scene, \
outperforming most European centres of similar</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">size. In 2011, Tallinn, along with Turku in Finland, \
is the Cultural</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">Capital \
of Europe.</span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; \
"><br></span><span class="Apple-style-span" style="font-family: monospace; ">Tallinn \
is easy to travel to. Estonia is part of Schengen and the</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \
class="Apple-style-span" style="font-family: monospace; ">Eurozone. The Lennart Meri \
International Airport of Tallinn /TLL) is</span><span class="Apple-style-span" \
style="font-family: monospace; "><br></span><span class="Apple-style-span" \
style="font-family: monospace; ">only 4km from the city centre.</span><span \
class="Apple-style-span" style="font-family: monospace; "><br></span><span \

_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell

[prev in list] [next in list] [prev in thread] [next in thread] 