[TYPES/announce] Applied Category Theory (ACT) and Mathematical Foundations of Programming Semantics (MFPS) 2024: Call for papers
Sam Staton
sam.staton at cs.ox.ac.uk
Sun Feb 11 11:59:12 EST 2024
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
More information about the Types-announce
mailing list