[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
======================================================================
CALL FOR PARTICIPATION: CALCO 2023 and MFPS XXXIX
10th International Conference on Algebra and Coalgebra in Computer Science
39th Conference on Mathematical Foundations of Programming Semantics
June 19-23, 2023
Bloomington, Indiana (USA) and online
https://urldefense.com/v3/__https://coalg.org/calco-mfps-2023/__;!!IBzWLUs!SuSF8L7La9i73n4BXTdU0xb7-10hIV0_2m3yej3mHve9PGuCbz2_CvFfaOBmD3e-JekHbhv1jWf2IXpTd7YfYlubgvl3n1MTTm1kZX9rg0ZmQAoTbyQ$
*** Program is online, registration is open, online participation will
be free ***
========================================================================
Invited Speakers
----------------
Robert Harper, Carnegie Mellon University (CALCO/MFPS)
Assia Mahboubi, Inria (CALCO/MFPS)
Roberto Bruni, University of Pisa (CALCO)
Elaine Pimentel, University College London (CALCO)
Jeremy Siek, Indiana University (CALCO)
Azalea Raad, Imperial College London (MFPS)
Alex Simpson, University of Ljubljana (MFPS)
Special Sessions
----------------
-- Joint CALCO/MFPS Special Session on "Machine-checked mathematics"
Organiser: Assia Mahboubi
* Yannick Forster (Inria)
* Andrei Popescu (University of Sheffield)
* Floris Van Doorn (University of Paris-Saclay)
-- CALCO Special Session on "Category Theory in Machine Learning"
Organisers: Brendan Fong, Brandon Shapiro, Fabio Zanasi
* Fabio Zanasi (University College London and University of Bologna)
* Brandon Shapiro (Topos Institute Berkeley)
* Jean-Simon Pacaud Lemay (Macquarie University)
* Prakash Panangaden (McGill University Montréal)
-- MFPS Special Session on "Semantics and Compilers"
Organiser: Amal Ahmed
* Amal Ahmed (Northeastern University)
* Jérémie Koenig (Yale University)
* Max S. New (University of Michigan)
-- MFPS Special Session on "Categories of bidirectional processes"
Organiser: Jules Hedges
* Jules Hedges (University of Strathclyde)
* Valeria de Paiva (Topos Institute)
* Mario Román (Tallinn University of Technology)
About CALCO and MFPS
---------------------------------------------------------------------
CALCO aims to bring together researchers and practitioners with
interests in foundational aspects, and both traditional and emerging
uses of algebra and coalgebra in computer science.
MFPS conferences are dedicated to the areas of mathematics, logic, and
computer science that are related to models of computation in general,
and to semantics of programming languages in particular.
This is a forum where researchers in mathematics and computer science
can meet and exchange ideas. The participation of researchers in
neighbouring areas is strongly encouraged.
CALCO Chairs
--------------------
* Paolo Baldan (University of Padua)
* Valeria de Paiva (Topos Institute, Berkeley)
MFPS Chairs
------------------
* Marie Kerjean (CNRS, LIPN, Université Sorbonne Paris Nord)
* Paul Blain Levy (University of Birmingham)
Local Organiser
---------------------
* Larry Moss (Indiana University)
