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 10before) - Full Paper submission: March 26, 2023 (was
March 8,March 19before) - Author notification: April 28, 2023
- Final version due: June 6, 2023 (was
May 19)
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 (FAU Erlangen-Nürnberg)
- 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)