[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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://urldefense.com/v3/__https://oxford24.github.io/__;!!IBzWLUs!QdoG146BH4niLbuoKkDnrXo6m97eEk55zZF-1qTwzMxDhmAlzAYUm0woeP_hPbIJi6_bgUqYSSI5CAN9aiJe1OoON76NTwNQv4mjdA$
Preceeded by the Adjoint School
10 - 14 June 2024
https://urldefense.com/v3/__https://adjointschool.com/__;!!IBzWLUs!QdoG146BH4niLbuoKkDnrXo6m97eEk55zZF-1qTwzMxDhmAlzAYUm0woeP_hPbIJi6_bgUqYSSI5CAN9aiJe1OoON76NTwO26RFv0w$
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)
