CALCO 2025 & MFPS XLI
The 11th Conference on Algebra and Coalgebra in Computer Science (CALCO 2025) and the 41st Conference on the Mathematical Foundations of Programming Semantics (MFPS XLI) will take place together on June 16-20, 2025 in Glasgow. Both events will be co-located with TYPES 2025 which will take place June 9-13.
CALCO Call for Papers and MFPS Call for Papers are now available!
TheMore details will be announced here within the next months.
CALCO
Important Dates:
- Abstract: March 3, 2025
- Full Paper: March 6, 2025
- Notification: April 16, 2025
- Final version: May 30, 2025
PC Chairs:
MFPS
Important Dates:
- Abstract: March 27, 2025
- Full-Paper: April 3, 2025
- Notification: May 12, 2025
- Conference Paper: June 1, 2025
PC Chairs:
Joint Invited Speakers
- Ugo Dal Lago (special session on Quantitative Semantics)
- Gordon Plotkin (keynote speaker)
Local Organization
- Bob Atkey (University of Strathclyde, Glasgow)
- Dilsat Bilal Yuksel (University of Strathclyde, Glasgow)
- Clemens Kupke (University of Strathclyde, Glasgow)
Contact the organisers here