January 2026 - Categories - categories.org.au

Lecture notes by Bill Lawvere
by Michael Barr, Prof. 23 Apr '26

23 Apr '26

I got a request from someone named C. Muster who is searching for a set of lecture notes by Bill that he gave at U. Laval in 1974. Does anyone have a copy that they would be willing to send to him. Michael 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/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

5 4

Subject: Dedicated to R. H. Street’s 80
by George Janelidze 16 Mar '26

16 Mar '26

Dear Colleagues, In honor of the 80th birthday of Professor Ross Howard Street, we are pleased to announce a special issue of Journal of Pure and Applied Algebra dedicated to celebrating his remarkable contributions to category theory and mathematics in general. Topics of interest include (but are not limited to) all areas of pure and applied category theory. The Guest Editors are: Jiří Adámek Maria Manuel Clementino Marino Gran George Janelidze Stephen Lack We are sending this message now so that you can begin to plan for possible submissions. The deadline will be 31 July 2026, and we will write again with further information about submissions once the journal’s website is ready. George Janelidze, on behalf of the Guest Editors Disclaimer - University of Cape Town This email is subject to UCT policies and email disclaimer published on our website at https://www.uct.ac.za/main/email-disclaimer or obtainable from +27 21 650 9111. If this email is not related to the business of UCT, it is sent by the sender in an individual capacity. Please report security incidents or abuse via https://csirt.uct.ac.za/report-incident 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/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 1

7th Workshop on Formal Topology (7WFTop)-( first annoucement)
by Maria Emilia Maietti 12 Feb '26

12 Feb '26

================================== 7th Workshop on Formal Topology (7WFTop). >From topology to dynamic constructivism, and back. (first announcement) > ------------------------------ The 7th Workshop on Formal Topology will take place in Venice, Italy, on April 13-17, 2026 at Convento di San Francesco della Vigna. This is the seventh of a series of successful meetings on the development of Formal Topology and its connections with related approaches. The first six have been held in Padua (1997), Venice (2002), Padua (2007), Ljubljana (2012), Stockholm (2015), and Birmingham (2019). The meeting is supported by Dipartimento di Matematica “Tullio Levi-Civita” (Università di Padova). ------------------------------ Dynamic constructivism is a new approach to the foundation of mathematics proposed by Giovanni Sambin starting from the 90s and whose forthcoming book is a first organic exposition. The main claim is that mathematics is the result of a dynamic, human process, which stems from the interplay between the construction of mathematical entities, by abstraction and by idealization, and their selection according to their effectiveness in applications to reality and in the organization of mathematics itself. Pointfree topology in the form of Formal Topology and the more recent Positive Topology provides a key tool to link the effective content of mathematics with its ideal one, and thus achieve a synthesis of computation and visual intuition. A careful management of information within a dynamic view "back and forth" from mathematics to its foundation inevitably leads to accepting a plural vision of mathematics, thus enlightening connections between different constructive or even classical approaches to it. INVITED SPEAKERS: Steve Awodey, Andrej Bauer, Ingo Blechschmidt, Francesco Ciraulo, Maria Manuel Clementino, Thierry Coquand, Laura Crosilla, Tom de Jong, Martín Escardó, Hugo Herbelin, Hajime Ishihara, Tatsuji Kawai, Ansten Klev, Takako Nemoto, Michael Rathjen, Giovanni Sambin, Göran Sundholm, Mark van Atten, Steve Vickers, David Wärn, Joshua Wrigley. CONTRIBUTED TALKS There will be room for some contributed talks. Information about abstract submission will appear soon in the website of the workshop. ACCOMODATION The organizers will be happy to help you find accommodation, given the peculiarities of the city of Venice, and are making agreements with some facilities to guarantee partecipants a convenient price for their stay. If you are interested, please write to the workshop email address 7wftop(a)math.unipd.it<mailto:7wftop@math.unipd.it> as soon as possible, indicating "accommodation" in the subject. Finding accommodation at a reasonable price will be difficult or virtually impossible after June-July 2025. REGISTRATION The registration form will be available soon on the workshop website https://events.math.unipd.it/7wftop/. Participation will require a registration fee. SCIENTIFIC COMMITTEE Ingo Blechschmidt (University of Antwerp) Thierry Coquand (Gothenburg University) Martín Escardó (University of Birmingham) Maria Emilia Maietti (University of Padua) Per Martin-Löf (Stockholm University) ORGANIZING COMMITTEE Cipriano Junior Cioffo (University of Pisa) Francesco Ciraulo (University of Padua) Maria Emilia Maietti (University of Padua) Samuele Maschio (University of Padua) Pietro Sabelli (Czech Academy of Science) Giovanni Sambin (University of Padua) CONTACTS For inquiries, please send an e-mail to: 7wftop(a)math.unipd.it<mailto:7wftop@math.unipd.it> 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/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 3

