| CARVIEW |
Select Language
HTTP/2 200
server: GitHub.com
content-type: text/html; charset=utf-8
last-modified: Tue, 21 Oct 2025 12:24:58 GMT
access-control-allow-origin: *
strict-transport-security: max-age=31556952
etag: W/"68f77b9a-2632"
expires: Mon, 29 Dec 2025 08:03:05 GMT
cache-control: max-age=600
content-encoding: gzip
x-proxy-cache: MISS
x-github-request-id: C6CF:2DDCFF:879F4B:986133:69523360
accept-ranges: bytes
age: 0
date: Mon, 29 Dec 2025 07:53:05 GMT
via: 1.1 varnish
x-served-by: cache-bom-vanm7210035-BOM
x-cache: MISS
x-cache-hits: 0
x-timer: S1766994785.897845,VS0,VE210
vary: Accept-Encoding
x-fastly-request-id: ca42537e7fb9e4662347d90b93d4c9dc12c20e05
content-length: 2914
ACT 2024 & MFPS 2024
7th International Conference on Applied Category Theory
40th Conference on Mathematical Foundations of Programming Semantics
ACT & MFPS • Oxford • June 2024
40th Conference on Mathematical Foundations of Programming Semantics
ACT & MFPS • Oxford • June 2024
(Photo Copyright OUImages / Public Affairs Directorate.)
The 7th International Conference on
Applied Category Theory (ACT) and 40th International Conference on Mathematical Foundations of Programming Semantics (MFPS) will take place together at the University of Oxford, UK.
ACT will take place 17 – 21 June 2024, and MFPS will take place 19 – 21 June 2024. The conferences will be preceded by the Adjoint School 2024.
For more about the ACT series, see here. For more about MFPS series, see here.
| ACT Title and Short Abstract Registration | 26 March 2024 |
| ACT Full Papers Due | 29 March 2024 |
| MFPS Full Papers Due | 29 March 2024 |
| ACT Conference | 17 – 21 June 2024 |
| MFPS Conference | 19 – 21 June 2024 |
Adjoint School / ACT sponsors:
![]() Sponsor of inclusivity |
![]() |
CyberCat |
![]() |
![]() |
![]() |
Website based on a bootstrap design by Hartmut Eilers and Eric Koskinen.


CyberCat

