Thursday, December 21, 2023

[DMANET] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Preliminary call for papers

7th International Conference on Applied Category Theory (ACT 2024)
40th Conference on Mathematical Foundations of Programming Semantics (MFPS)
17 - 21 June 2024
Oxford, UK
https://oxford24.github.io/

Preceeded by the Adjoint School
10 - 14 June 2024
https://adjointschool.com/

Conference submission deadline 29 March 2024.
(Adjoint School application deadline 31 December 2023.)

Programme Chairs:
David Jaz Myers, Michael Johnson (ACT)
Valeria de Paiva, Alex Simpson (MFPS)

Local organization:
Sam Staton (Oxford) and others

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************