[Agda] Mathematically Structured Functional Programming 2018: Call for Participation

[Robert Atkey]

Seventh Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Sunday 8th July 2018, Oxford, UK
A satellite workshop of FSCD 2018

http://msfp2018.bentnib.org/

    CALL FOR PARTICIPATION

Registration:
============

Register here: http://www.floc2018.org/register/
Early registration deadline: Wednesday 6th June


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

  - Tamara von Glehn, University of Cambridge, UK
  - Didier Remy, INRIA, France



The seventh 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. The sixth MSFP Workshop was held in April 2016, in Eindhoven,
Netherlands, just after ETAPS 2016.

Programme:
==========

See also https://easychair.org/smart-program/FLoC2018/MSFP-program.html 
for abstracts.

09:00 Invited speaker: Tamara von Glehn
       Polynomial models of type theory
10:00 Maaike Zwart and Dan Marsden
       Some No-Go Theorems for Distributive Laws (extended abstract)

10:30 Coffee

11:00 Jeremy Pope
       Formalizing Constructive Quantifier Elimination in Agda
11:45 Exequiel Rivas
       Relating Idioms, Arrows and Monads from Monoidal Adjunctions

12:30 Lunch

14:00 Invited Speaker: Didier Remy
       Ornamentation put into practice in ML
15:00 Jeremy Gibbons and Guillaume Boisseau
       Profunctor Optics and the Yoneda Lemma

15:30 Coffee

16:00 Jules Hedges
       Backward induction for repeated games
16:45 Conor McBride
       Everybody's Got To Be Somewhere

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

     Andreas Abel      - Chalmers, Sweden
     Danel Ahman       - INRIA Paris, France
     Robert Atkey      - University of Strathclyde, UK (co-chair)
     Jeremy Gibbons    - University of Oxford, UK
     Jennifer Hackett  - University of Nottingham, UK
     Mauro Jaskelioff  - Universidad Nacional de Rosario, Argentina
     Shin-ya Katsumata - National Institute of Informatics, Japan
     Sam Lindley       - University of Edinburgh, UK (co-chair)
     Clare Martin      - Oxford Brookes University, UK
     Shin-Cheng Mu     - Academia Sinica, Taiwan
     Valeria de Paiva  - Nuance Communications, US
     Alexandra Silva   - University College London, UK