You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Valeria de Paiva (Mar 19 2024 at 20:36):The call for papers for MFPS 2024 is also open. see https://oxford24.github.io/mfps_cfp.html
MFPS XL: Mathematical Foundations of Programming Semantics
Call for papers
The 40th Conference on the Mathematical Foundations of Programming Semantics (MFPS XL) takes place at the University of Oxford, UK, from 19-21 June 2024, where it will be colocated with the 7th International Conference on Applied Category Theory (ACT 2024).
MFPS conferences are dedicated to the areas of mathematics, logic, and computer science that are related to models of computation in general, and to semantics of programming languages in particular. This is a forum where researchers in computer science and mathematics can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged.
Topics include, but are not limited to, the following: bio-computation; concurrent qualitative and quantitative distributed systems; process calculi; probabilistic systems; constructive mathematics; domain theory and categorical models; formal languages; formal methods; game semantics; lambda calculus; programming-language theory; quantum computation; security; topological models; logic; type systems; type theory. We also welcome contributions that address applications of semantics to novel areas such as complex systems, markets, and networks, for example.
Conference home page: https://oxford24.github.io/
SUBMISSION
Important dates:
March 29: paper submission
May 3: notification of authors
June 3: conference papers ready
June 19–21: conference
Submissions
Submissions should be prepared using the MFPS macros in the form of a PDF file. Submission is via EasyChair.
For the first time at MFPS, there are two submission categories:
regular research contributions,
early announcements.
Early announcements are a new feature at MFPS XL. They offer a forum for the early presentation of new scientific contributions without the accompanying technical justification that is expected in a regular research contribution.
The page limit for both kinds of submission is 15 pages, excluding bibliography and appendices. However, it is expected that early announcements will typically be much shorter, taking only as many pages as is required to present the announced contribution. Early announcements will be refereed primarily on their potential interest-value to the MFPS audience. Early announcements should be identified by clearly labelling them with “Early Announcement” at the start of the pdf document.
Early announcements will be given equal presentation time to regular research contributions at the conference.
Proceedings
A preliminary proceedings will be distributed at the meeting, containing both regular research contributions and early announcements.
Final proceedings, containing regular research contributions only, will be published in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS https://entics.episciences.org/). This open-access series is hosted by Episciences.org as an overlay for papers published by the CORR arXiv or HAL.
It is planned to publish a journal special issue for selected papers from MFPS XL.
INVITED SPEAKERS
There will be 4 invited speakers.
Philippa Gardner (Imperial College, London, UK)
Ohad Kammar (University of Edinburgh, UK)
Catuscia Palamidessi (INRIA Saclay & LIX, France)
Andrew Pitts (University of Cambridge Emeritus, joint ACT/MFPS plenary speaker)
SPECIAL SESSIONS
There will be 3 special sessions.
Special session in memory of Philip Scott (joint session with ACT, organiser Rick Blute)
Special session on the semantics of non-wellfounded and circular proofs (organisers Anupam Das and Abhishek De)
Special session associated with the invited talk of Philippa Gardner (organiser Philippa Gardner)
Hello, I feel stupid but I can't find where to register for the conference. Can somebody enlighten me?
Paolo Perrone (Jul 03 2024 at 16:34):Hello all!
The video recordings of the conference will be available in the following playlist. (It's going to take a few days.)
https://www.youtube.com/playlist?list=PLNEYE1ojDrqdXHaCPzoV6L4uDnFivA2M6
Paolo Perrone (Jul 05 2024 at 15:56):Okay, all the talks are now online.
(At least, all the ones for which we have a video.)
Correction: some more videos are coming.