[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
ACT and MFPS 2024 Call for Participation
Applied Category Theory and Mathematical Foundations of Programming Semantics
These conferences will be co-located in Oxford, June 2024.
Student registration starts at just £30.
Registration links and local information:
https://urldefense.com/v3/__https://oxford24.github.io/local.html__;!!IBzWLUs!TksnETI0OeP2BB7Ce_I93ZuoyMQEzc8vjkpEuM2ebk_i1tsS8Bf43noLeMJVQzMfm3kbIIkt56tBK3YJooATK4Dk_gb-og4pAwBrdQ$
List of talks:
https://urldefense.com/v3/__https://oxford24.github.io/all-talks.html__;!!IBzWLUs!TksnETI0OeP2BB7Ce_I93ZuoyMQEzc8vjkpEuM2ebk_i1tsS8Bf43noLeMJVQzMfm3kbIIkt56tBK3YJooATK4Dk_gb-og5D1ytgjA$
Key dates:
* Early registration deadline: 31 May 2024 UK time
* ACT: 17 - 21 June 2024
* MFPS: 19 - 21 June 2024
