Email Gateway (Aug 05 2021 at 16:11): Email Gateway (Aug 05 2021 at 16:11):From: Thorsten Wissmann <s-dgq@thorsten-wissmann.de>
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@cs.uni-salzburg.at
Last updated: Jul 15 2022 at 23:21 UTC