RAMiCS'26: Call for Presentations & Tutorials
by Luigi Santocanale 30 Jan '26

30 Jan '26

Apologies for multiple copies of this email; please distribute as you see fit. 22st International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2026 Institute of Mathematics of the Polish Academy of Sciences Będlewo, Poland, 7-10 April 2026 https://ramics-conf.github.io/2026 Additionally to the standard Call for Papers, RAMiCS is also calling for presentations or short contributions. We are hence calling for presentations of original, unfinished, already published, or otherwise interesting work within the topics of the RAMiCS conferences. The submission can be in the form of a poster, an abstract, a paper submitted to or published at another conference, or any other format. A presentation may also be a tutorial, or an open question of interest to the community. These presentations will *not* be published in the conference proceedings. IMPORTANT DATES: Submission: 26 February 2026 Notification: 3 March 2026 RAMiCS registration: 7 March 2026 INVITED SPEAKERS: * Lorenzo Clemente, University of Warsaw, Poland * Anupam Das, University of Birmingham, United Kingdom * Jana Wagemaker, Radboud University, Nijmegen, The Netherlands GENERAL INFORMATION: Since 1994, the RAMICS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. TOPICS: We invite presentations in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications SUBMISSION INSTRUCTIONS: Please send your short submission as a single pdf file to ramics2026(a)easychair.org by 26 February 2026. ORGANIZERS: Uli Fahrenberg, LMF, Paris-Saclay University, France Wesley Fussner, Czech Academy of Sciences Luigi Santocanale, Aix-Marseille University, France 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=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

CMCS 2026: Second Call for Papers and Deadline Extension
by Thorsten Wissmann 30 Jan '26

30 Jan '26

The 18th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS'26) Turin (Italy), 11-12 April 2026 (co-located with ETAPS 2026) https://www.coalg.org/cmcs26/ # Objectives and scope Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest are the theory and applications of coalgebra and coinductive reasoning in all research areas of Computer Science, including (but not limited to) the following: * set-theoretic and categorical foundations of coalgebra; * algebra & coalgebra, (co)monads, and distributive laws; * (modal) logic; * automata theory and formal languages; * coinductive definitions and proof principles (including "up-to" techniques) * semantic models of computation (for programming languages, dynamical systems, term rewriting, etc.) * functional, objected-oriented, concurrent, and constraint programming; * type theory (notably behavioural typing); * formal verification and specification; * control theory (notably discrete events and hybrid systems); * quantum computing; * game theory; * implementation, tools, and proof assistants # Venue and event CMCS '26 will be held in Turin, Italy, co-located with ETAPS 2026 on 11-12 April 2026. # Invited Speakers - Keynote: Barbara König - Invited talks: Bahareh Afshari and Sergey Goncharov - Tutorial: Benjamin Bisping # Important dates (Anywhere On Earth) Abstract of regular papers: 02 February 2026 (Extended) Submission of regular papers: 05 February 2026 (Extended) Notification of regular papers: 04 March 2026 Submission short contributions: 05 March 2026 Notification short contributions: 10 March 2022 Final camera-ready version: 27 March 2026 # Committees and chairs ## Programme committee Stelios Tsampas (University of Southern Denmark) Jorge A. Pérez (University of Groningen) Chase Ford (Leiden University) Andrei Popescu (University of Sheffield) Clovis Eberhart (Tohoku University) Filippo Bonchi (University of Pisa) Niccolò Veltri (Tallinn University of Technology) Corina Cirstea (University of Southampton) Harsh Beohar (University of Sheffield) Sebastian Enqvist (Lund University) Larry Moss (Indiana University Bloomington) Alexander Kurz (Chapman University) Ana Sokolova (University of Salzburg) Vincenzo Ciancia (Istituto di Scienza e Tecnologie) Elena Di Lavore (University of Oxford) Shin-Ya Katsumata (Kyoto Sangyo University) Helle Hvid Hansen (University of Groningen) Damien Pous (CNRS - ENS Lyon) ## PC Co-Chairs Henning Basold (Universiteit Leiden, The Netherlands) Clemens Kupke (University of Strathclyde, Glasgow) ## Publicity chair and website Thorsten Wißmann (Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany) ## Steering committee Corina Cirstea (University of Southampton, United Kingdom) Helle Hvid Hansen (University of Groningen, The Netherlands) Ichiro Hasuo (National Institute of Informatics, Japan) Bart Jacobs (Radboud University Nijmegen, The Netherlands) Daniela Petrişan (IRIF, Université Paris-Cité, France) Jurriaan Rot (Radboud University Nijmegen, The Netherlands) Lutz Schröder (Friedrich-Alexander Universität Erlangen-Nürnberg, Germany) Alexandra Silva (Cornell University, United States) Henning Urbat (Friedrich-Alexander-Universität Erlangen-Nürnberg, Germany) Fabio Zanasi (University College London, United Kingdom) # Submission guidelines We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. Regular papers should be at most 18 pages long in Springer LNCS style, excluding references. A clearly marked appendix containing technical proofs can be added, but this will not be published in the proceedings. Note that the reviewers are not obliged to read the appendix, and the merits of the paper should be clear from the main text. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages including references. Regular papers and short contributions must be submitted electronically as a PDF file via the Easychair system at https://easychair.org/conferences/?conf=cmcs2026 The proceedings of CMCS 2026 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series. Accepted short contributions will be bundled in a technical report. 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=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

