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

David Jaz Myers davidjazmyers at gmail.com
Mon Dec 25 12:01:49 EST 2023


 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)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20231225/165a5f05/attachment.htm>


More information about the Types-announce mailing list