===================================================================== CALL FOR PARTICIPATION: MFPS XLII and SSTT 2026 42nd Conference on the Mathematical Foundations of Programming Semantics (MFPS XLII) 3rd Workshop on Syntax and Semantics of Type Theory (SSTT 2026) June 1-5, 2026 Ljubljana, Slovenia https://ul-fmf.github.io/mfps-sstt-2026/ *** Accepted papers and contributed talks are online. Registration is open. *** ======================================================================== # Registration and local information The registration deadline is **May 25**. The registration fees are as follows: * MFPS XLII (June 1-3): €200 regular participants * MFPS XLII (June 1-3): €100 students * SSTT 2026 (June 4-5): €30 Registration fees include coffee breaks. Meals are not included. There will also be separate conference and workshop dinners for MFPS XLII and SSTT 2026 on Tuesday, June 2 and Thursday, June 4, respectively. Dinners are not included in the registration fee and are to be paid separately. Please follow the registration and payment instructions at https://ul-fmf.github.io/mfps-sstt-2026/registration/ **Book your travel early!** Ljubljana is a popular tourist destination in June, and the hotels tend to fill up well in advance. Waiting until close to the meetings will likely mean limited choice and higher prices. # Invited Speakers * Martín Escardó, University of Birmingham (MFPS) * Joost-Pieter Katoen, RWTH Aachen University (MFPS) * Cristina Matache, University of Edinburgh (MFPS) * Ana Sokolova, University of Salzburg (MFPS) * Reid Barton, Chalmers University of Technology (SSTT) * Ambrus Kaposi, Eötvös Loránd University (SSTT) # Special Sessions * Proofs and Semantics - in celebration of Alex Simpson's 60th birthday (MFPS) Organiser: Niels Voorneveld * Quantitative, Graded, and Interactive Semantics (MFPS) Organiser: Dominic Orchard # Accepted papers and contributed talks * MFPS: https://ul-fmf.github.io/mfps-sstt-2026/mfps-accepted-papers/ * SSTT: https://ul-fmf.github.io/mfps-sstt-2026/sstt-contributed-talks/ # About MFPS and SSTT 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 mathematics and computer science can meet and exchange ideas. The participation of researchers in neighbouring areas is strongly encouraged. SSTT workshops cover the mathematical meta-theoretic study of type theories, broadly construed, with particular focus (though not exclusively) on dependent type theories in the foundational tradition of Martin-Löf, including systems for homotopical and synthetic mathematics, and their implementations. # MFPS Chairs * Danel Ahman (University of Tartu) * Jurriaan Rot (Radboud University) # SSTT Chairs * Peter LeFanu Lumsdaine (Stockholm University) * Anders Mörtberg (Stockholm University) # Local Organiser * Andrej Bauer (University of Ljubljana) You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>