The New York City Category Theory Seminar---Lineup of speakers for the Spring 2026 Semester.
by Noson Yanofsky 29 Jan '26

29 Jan '26

The New York City Category Theory Seminar Department of Computer Science Department of Mathematics The Graduate Center of The City University of New York Some talks will be in-person (with a Zoom connection) and some talks will only be on Zoom. Time: Wednesdays 02:00-3:00 PM Eastern Time (US and Canada) NOTICE NEW TIME!!! IN-PERSON INFORMATION: 365 Fifth Avenue (at 34th Street) map (Diagonally across from the Empire State Building) New York, NY 10016-4309 Room 4214.03 NOTICE NEW ROOM!!! There will be a Zoom link to join us on in-person talks. This means that from now on, in-person talks will be hybrid. ZOOM INFORMATION: https://brooklyn-cuny-edu.zoom.us/j/84134080992?pwd=MNvAvOfYemk2bh7qCtI9I5z… Meeting ID: 841 3408 0992 Passcode: NYCCTS Seminar web page. Videoed talks. Previous semesters. List of previous speakers. Researchseminars.org page. Co-organizers: Emilio Minichiello and Noson S. Yanofsky. Contact E. Minichiello<mailto:eminichiello67@gmail.com> or N. Yanofsky<mailto:nosony@brooklyn.cuny.edu> to schedule a speaker or to add a name to the seminar mailing list. ________________________________ ________________________________ Spring 2026 ________________________________ ________________________________ • Speaker: Sergei Artemov, The CUNY Graduate Center. • Date and Time: Wednesday February 4, 2026, 2:00 - 3:30 PM. IN-PERSON TALK • Title: Non-compact proofs. • Abstract: Non-compact proofs are used in mathematics but overlooked in the analysis of (un)provability of consistency. We focus on arithmetical proofs of universal statements (*) "for any natural number n, F(n)." A proof of (*) is compact if all proofs of F(n)'s for n=0,1,2,... fit into some finitely axiomatized fragment of Peano Arithmetic PA. An example of non-compact reasoning is the standard proof of Mostowski's 1952 reflexivity theorem: PA proves the consistency of its finite fragments. It turns out that Gödel's Second Incompleteness Theorem, G2, prohibits compact proofs but does not rule out non-compact proofs of PA-consistency formalizable in PA. This explains why and how the recent proofs of PA-consistency in PA work: they essentially formalize in PA the explicit version of Mostowski's non-compact proof and use Gödelian provable explicit reflection to rid redundant provability operators. These findings yield a new foundational reading of G2: "the consistency of PA is not provable within a finite fragment of PA," complemented with the positive message: "the consistency of PA is provable within the whole PA." This perspective suggests that Gödel's theorem does not represent a failure of the system to "know" its own consistency, but rather a structural limit on how that knowledge can be packaged into a single finite string. ________________________________ • Speaker: David Ellerman, University of Ljubljana. • Date and Time: Wednesday February 11, 2026, 2:00 - 3:30 PM. ZOOM TALK • Title: A Fundamental Duality in the Exact Sciences: An Introduction to Mathematical Metaphysics. • Abstract: There is a fundamental duality that runs through the exact sciences. At the logical level, it is the duality between (Boolean) logic of subsets and the logic of partitions. The quantitative versions of the dual logics are logical probability theory and logical information theory. The duality accounts for the duality in the category of Sets and its opposite Sets^{op}. The partial order in the two dual logics gives the two fundamental canonical functions and the claim is that all canonical morphisms in Sets arise from those two morphisms. In physics, there is the notion of "definiteness all the way down" which arises in classical physics (Boolean logic of subsets) and dually there is the notion of definiteness only down to a certain level and then objective indefiniteness that arises in quantum physics (logic of partitions). ________________________________ • Speaker: Ellis Cooper . • Date and Time: Wednesday February 18, 2026, 2:00 - 3:30 PM. IN-PERSON TALK • Title: Algebraic String Diagrams and a Manifest Covariance Theorem. • Abstract: Book titles such as "Covariant Physics" (Moataz H. Emam) and "Covariant Loop Quantum Gravity: An Elementary Introduction to Quantum Gravity and Spinfoam Theory" (Carlo Rovelli and Francesca Vidotto) shout the important of covariance in modern mathematical physics. In categorical terms, covariance is a family of natural isomorphisms of pairs of functors defined on the groupoid of diffeomorphisms in a category of ``domains." "Manifest covariance" is a syntactic concept arising from preservation of covariance of basic covariant tensor calculations combined by composition and product maps. Differential geometry and general relativity theory calculations are expressed by algebraic string diagrams, including the Einstein Curvature Tensor. Physical nature is categorically natural. ________________________________ • Speaker: James Austin Myer, CUNY. • Date and Time: Wednesday March 4, 2026, 2:00 - 3:30 PM. IN-PERSON TALK • Title: The Bloch Material: a Simplicial Set Whose Homology is the Higher Chow Groups of Spencer Bloch. • Abstract: To this day, it is still unknown whether every variety enjoys a resolution of its singularities. Dennis Sullivan suggests in a 2004 memorial article for René Thom that the obstructions constructed to attack Steenrod’s problem could be adapted to handle the outstanding scenario in positive characteristic. We will discuss a construction en route to the realization of this dream: to each variety, we prescribe a simplicial set whose homology is the higher Chow groups of (Spencer) Bloch. In particular, this simplicial set recovers the topology of the analytic space associated to a variety over the complex numbers ________________________________ • Speaker: Kristaps John Balodis, University of Calgary. • Date and Time: Wednesday March 11, 2026, 2:00 - 3:30 PM. ZOOM TALK • Title: A geometric introduction to the local Langlands correspondence. • Abstract: In this talk I will provide a non-traditional introduction to the local Langlands program for p-adic groups by framing the so-called "Galois side" geometrically. For simplicity, the primary focus will be on the "unramified" version for GL(n). The ultimate goal will be to articulate the p-adic Kazhdan-Lusztig hypothesis with accompanying examples. Along the way, I will stop to discuss some categorical aspects of the theory. ________________________________ • Speaker: Morgan Rogers, University of Sorbonne. • Date and Time: Wednesday March 25, 2026, 2:00 - 3:30 PM. ZOOM TALK • Title: Ultrarings. A categorical approach to unifying boolean and algebraic descriptive complexity. • Abstract: The presentation of a commutative ring by generators and relations is (at least superficially) similar to the presentation of a first order theory in terms of sorts, function/relation symbols and axioms. More concretely, we can associate categories to rings and to theories: * In commutative algebra we can associate to a ring its category of finitely generated projective modules, which is a monoidal category with coproducts (over which the monoidal product distributes) having several further special properties. * Classical first-order theories are classified by Boolean lextensive categories. That is, if we take a first order theory 𝕋, we can associate to it a category ℬ𝕋 (its "syntactic category") with finite limits and finite (pullback-stable, disjoint) coproducts in which every subobject has a complement, such that models of 𝕋 in the category of sets correspond to functors ℬ𝕋 → Set preserving all that structure. Of course, there are many other categories we could have chosen on each side, but these particular constructions admit a mutual generalization which we call ultrarings. In this talk we explain what ultrarings are, how their presentations generalize those of commutative rings and first-order theories, and how they connect to the logical approach to complexity theory (descriptive complexity). We will also sketch how we hope to exploit this connection in the future to transport tools from algebraic geometry. This talk is based on work with Baptiste Chanus and Damiano Mazza, https://doi.org/10.4230/LIPIcs.FSCD.2025.13, with slightly updated definitions. ________________________________ • Speaker: Michael Lesnick, University at Albany -- SUNY. • Date and Time: Wednesday April 15, 2026, 2:00 - 3:30 PM. IN-PERSON TALK • Title: Limit Computation Over Posets via Minimal Initial Functors. • Abstract: Joint work with Tamal Dey, Department of CS, Purdue University. It is well known that limits can be computed by restricting along an initial functor, and that this often simplifies limit computation. We systematically study the algorithmic implications of this idea for diagrams indexed by a finite poset. We say an initial functor $F\colon C\to D$ with $C$ small is \emph{minimal} if the sets of objects and morphisms of $C$ each have minimum cardinality, among the sources of all initial functors with target $D$. For $Q$ a finite poset or $Q\subseteq \mathbb{N}^d$ an interval (i.e., a convex, connected subposet), we describe all minimal initial functors $F\colon P\to Q$ and in particular, show that $F$ is always a subposet inclusion. We give efficient algorithms to compute a choice of minimal initial functor. In the case that $Q\subseteq \mathbb{N}^d$ is an interval, we give asymptotically optimal bounds on $|P|$, the number of relations in $P$ (including identities), in terms of the number $n$ of minima of $Q$: We show that $|P|=\Theta(n)$ for $d\leq 3$, and $|P|=\Theta(n^2)$ for $d>3$. We apply these results to give new bounds on the cost of computing $\lim G$ for a functor $G \colon Q\to \mathbf{Vec}$ valued in vector spaces. For $Q$ connected, we also give new bounds on the cost of computing the \emph{generalized rank} of $G$ (i.e., the rank of the induced map $\lim G\to \operatorname{colim} G$), which is of interest in topological data analysis. ________________________________ • Speaker: Gabriel Goren Roig, TBA. • Date and Time: Wednesday April 22, 2026, 2:00 - 3:30 PM. ZOOM TALK • Title: TBA. • Abstract: TBA ________________________________ • Speaker: Emilio Minichiello, CUNY CityTech. • Date and Time: Wednesday May 13, 2026, 2:00 - 3:30 PM. IN-PERSON TALK • Title: Introduction to locally presentable categories. • Abstract: This will be an expository talk about locally presentable categories and surrounding ideas, corresponding to Appendix C of my notes https://arxiv.org/pdf/2503.20664. ________________________________ ________________________________ 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=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

