Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CALCO/MFPS 2025: Call for Participation


view this post on Zulip Email Gateway (May 09 2025 at 09:30):

From: Thorsten Wissmann <s-dgq@thorsten-wissmann.de>

==========================================================

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


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.


Last updated: May 30 2025 at 04:27 UTC