[ 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