===================================================================== 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://coalg.org/calco-mfps-2023/ *** 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) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]