Volume 4 - Proceedings of MFPS XL
(19 articles)40th Conference on Mathematical Foundations of Programming Semantics
MFPS; N°2024;
From 2024-06-19 To 2024-06-21
Volume 4 of ENTICS is devoted to the Proceedings of the Fortieth Conference on the Mathematical Foundations of Programming Semantics, which was held in conjunction with the Applied Category Theory (ACT) Conference at the University of Oxford in June, 2024.
Volume 3 - Proceedings of MFPS XXXIX
(20 articles)39th Conference on Mathematical Foundations of Programming Semantics
MFPS; N°2023;
From 2023-06-20 To 2023-06-23
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics. Held on the campus of Indiana University, Bloomington, IN and co-located with CALCO 2023, the 10th Conference on Algebra and Coalgebra in Computer Science.
Volume 2 - Proceedings of ISDT 9
(15 articles)9th International Symposium of Domain Theory and its Applications
ISDT; N°2022;
From 2022-07-04 To 2022-07-06
Proceedings of the 9th International Symposium of Domain Theory and its Applications (ISDT 2022) held on a virtual platform from 4th to 6th July 2022 at the Nanyang Technological University, National Institute of Education, Singapore.
Volume 1 - Proceedings of MFPS XXXVIII
(18 articles)38th International Conference on Mathematical Foundations of Programming Semantics
MFPS ; N°2022;
Cornell University in Ithaca, New York, and Paris, France.; From 2022-07-11 To 2022-07-13
MFPS XXXXVIII, the 38th Conference on the Mathematical Foundations of Programming Semantics, took place on the campus Cornell University, USA, with a satellite event at IRIF, Denis Diderot university, Paris, and online.