[TYPES/announce] CALCO/MFPS 2025: Second Call for Participation

[Thorsten Wissmann]

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

  Second Call for Participation
  CALCO 2025 / MFPS XLI
  June 16-20, 2025

  University of Strathclyde in Glasgow, UK
  https://urldefense.com/v3/__https://coalg.org/calco-mfps-2025/__;!!IBzWLUs!Wbda73KNKqeleZUk-4nuljVH2Hs2aHfzAzqeyLgtEZ27MgsDVTdtyuhtVvt7twYmkY8uwgnrf6ZQlsTYxyB6dyjjGedz8IrgCUB8w-E$ 

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

  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 open until June 2, 2025 via:

    https://urldefense.com/v3/__https://coalg.org/calco-mfps-2025/registration/__;!!IBzWLUs!Wbda73KNKqeleZUk-4nuljVH2Hs2aHfzAzqeyLgtEZ27MgsDVTdtyuhtVvt7twYmkY8uwgnrf6ZQlsTYxyB6dyjjGedz8Irg8WEk63k$ 

Programme
---------
The tentative MFPS programme is available on https://urldefense.com/v3/__https://www.coalg.org/calco-mfps-2025/programme/__;!!IBzWLUs!Wbda73KNKqeleZUk-4nuljVH2Hs2aHfzAzqeyLgtEZ27MgsDVTdtyuhtVvt7twYmkY8uwgnrf6ZQlsTYxyB6dyjjGedz8Irg0WkNjK8$ 
The CALCO programme will be announced shortly!

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
-----
In addition to the above invited speakers, the accepted papers will be presented:

* Accepted CALCO Papers: https://urldefense.com/v3/__https://www.coalg.org/calco-mfps-2025/calco/accepted/__;!!IBzWLUs!Wbda73KNKqeleZUk-4nuljVH2Hs2aHfzAzqeyLgtEZ27MgsDVTdtyuhtVvt7twYmkY8uwgnrf6ZQlsTYxyB6dyjjGedz8IrgHfNN7ZI$ 
* Accepted MFPS Papers: https://urldefense.com/v3/__https://www.coalg.org/calco-mfps-2025/mfps/accepted/__;!!IBzWLUs!Wbda73KNKqeleZUk-4nuljVH2Hs2aHfzAzqeyLgtEZ27MgsDVTdtyuhtVvt7twYmkY8uwgnrf6ZQlsTYxyB6dyjjGedz8IrgF5vvN-k$ 


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.