10th Conference on Algebra and Coalgebra in Computer Science

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. It is a high-level, bi-annual conference formed by joining the forces and reputations of CMCS (the International Workshop on Coalgebraic Methods in Computer Science), and WADT (the Workshop on Algebraic Development Techniques). Previous CALCO editions took place in Swansea (Wales, 2005), Bergen (Norway, 2007), Udine (Italy, 2009), Winchester (UK, 2011), Warsaw (Poland, 2013), Nijmegen (The Netherlands, 2015), Ljubljana (Slovenia, 2017), London (United Kingdom, 2019), and Salzburg (Austria, 2021).

Important Dates

• Abstract submission: March 22, 2023 (was March 8, March 10 before)
• Full Paper submission: March 26, 2023 (was March 8, March 19 before)
• Author notification: April 28, 2023
• Final version due: May 19, 2023

All dates are Anywhere on Earth.

Invited Speakers

• Robert Harper, Carnegie Mellon University (Joint with MFPS)
• Assia Mahboubi, Inria (Joint with MFPS)
• Roberto Bruni, University of Pisa
• Elaine Pimentel, University College London
• Jeremy Siek, Indiana University

Special Sessions

• “Category Theory in Machine Learning” Organised by Brendan Fong and Brandon Shapiro (Topos Institute), Fabio Zanasi (University College London)

• “Machine-checked proofs in mathematics and meta-mathematics” Organised by Assia Mahboubi, Inria (joint with MFPS)

Chairs

• Paolo Baldan (University of Padua)
• Valeria de Paiva (Topos Institute, Berkeley)

Programme Committee

• Carlos Gustavo Lopez Pombo (University of Buenos Aires)
• Andreas Abel (Gothenburg University)
• Vincenzo Ciancia (Consiglio Nazionale delle Ricerche, Pisa)
• Patricia Johann (Appalachian State University)
• Ionut Tutu (Simion Stoilow Institute of Mathematics of the Romanian Academy)
• Martin Escardo (University of Birmingham)
• Tarmo Uustalu (Reykjavik University)
• Giorgio Bacci (Aalborg University)
• Thorsten Wißmann (Radboud University Nijmegen)
• Fabio Gadducci (University of Pisa)
• Shin-Ya Katsumata (National Institute of Informatics, Tokyo)
• Holger Giese (Hasso Plattner Institute at the University of Potsdam)
• Peter Ölveczky (University of Oslo)
• Michael Johnson (Macquarie University)
• Nicolas Behr (CNRS Université Paris Cité)
• Henning Urbat (FAU Erlangen-Nürnberg)
• Valentina Castiglioni (Reykjavik University)
• Fernando Orejas (Universitat Politècnica de Catalunya)
• Mehrnoosh Sadrzadeh (University College London)
• Georgiana Caltais (University of Twente)
• Sławomir Lasota (University of Warsaw)
• Aleks Kissinger (University of Oxford)
• Thomas Colcombet (CNRS, IRIF, Université de Paris)
• Sandra Kiefer (University of Oxford)
• Peter Selinger (Dalhousie University)
• Natasha Alechina (Utrecht University)
• Sara Kalvala (University of Warwick)