MFPS XLII: Second call for papers
by Danel Ahman 26 Jan '26

26 Jan '26

Second call for papers for MFPS XLII, with new information on invited speakers. --- # MFPS XLII: Mathematical Foundations of Programming Semantics https://ul-fmf.github.io/mfps-sstt-2026/ ## CALL FOR PAPERS We are delighted to announce the 42nd Conference on the Mathematical Foundations of Programming Semantics (MFPS XLII). It will take place at the Faculty of Mathematics and Physics, University of Ljubljana in Ljubljana, Slovenia, from June 1-3, 2026, where it will be colocated with the 3rd Workshop on Syntax and Semantics of Type Theory (SSTT 2026), which is held from June 4-5, 2026. 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. 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; denotational and operational semantics; rewrite theory; proof theory. We also welcome contributions that address applications of semantics to novel areas. Participation in the meeting is expected to be in person; one author of every accepted paper has to attend the meeting and give the presentation. Exceptions might be in case there are unexpected problems with travel/visa. Joint website of MFPS XLII and SSTT 2026: https://ul-fmf.github.io/mfps-sstt-2026/ ## INVITED SPEAKERS AND SPECIAL SESSIONS As in previous years, MFPS will have several invited speakers and special sessions highlighting areas within programming languages semantics. We are pleased to announce the following invited speakers and special sessions. ### Invited speakers There will be 4 invited speakers. * Martín Escardó (University of Birmingham) * Joost-Pieter Katoen (RWTH Aachen University) * Cristina Matache (University of Edinburgh) * Ana Sokolova (University of Salzburg) ### Special sessions There will be 2 special sessions. * Proofs and Semantics - in celebration of Alex Simpson’s 60th birthday (organised by Niels Voorneveld) * Quantitative, Graded, and Interactive Semantics (organised by Dominic Orchard) ## SUBMISSION ### Important dates * Paper submission: March 5, 2026 (AoE) * Author notification: April 23, 2026 * Conference: June 1-3, 2026 ### Submissions Submissions are made through EasyChair (https://easychair.org/conferences/?conf=mfps2026) Papers can be at most 15 pages long, excluding bibliography, and should be prepared using the MFPS macros (https://mfpsconf.org/submissions-to-mfps/) Proofs omitted due to space limitations may be included in a clearly marked appendix, to be consulted at the discretion of program committee members. ### Proceedings A preliminary version will be distributed at the meeting. Final proceedings will be published in Electronic Notes in Theoretical Informatics and Computer Science (ENTICS). This new open-access series is hosted by Episciences.org as an overlay for papers published by the CORR arXiv or HAL. ## PROGRAM COMMITTEE * Danel Ahman (University of Tartu) (co-chair) * Pierre Clairambault (CNRS and Aix-Marseille Université) * Nate Foster (Cornell University) * Helle Hvid Hansen (University of Groningen) * Tom de Jong (University of Nottingham) * Robin Kaarsgaard (University of Southern Denmark) * Ohad Kammar (University of Edinburgh) * Anja Petković Komel (Argot Collective) * Ugo Dal Lago (University of Bologna and INRIA Sophia Antipolis) * Paul Blain Levy (University of Birmingham) * Matteo Mio (CNRS/ENS-Lyon) * Max New (University of Michigan) * Valeria de Paiva (Topos Institute) * Paige Randall North (Utrecht University) * Mario Román (University of Oxford) * Jurriaan Rot (Radboud University) (co-chair) * Tarmo Uustalu (Reykjavik University and Tallinn University of Technology) * Jana Wagemaker (Radboud University) * Kazuki Watanabe (National Institute of Informatics) * Thorsten Wißmann (Friedrich-Alexander-Universität Erlangen-Nürnberg) * Noam Zeilberger (Ecole Polytechnique) ## LOCAL ORGANISER * Andrej Bauer (University of Ljubljana) ## CONTACT For any further information about MFPS 2026, please contact the PC co-chairs: Danel Ahman and Jurriaan Rot (mfps2026(a)easychair.org) 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=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

