========================================================== Call for Participation CALCO 2025 / MFPS XLI June 16-20, 2025 University of Strathclyde in Glasgow, UK https://coalg.org/calco-mfps-2025/ ========================================================== 11th International Conference on Algebra and Coalgebra in Computer Science 41st Conference on the Mathematical Foundations of Programming Semantics (MFPS XLI) ========================================================== Registration ------------ The registration is now open; please register before June 2, 2025 via: https://coalg.org/calco-mfps-2025/registration/ Invited Speakers ---------------- * Ugo dal Lago, University of Bologna, Italy (joint special session on Quantitative Semantics) * Gordon Plotkin, University of Edinburgh, UK (joint keynote speaker) * Elena di Lavore, University of Pisa, Italy (CALCO) * Alexander Kurz, Chapman University, US (CALCO) * Chris Heunen, University of Edinburgh, UK (MFPS) * Delia Kesner, Université Paris Cité, France (MFPS) * Jurriaan Rot, Radboud University, the Netherlands (MFPS) Talks ----- List of papers accepted for presentation at CALCO on topics relating to algebraic and coalgebraic theory and their applications: https://www.coalg.org/calco-mfps-2025/calco/accepted/ MFPS notification of acceptance will be on May 15, 2025. 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. You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=files&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.ashx?source=EscalatedMessage&action=leave&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>