Photo
(Photo Copyright OUImages / Public Affairs Directorate.)

The 7th International Conference on Applied Category Theory (ACT) and 40th International Conference on Mathematical Foundations of Programming Semantics (MFPS) will take place together at the University of Oxford, UK. ACT will take place 17 – 21 June 2024, and MFPS will take place 19 – 21 June 2024. The conferences will be preceded by the Adjoint School 2024.

For more about the ACT series, see here. For more about MFPS series, see here.

ACT Title and Short Abstract Registration 26 March 2024
ACT Full Papers Due 29 March 2024
MFPS Full Papers Due 29 March 2024
ACT Conference 17 – 21 June 2024
MFPS Conference 19 – 21 June 2024
For submission instructions, see the call for papers for ACT or MFPS.

Adjoint School / ACT sponsors:

Symbolica
Sponsor of inclusivity
Conexus
CyberCatCyberCat
Viete
  Topos Institute Univesity of Oxford Department of Computer Science

Website based on a bootstrap design by Hartmut Eilers and Eric Koskinen.