---------------------------------------------------- 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/1FAIpQLSdy7HNv1RhaxXunXzQrN80BBUBZKkmrY811... 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