* [Caml-list] MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation
@ 2020-08-09 23:02 Sam Lindley
0 siblings, 0 replies; only message in thread
From: Sam Lindley @ 2020-08-09 23:02 UTC (permalink / raw)
Eighth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Monday 31st August and Tuesday 1st September 2020, online
** Due to the COVID-19 pandemic, MSFP 2020 will now be held as a
virtual meeting **
** Registration deadline: Tuesday 25th August **
CALL FOR PARTICIPATION
Register for participation here by Tuesday 25th August:
There is no registration fee.
Pierre-Marie Pédrot - Inria Rennes-Bretagne-Atlantique, France
Satnam Singh - Google Research, USA
The eighth 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, as part of ETAPS 2016. The seventh MSFP Workshop was held
in July 2018, in Oxford, UK, as part of FLoC 2018.
All times are UTC+1 (i.e. the timezone of Dublin, Ireland where MSFP
2020 was originally scheduled to be held).
13:00 Invited Speaker: Pierre-Marie Pedrot
All your base categories are belong to us: A syntactic model of
presheaves in type theory
14:30 Philippa Cowderoy
Information aware type systems and telescopic constraint trees
15:00 Christopher Jenkins, Aaron Stump, and Larry Diehl
Efficient lambda encodings for Mendler-style coinductive types in
16:00 Niels Voorneveld
From equations to distinctions: Two interpretations of effectful
16:30 Dominic Orchard, Philip Wadler, and Harley Eades III
Unifying graded and parameterised monads
17:00 virtual pub
13:00 Anne Baanen and Wouter Swierstra
Combining predicate transformer semantics for effects: a case study
in parsing regular languages
13:30 Oleg Grenrus
14:30 Artjoms Sinkarovs
Multi-dimensional arrays with levels
15:00 Fritz Henglein and Mikkel Kragh Mathiesen
Module theory and query processing
16:00 Invited speaker: Satnam Singh
Extracting low-level formally verified circuits from Cava in Coq
17:00 virtual pub
Stephanie Balzer - CMU, USA
Kwanghoon Choi - Chonnam, South Korea
Ralf Hinze - Kaiserslautern, Germany
Marie Kerjean - Inria Nantes, France
Sam Lindley - Edinburgh and Imperial, UK (co-chair)
Max New - Northeastern, USA (co-chair)
Fredrik Nordvall-Forsberg - Strathclyde, UK
Alberto Pardo - Montevideo, Uruguay
Exequiel Rivas Gadda - Inria Paris, France
Claudio Russo - DFINITY, UK
Tarmo Uustalu - Reykjavik, Iceland
Nicolas Wu - Imperial, UK
Maaike Zwart - Oxford, UK
* We will use Google Meet for presentations.
* If the number of participants is not too high then we will invite
all participants to use Google Meet if they wish.
* Regardless, we will also livestream talks via YouTube.
* Questions and general discussion will be handled through Zulip.
* We will use gather.town for "corridor chat".
Further details will be emailed to registered participants.
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-08-10 7:22 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-08-09 23:02 [Caml-list] MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation Sam Lindley
caml-list - the Caml user's mailing list
This inbox may be cloned and mirrored by anyone:
git clone --mirror http://inbox.vuxu.org/caml-list
git clone --mirror https://inbox.ocaml.org/caml-list
# If you have public-inbox 1.1+ installed, you may
# initialize and index your mirror using the following commands:
public-inbox-init -V1 caml-list caml-list/ http://inbox.vuxu.org/caml-list \
Example config snippet for mirrors.
Newsgroup available over NNTP:
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git