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 at the University of Strathclyde in Glasgow. Both events will be co-located with TYPES 2025 which will take place June 9-13.
More details will be announced here within the next months.
CALCO
Important Dates:
- Abstract: March 10, 2025 (extended)
- Full Paper: March 13, 2025 (extended)
- Notification: April 28, 2025 (extended)
- Final version: May 30, 2025
- Conference: June 16-18, 2025
PC Chairs:
MFPS
Important Dates:
- Abstract: April 8, 2025 (extended)
- Full-Paper: April 9, 2025 (extended)
- Notification: May 15, 2025 (extended)
- Conference Paper: May 24, 2025
- Conference: June 18-20, 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
Publicity Chair
Sponsors
Gold Sponsor
Bronze Sponsors
Other Sponsors
