40th Conference on Mathematical Foundations of Programming Semantics (MFPS)
This year, the ACT and MFPS conferences will be co-located in Oxford.
https://oxford24.github.io/
Conference dates:
ACT 2024: 17 - 21 June 2024
MFPS 2024: 19 - 21 June 2024
Submission deadlines:
ACT 2024: 29 March 2024
MFPS 2024: 29 March 2024
For details see:
https://oxford24.github.io/act_cfp.html
https://oxford24.github.io/mfps_cfp.html
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/
*
**********************************************************