[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]7th International Conference on Applied Category Theory (ACT) 40th Conference on Mathematical Foundations of Programming Semantics (MFPS) This year, the ACT and MFPS conferences will be co-located in Oxford. https://urldefense.com/v3/__https://oxford24.github.io/__;!!IBzWLUs!WZ_mxMLwmEgl_V126d1Q15RdxwFijojkXTim7eYBniRk0x1D6ObylnA_21uZSu-tWwTDsiRK2dZiqW2PsT4rei_Ufji4f37q1OInJg$ 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://urldefense.com/v3/__https://oxford24.github.io/act_cfp.html__;!!IBzWLUs!WZ_mxMLwmEgl_V126d1Q15RdxwFijojkXTim7eYBniRk0x1D6ObylnA_21uZSu-tWwTDsiRK2dZiqW2PsT4rei_Ufji4f376r0qQsg$ https://urldefense.com/v3/__https://oxford24.github.io/mfps_cfp.html__;!!IBzWLUs!WZ_mxMLwmEgl_V126d1Q15RdxwFijojkXTim7eYBniRk0x1D6ObylnA_21uZSu-tWwTDsiRK2dZiqW2PsT4rei_Ufji4f35t5a_spw$ Programme Chairs: David Jaz Myers, Michael Johnson (ACT) Valeria de Paiva, Alex Simpson (MFPS) Local organization: Sam Staton (Oxford) and others
