[Agda] MSFP 2020 (Monday August 31st and Tuesday September 1st) - Call for Participation

[Max New]

Eighth Workshop on
MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING
Monday 31st August and Tuesday 1st September 2020, online

https://msfp-workshop.github.io/msfp2020/

  ** Due to the COVID-19 pandemic, MSFP 2020 will now be held as a
     virtual meeting **

  ** Registration deadline: Tuesday 25th August **

   CALL FOR PARTICIPATION

Registration
============

Register for participation here by Tuesday 25th August:

  https://forms.gle/HNvFsxDKbGAvnv9x9

There is no registration fee.

Invited Speakers
================

    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.

Programme
=========

All times are UTC+1 (i.e. the timezone of Dublin, Ireland where MSFP
2020 was originally scheduled to be held).

Monday
------

13:00 Invited Speaker: Pierre-Marie Pedrot
  All your base categories are belong to us: A syntactic model of
  presheaves in type theory

14:00 break

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
  Cedille

15:30 break

16:00 Niels Voorneveld
  From equations to distinctions: Two interpretations of effectful
  computations
16:30 Dominic Orchard, Philip Wadler, and Harley Eades III
  Unifying graded and parameterised monads

17:00 virtual pub

Tuesday
-------

13:00 Anne Baanen and Wouter Swierstra
  Combining predicate transformer semantics for effects: a case study
  in parsing regular languages
13:30 Oleg Grenrus
  Shattered lens

14:00 break

14:30 Artjoms Sinkarovs
  Multi-dimensional arrays with levels
15:00 Fritz Henglein and Mikkel Kragh Mathiesen
  Module theory and query processing

15:30 break

16:00 Invited speaker: Satnam Singh
  Extracting low-level formally verified circuits from Cava in Coq

17:00 virtual pub

Program Committee
=================

    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

Platforms
=========

 * 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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200811/2b58339e/attachment.html>