[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