posted by user: hossein_haeri || 1817 views || tracked by 2 users: [display]

MSFP 2016 : MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING

FacebookTwitterLinkedInGoogle

Link: http://msfp2016.bentnib.org/
 
When Apr 8, 2016 - Apr 8, 2016
Where Eindhoven, The Netherlands
Abstract Registration Due Jan 10, 2016
Submission Deadline Jan 17, 2016
Notification Due Feb 17, 2016
Final Version Due Feb 24, 2016
Categories    language semantics   functional programming   code analysis
 

Call For Papers

Sixth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
8 April 2014, in Eindhoven, The Netherlands
A satellite workshop of ETAPS 2016

http://msfp2016.bentnib.org/

The sixth 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 temporal logic? Call-by-push-value without
adjunctions? 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. The fourth
workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The
fifth workshop was held in Grenoble, France, as part of ETAPS 2014.

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

Abstract 10th January 2016
Submission 17th January 2016
Notification 17th February 2016
Final version 24th February 2016
Workshop 8th April 2016


Invited Speakers:
=================

To be announced.


Program Committee:
==================

Zena Ariola, University of Oregon
Robert Atkey, University of Strathclyde (co-chair)
Chantal Keller, IUT d'Orsay
Neelakantan Krishnaswami, University of Birmingham (co-chair)
Helle Hvid Hansen, Delft University of Technology
Nicolas Wu, University of Bristol
Ornela Dardha, University of Glasgow

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, and will
be published under the auspices of EPTCS under a Creative Commons
license.

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

Related Resources

TFP 2025   25th International Symposium on Trends in Functional Programming
Lambda World 2024   Lambda World - The Largest Functional Programming Conference in South Europe
CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
ICFMCE 2025   2025 International Conference on Functional Materials and Chemical Engineering (ICFMCE 2025)
OOPSLA 2025 Round 2 2025   Conference on Object-Oriented Programming Systems, Languages, and Applications (Round 2)
Mathematically Modeling Early Christian 2024   Call for Papers - Mathematically Modeling Early Christian Literature: Theories, Methods, and Future Directions
NANOMAT 2025   International Conference on Functional Nanomaterials and Nanodevices
14th NIZO Dairy Conference 2025   14th NIZO Dairy Conference: Innovations in Dairy Ingredients
OASIS 4 2025   Ontology As Structured by the Interfaces with Semantics 4