Schedule
The schedule for MFPS20 is as follows. Watch the pre-recorded talks on the Youtube Channel of the conference!
You can also consult QPL schedule here.
|
UTC+2 (24 hour clock) |
Tue 02/06 |
Wed 03/06 |
Thu 04/06 |
Fri 05/06 |
|---|---|---|---|---|
|
10.00 - 10:30 |
Session 1 |
Session 3 |
QPL joint speaker (live) |
|
|
10.30 - 11:00 |
||||
|
11.00 - 11.30 |
||||
|
11.30 - 13.00 |
QPL (live) joint session |
|||
|
13.00 - 14.30 |
||||
|
14.30 - 15.00 |
Plenary Speakers |
|||
|
15.00 - 16:30 |
||||
|
16.30 - 17:00 |
Session 2 | Session 4 |
Special session on |
The Slack channel to the talk is
You can try this link to open it automatically in Slack. Sometimes however it fails: you can then simply open the channel manually in you Slack interface.
Note
The sessions on Thursday are organised together with QPL and some of the talks will be live and subsequently uploaded to YouTube. All other talks will be available on YouTube before the conference. The above schedule indicates the time when speakers will be available for discussion in Slack. If you cannot make it for the live session, you are encouraged to ask your questions in advance in the respective Slack channel.
Session 1
Interation with the authors on Slack scheduled Tuesday, from 10:00 tp 10:30am.
- Abbas Edalat, Amin Farjudian, Mina Mohammadian and Dirk Pattinson. Domain Theoretic Second-Order Euler’s Method for Solving Initial Value Problems. #mfps-session1-farjudian youtube link
- Gordon Plotkin. A complete axiomatisation of partial differentiation.#mfps-session1-plotkin youtube link
- Tao Gu, Alexandra Silva and Fabio Zanasi. Hennessy-Milner Results for Probabilistic PDL.#mfps-session1-gu youtube link
Session 2
Interation with the authors on Slack scheduled Tuesday, from 16:30 tp 17:00am.
- Linan Chen, Florence Clerc and Prakash Panangaden. Towards a classification of behavioural equivalences in continuous-time Markov processes.#mfps-session2-clerc youtube link
- Alejandro Aguirre and Shin-ya Katsumata. Weakest preconditions in fibrations.#mfps-session2-aguirre youtube link
- Nicolas Blanco and Noam Zeilberger. Bifibrations of Polycategories and Classical Linear Logic.#mfps-session2-blanco youtube link
- Ryan Kavanagh. Some Properties of Parametrized Fixed Points on O-Categories.#mfps-session2-kavanagh youtube link
Session 3
Interation with the authors on Slack scheduled Wednesday from 10:00 tp 10:30am.
- Tarmo Uustalu, Niccolò Veltri and Noam Zeilberger. Eilenberg-Kelly reloaded.#mfps-session3-veltri youtube link
- Roy Crole, Samuele Buro and Isabella Mastroeni. Equational Logic and Categorical Semantics for Multi-Languages.#mfps-session3-buro youtube link
- Niels Voorneveld. Combining Algebraic Effect Descriptions using the Tensor of Complete Lattices.#mfps-session3-voorneveld youtube link
Session 4
Interation with the authors on Slack scheduled Wednesday from 16:30 tp 17:00am.
- Paolo Perrone and Tobias Fritz. Monads, partial evaluations, and rewriting.#mfps-session4-perrone youtube link
- Thomas Paine. A pebbling comonad for finite rank and variable logic, and an application to the equirank-variable homomorphism preservation theorem.#mfps-session4-paine youtube link
- Ernest Manes. Continuous Monads. #mfps-session4-manes
MFPS / QPL Joint Program
MFPS and QPL 2020 shares an invited, plenary speaker, and a special session of quantum programming. The session lasts all morning of the Thursday: we invite you to check QPL's schedule for the exact timing of talks if you want to attend them live.
- Alexandre Miquel. Realizability for designing type systems #joint-session-plenary-miquel youtube link
- Pierre Clairambault. Quantum Game Semantics #joint-session-talk1-clairambault youtube link
- Claudia Faggian. Parallelism and Asymptotic Computation. On the operational theory of probabilistic and quantum higher-order computation. #joint-session-talk2-faggian youtube link
- Vladimir Zamdzhiev. Inductive and Recursive Types for Quantum Programming #joint-session-talk3-zamdzhiev youtube link
Plenary Speakers
Interaction with the speakers scheduled on Friday at 14:30. Do not hesitate to ask question in the corresponding Slack channels in advance.
- Gilles Barthe. Relational verification of adversarial probabilistic programs. (Plenary Talk). #mfps-plenary-barthe youtube link
- Christine Tasson. The Linear-Non-Linear Substitution Monad. (Plenary Talk). #mfps-plenary-tasson youtube link
Special session on probabilistic programming
Interaction with the speakers scheduled on Friday at 16:30. Do not hesitate to ask question in the corresponding Slack channels in advance.
- Dexter Kozen. Dexter Kozen. Joint Distributions and Probabilistic Semantics (Plenary Talk). #mfps-special-session-kozen youtube link
- Fredrik Dahlqvist. Safe and Meaningful Inference with Bayesian Types. #mfps-special-session-dahlqvist youtube link
- Ohad Kammar#mfps-special-session-kammar
- Radu Mardare. Quantitative Algebras and the perspective of a Metrized Theory of Algebraic Effects#mfps-special-session-mardare youtube link
- Valeria Vignudelli. Monads and Quantitative Equational Theories for Nondeterminism and Probabilities. #mfps-special-session-vignudelli youtube link