[Haskell] Call for Participation: CALCO & MFPS 2021

Thorsten Wissmann s-dgq at thorsten-wissmann.de
Wed Aug 4 19:43:35 UTC 2021


----------------------------------------------------

Call for Participation

CALCO 2021 & MFPS XXXVII

August 30 - September 3, 2021

Online / Hybrid from Salzburg, Austria

https://www.coalg.org/calco-mfps2021/

-----------------------------------------------------
Registration
-----------------------------------------------------
Registration is free. Please register on
https://docs.google.com/forms/d/e/1FAIpQLSdy7HNv1RhaxXunXzQrN80BBUBZKkmrY811vyvR4BQW2Ir2UQ/viewform
as soon as possible, not later than August 27, in order to receive the
online-conference-room links. Should you plan to attend in person in Salzburg
(which is possible for a small number of people) please register as soon as
possible, tick the corresponding box, and contact the local organisers.

Plenary Invited Speakers:
-----------------------------------------------------
Eugenia Cheng, School of the Art Institute of Chicago (Joint CALCO & MFPS)
Valeria De Paiva, Topos Institute Berkeley (CALCO)
Holger Giese, Hasso-Plattner Institute Potstdam (CALCO)
Viktor Vafeiadis, Max Planck Institute Kaiserslautern (CALCO)
Amina Doumane, ENS Lyon  (MFPS)
Shin-ya Katsumata, NII Tokyo (MFPS)
Krishna S., IIT Bombay (MFPS)


Special Sessions:
-----------------------------------------------------
Termination Analysis and Synthesis (Joint CALCO & MFPS)
                   Azadeh Farzan, University of Toronto, Invited Tutorial
Speaker
                   Zachary Kincaid, Princeton University
                   Florian Zuleger, TU Wien
Probabilistic Programming Semantics (MFPS)
                   Sam Staton, University of Oxford, Invited Tutorial
Speaker
                   Tobias Fritz, University of Innsbruck
                   Alex Simpson, University of Ljubljana
Categorical Type Theory (MFPS)
                  Paul -Andrè Melliés, IRIF Université Paris Denis Diderot,
Invited Tutorial Speaker
                  Raphaëlle Crubillé, LORIA Nancy
                  Niccolò Veltri, Taltech Tallinn
                  Noam Zeilberger, Ècole Politechnique
String Diagrams (MFPS)
                  Filippo Bonchi, University of Pisa, Invited Tutorial
Speaker
                  Pawel Sobocinski, Taltech Tallinn, Invited Tutorial
Speaker
                  Brendan Fong, Topos Institute Berkeley
                  Fabio Zanasi, University College London

Social Events
-----------------------------------------------------
CALCO 2021 & MFPS XXXVII  will feature a virtual environment for
participants to connect and meet online, an online social event, and an
online city tour.


Contact
-----------------------------------------------------
Ana Sokolova, University of Salzburg, anas at cs.uni-salzburg.at


More information about the Haskell mailing list