1ST CFP: Workshop on Homotopy Type Theory and Univalent Foundations
by Felix Cherubini 24 Jan '26

24 Jan '26

================================================== == 1ST CALL FOR CONTRIBUTIONS AND PARTICIPATION == ================================================== ----------------------------------------------------------- Workshop on Homotopy Type Theory and Univalent Foundations June 01-02 2026, Aarhus, Denmark > ----------------------------------------------------------- Homotopy Type Theory is a young area of logic, combining ideas from several established fields: the use of dependent type theory as a foundation for mathematics, inspired by ideas and tools from abstract homotopy theory. Univalent Foundations are foundations of mathematics based on the homotopical interpretation of type theory. The goal of this workshop is to bring together researchers interested in all aspects of Homotopy Type Theory/Univalent Foundations: from the study of syntax and semantics of type theory to practical formalization in proof assistants based on univalent type theory. The workshop will be held in person with support for remote participation. We encourage online participation for those who do not wish to or cannot travel. Limited funding for student attendance is available, with further details forthcoming. **Invited speakers** * Stefania Damato (Eötvös Loránd University, Hungary) * Andrew Swan (University of Ljubljana) * Hugo Moeneclaey (University of Gothenburg and Chalmers University) **Submissions** * Abstract submission deadline: March 27 * Author notification: April 28 Submissions should consist of a title and a 1-2 pages abstract not including references, in pdf format, via >. The intended speaker has to be picked on submission. Considering the broad background of the expected audience, we encourage authors to include information of pedagogical value in their abstract, such as motivation and context of their work. **Program committee** See >. **Organizers** * Felix Cherubini, felix.cherubini(a)posteo.de (University of Augsburg) * Daniel Gratzer, gratzer(a)cs.au.dk (Aarhus University) * Axel Ljungström, axel.ljungstrom(a)nottingham.ac.uk (University of Nottingham) * Loïc Pujet, loic(a)pujet.fr (University of Strasbourg) 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=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

PSSL 112 - Last announcement
by Stiephen Pradal 22 Jan '26

22 Jan '26

TL;DR: Submit your PSSL 112 abstract by February 6th 2026 to stiephen.pradal(a)nottingham.ac.uk<mailto:stiephen.pradal@nottingham.ac.uk>. ============================================= LAST CALL FOR CONTRIBUTIONS PSSL 112 Nottingham, United Kingdom, 28-29 March 2026 ============================================= This is the last reminder that the abstract submission deadline for the 112th Peripatetic Seminar on Sheaves and Logic (PSSL 112) is on February 6th 2026. The event will take place on March 28th-29th 2026 at the University of Nottingham, United Kingdom. PSSL is a long-running series of informal gatherings traditionally held over a weekend in a European university. This meeting marks the 112th edition and it is the first to be held in Nottingham. Talks cover all aspects and areas of category theory and its applications. Further details about the meeting, transport, accommodation and updates can be found on the PSSL 112 website. Below are the current important dates and information. Registration Please fill in the registration form, which can be found here, by March 14th 2026. The registration is free. Submitting a contribution If you wish to present your work as a contributed talk, please submit a one-page pdf (not counting references) with title, speaker name and abstract to the following email address: stiephen.pradal(a)nottingham.ac.uk<mailto:stiephen.pradal@nottingham.ac.uk>. Key dates to remember: * The deadline for the abstract submissions is February 6th 2026 (AoE). * The notification of accepted talks will be sent on February 16th 2026. Talks about work in progress are welcome, and we encourage PhD students, young researchers and minorities to give a presentation. We look forward to seeing you in Nottingham! Stiéphen, Tom and Simona This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. 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=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

CFP --- International Conference on Graph Transformation (ICGT 2026)
by Blair Archibald 20 Jan '26

20 Jan '26

We invite submissions to the 19th International Conference on Graph Transformation (ICGT 2026), to be held in Rennes, France, as part of STAF 2026 (Software Technologies: Applications and Foundations) between 29th June and 3rd July. Full call details: https://conf.researchr.org/track/icgt-2026/icgt-2026-icgt-research-papers ICGT is the leading venue for research on graphs and graph transformation, encompassing theoretical foundations, tools, and applications. Graph-based formalisms are central to diverse domains including: software architectures, model driven engineering, network topologies, cyber-physical systems, quantum computing, exploring molecular structures, and graph databases. *We aim to broaden participation* ICGT is not only a theory conference, and we also welcome applications, tools, and case studies. If your work uses graph rewriting technologies (e.g., graph databases, quantum compilers, AI/ML), ICGT is for you. *Topics Include* Theory: e.g. Models, verification, concurrency, logical aspects Applications: e.g. Software engineering, quantum computing, AI/GNNs, graph databases, business processes Tools: e.g. Languages, environments, tool support *Important Dates (AoE)* Abstracts: 16 Feb 2026 Papers: 23 Feb 2026 Notification: 6 Apr 2026 Camera-ready: 27 Apr 2026 *Submission Categories* Accepted papers will appear in LNCS proceedings. Regular Research Papers (16 pp LNCS) Tool Presentations (8 pp LNCS) Vision Papers / Open Challenges (8 pp LNCS) Journal-First Extended Abstracts (2 pp LNCS) Full call details: https://conf.researchr.org/track/icgt-2026/icgt-2026-icgt-research-papers See you in Rennes! Blair Archibald and Oszkar Semerath (ICGT Chairs) 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=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0