March 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

Peripatetic Seminar on Sheaves and Logic 113: First Announcement
by Marino Gran 31 Mar '26

31 Mar '26

Dear Colleagues, As recently announced at the PSSL in Nottingham, the next PSSL will take place at the Université catholique de Louvain in Louvain-la-Neuve during the weekend of 26-27 September. As usual, the programme will include contributed talks on all aspects of category theory and its applications. Best regards, Marco Abbadini, Marino Gran, Tim Van der Linden and Enrico Vitale 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

1-year postdoctoral position in Logic and Category Theory, University of Milan (Italy)
by Gabriele Lobbia 31 Mar '26

31 Mar '26

Dear all, We are pleased to announce that a one-year postdoctoral position for early career researchers in the Logic Group at the University of Milan (Italy) will soon be available. The research group covers several areas of logic and category theory, including duality theory, categorical logic, categorical algebra and higher categories. We expect the official call to be published in April or May 2026, with interviews taking place in the first half of June. We encourage all motivated young researchers with experience in category theory, broadly understood, to apply. An interest in categorical logic and/or low-dimensional category theory would be advantageous, but is not essential. The successful candidate will work under the supervision of Luca Reggio and Gabriele Lobbia. Some additional information, including a brief description of potential research areas, is provided below. Please feel free to share this information with anyone who might be interested. Interested candidates can get in touch informally by writing to Luca Reggio or Gabriele Lobbia at {luca.reggio,gabriele.lobbia}(a)unimi.it<mailto:gabriele.lobbia%7D@unimi.it>. Best wishes, Gabriele and Luca ------------------------------------------- Pay: approximately €1,700 net per month Travel funds: €1,000 Start date: July 2026 at the earliest Duration: 12 months Eligibility: Candidates must have obtained their Master's degree (or equivalent) no more than six years ago. Title of the project: Categories in Logic and Algebra Brief description: The programme aims to contribute to ongoing projects applying categorical methods to logic and algebra. The two main areas of focus are: (1) developing geometric and homotopical tools for applications in resource-sensitive modal and first-order logics, and (2) solving open problems in three-dimensional algebra, such as defining and studying ring-like structures for bicategories. ------------------------------------------- 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

Typing hand-written notes
by Michael Barr, Prof. 28 Mar '26

28 Mar '26

As most of you know, I have been involved in several projects (re)typing notes. What I did was get a list of volunteers and assigned each of them some portion of whatever we were doing and coordinate their efforts. For reasons, I am no longer able to do this. Is there anyone who is willing to do this? Someone (named Muster; that's all I know about them) claims to have a bunch of handwritten notes by Grothendieck in French and has written to me. They could obviously be important. If anyone is interested in coordinating such a project, please contact him for details. 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/groups/groupsubscription?source=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

3 2

FMCS 2026: Website, Registration, and Tutorial Speakers
by Darien DeWolf 28 Mar '26

28 Mar '26

This is the second announcement for the 33rd Foundational Methods in Computer Science (FMCS) workshop, to be held at St. Francis Xavier University in Antigonish, Nova Scotia, from June 15th to June 19th, 2026. The conference website is now live at https://dariendewolf.com/fmcs2026. It includes full details about the workshop, campus accommodations, local dining and activities, and travel information. **Registration and Abstract Submission** - Register: https://dariendewolf.com/fmcs2026/register.html - Submit an abstract: https://dariendewolf.com/fmcs2026/submit-abstract.html Registration is free for students and postdocs. The registration fee for all other participants is $100, collected on-site. FMCS is an informal and student-friendly workshop, and we strongly encourage students to present their work. Please register even if you do not plan to give a talk, as registration helps with schedule planning and catering. **Important Dates** - Friday, May 1, 2026: Student financial assistance request deadline - Friday, May 22, 2026: Registration deadline - Friday, May 22, 2026: Campus accommodation block deadline - Friday, June 5, 2026: Abstract submission deadline **Confirmed Tutorial Speakers** We are pleased to announce the following confirmed tutorial speakers: - Rose Kudzman-Blais (Kyoto University) - Michael Lambert (Norwich University) - Marcello Lanfranchi (Macquarie University) - Robin Cockett (University of Calgary) - Dorette Pronk (Dalhousie University) - Rory Lucyshyn-Wright (Brandon University) - Geoff Crutwell (Mount Allison University) Titles will be announced on the website as they become available. **Campus Accommodations** On-campus accommodation is available at Riley Hall on the StFX campus. The website includes full details on room rates, amenities, and booking instructions. Rooms in the FMCS block must be reserved by Friday, May 22, 2026. See the Accommodations section at https://dariendewolf.com/fmcs2026 for details and a direct booking link. **Student Financial Assistance** Limited financial assistance is available for students attending FMCS 2026. Priority will be given to students without other sources of funding. Requests must be submitted by Friday, May 1, 2026. Interested students should contact the organizer using the link on the website. Please include your name, affiliation, program (PhD, MSc, or undergraduate), information about any other available sources of funding, whether you intend to give a research talk, a brief description of your research, and a copy of your CV. We look forward to seeing you in Antigonish this June. Please spread the word among colleagues and students. Sincerely, Darien DeWolf, PhD Associate Professor Mathematics and Statistics St. Francis Xavier University 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

SSTT Ljubljana, June 4–5 (submissions by Thu 2 April)
by Peter LeFanu Lumsdaine 27 Mar '26

27 Mar '26

Dear all, This is a reminder CfP and deadline extension for the 3rd workshop on Syntax and Semantics of Type Theories, in Ljubljana, June 4–5 2026, collocated with MFPS: https://ul-fmf.github.io/mfps-sstt-2026/sstt/ The workshop covers the mathematical meta-theoretic study of type theories, broadly construed, with particular focus (not exclusive) on foundational dependent type theories in the tradition of Martin-Löf, including systems for homotopical and synthetic mathematics, and their implementations. We welcome contributed talks on all topics within this brief; short abstracts (max 1 page) should be submitted by Thursday April 2, through EasyChair: https://easychair.org/conferences/?conf=sstt2026 For full details, including registration and submission instructions, see https://ul-fmf.github.io/mfps-sstt-2026/sstt/ . Best wishes, –Peter LeFanu Lumsdaine & Anders Mörtberg (organisers) 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

Call for Participation: 14th Southern and Midlands Logic Seminar, University of Birmingham, 1st April
by Sonia Marin 25 Mar '26

25 Mar '26

14th Southern and Midlands Logic Seminar (SMLS) https://sonia-marin.github.io/smls14/ The fourteenth SMLS meeting will take place at the University of Birmingham on 1st April 2026, co-located with the 42nd British Colloquium for Theoretical Computer Science (https://toddwaughambridge.co.uk/bctcs2026/) The Southern and Midlands Logic Seminar aims to bring together researchers from groups situated in the lower half of England and Wales who share an interest in both mathematical logic (particularly proof theory, type theory, category theory and complexity) and its application in the theory of programming languages and verification. **Seminar Speakers** - Corina Cirstea (University of Southampton) - Dominik Kirst (INRIA Saclay, France) - Willem Heijltjes (University of Bath) - Amin Karamlou (University College London) - more TBA **Mailing list** If you would like to receive announcements of upcoming events, please send an email to smls-request(a)lists.bath.ac.uk so we can add you to our mailing list. **Travel bursaries** Each meeting has a budget to cover travel costs for speakers and participants. Priority will be given to young researchers, particularly PhD students. We are also able to provide some support for participants with caring or parenting responsibilities. Anyone who requires support should contact Thomas Powell (trjp20(a)bath.ac.uk) in advance of the meeting. 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

FINAL CFP: Workshop on Homotopy Type Theory and Univalent Foundations
by Felix Cherubini 25 Mar '26

25 Mar '26

================================================== = FINAL 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

1st cfp: 10th International Workshop on Trends in Linear Logic and Applications
by federico.olimpieri 25 Mar '26

25 Mar '26

====================================================================== Call for Papers TLLA 2026 10th International Workshop on Trends in Linear Logic and Applications Lisbon, 18-19 July 2026 Affiliated with FLoC 2026 https://tlla.linear-logic.org/2026/ ====================================================================== Linear Logic is not only a proof-theoretical tool to analyze or control the use of resources in logic and computation. It is also a corpus of tools, approaches, and methodologies that, even if developed for studying Linear Logic syntax and semantics, have been applied in several other fields (analysis of lambda-calculi computations, game semantics, computational complexity, program verification, etc.). The TLLA international workshop aims at bringing together researchers working on Linear Logic or on applying it or its tools. The main goal is to present and discuss trends in the research on Linear Logic and its applications by means of tutorials, invited talks, open discussions, and contributed talks. The purpose is to gather researchers interested in the connections between Linear Logic and various topics such as * theory of programming languages * games and languages * proof theory * categories and algebra * implicit computational complexity * parallelism and concurrency * quantum and probabilistic computing * models of computation * connections with combinatorics * functional analysis and operator algebras * philosophy of logic and mathematics * linguistics ---------------------------------------------------------------------- ** Submission Guidelines ---------------------------------------------------------------------- Contributions are not restricted to talks presenting original results, but open to tutorials, open discussions, and position papers. For this reason, we strongly encourage contributions presenting work in progress, open questions, and research projects. Contributions presenting the application of linear logic results, techniques, or tools to other fields, or vice versa, are most welcome. To propose a contributed talk, please submit a short abstract whose length is between 2 and 5 pages at https://submissions.floc26.org/tlla ---------------------------------------------------------------------- ** Important dates ---------------------------------------------------------------------- * Submission deadline: 15 May 2026 * Notification to authors: 25 May 2026 * Final versions due: 31 May 2026 * Workshop date: 18-19 July 2026 ---------------------------------------------------------------------- ** Tutorials ---------------------------------------------------------------------- * TBA ---------------------------------------------------------------------- ** Invited Speakers ---------------------------------------------------------------------- * TBA ---------------------------------------------------------------------- ** Program Committee ---------------------------------------------------------------------- * Amal Ahmed, Northeastern University (USA) * Rémy Cerda, Università di Bologna (Italy) * Pierre Clairambault, CNRS, Université d’Aix-Marseille (France) * Neel Krishnaswami, University of Cambridge (UK) * Adrienne Lancelot, Università di Bologna (Italy) * Dylan McDermott, University of Oxford (UK) * Koko Muroya, Ochanomizu University (Japan) * Federico Olimpieri (chair), Université d’Aix-Marseille (France) * Peter Selinger, Dalhousie University (Canada) * Gabriele Vanoni, IRIF (France) ---------------------------------------------------------------------- ** Organization Committee ---------------------------------------------------------------------- * Stefano Guerrini, Université Sorbonne Paris Nord (France) * Lorenzo Tortora de Falco, Università Roma Tre (Italy) * Lionel Vaux Auclair, Université d’Aix-Marseille (France) ---------------------------------------------------------------------- ** Proceedings ---------------------------------------------------------------------- The abstracts of the contributed and invited talks will be published on the website of the conference. Possible other formats will be discussed at the workshop. ---------------------------------------------------------------------- ** Contact ---------------------------------------------------------------------- In case you have any question regarding submissions or the organization of the workshop, please contact us at federico.olimpieri(a)lis-lab.fr or at federico.olimpieri(a)univ-amu.fr 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

Last Call for Contributions – CCC 2026 - Deadline 31st March 2026
by Maria Emilia Maietti 24 Mar '26

24 Mar '26

LAST CALL FOR CONTRIBUTIONS (the deadline is approaching!) ======================================================= CCC 2026: Continuity, Computability, Constructivity – From Logic to Algorithms Dedicated to Ulrich Berger on the Occasion of his 70th Birthday and to the Memory of Willem Fouché Kyoto, Japan, May 27-30, 2026 Participation is open both in presence and online. Conference Website: https://www.i.h.kyoto-u.ac.jp/ccc2026/ ==================================================== Submission link: https://easychair.org/conferences/?conf=ccc2026 Submission deadline: March 31, 2026 Notification of acceptance: April 15, 2026 Extended abstracts (1-2 pages) of original work should be submitted in pdf format. ==================================================== Topics: constructive mathematics, constructive analysis, computable analysis, exact real number computation CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis and topology, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety-critical applications and scientific computation. Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018, Ljubljana 2019, Faro 2020 (online), Birmingham 2021 (online), Padua 2022, Kyoto 2023, Nice 2024, Swansea 2025. ==================================================== Submission Guidelines The workshop invites all contributions relating to computation where issues of continuity, computability and constructivity play major roles. Specific areas of interest include: Exact real number computation Correctness of algorithms on infinite data Computable analysis Complexity of real numbers, real-valued functions, etc. Effective descriptive set theory Domain theory Constructive analysis and topology Constructive foundations Category-theoretic approaches to computation on infinite data Weihrauch degrees Other related areas. ==================================================== Tutorial speakers: Paulo Oliva (London, UK) Invited speakers: Benno van den Berg (Amsterdam, The Netherlands) Mirai Ikebuchi (Kyoto, Japan) Zvonko Iljazović (Zagreb, Croatia) Dominik Kirst (Paris, France) ==================================================== Program Committee Matthew de Brecht (Kyoto, Japan) (Co-chair) Daniel Graça (Faro, Portugal) Takayuki Kihara (Nagoya, Japan) Maria Emilia Maietti (Padua, Italy) (Chair) Alexander Melnikov (Wellington, New Zealand) Elvira Mayordomo (Zaragoza, Spain) Norbert Müller (Trier, Germany) Sewon Park (Ljubljana, Slovenia) Arno Pauly (Swansea, UK) Monika Seisenberger (Swansea, UK) Dieter Spreen (Siegen, Germany) Organizing committee Matthew de Brecht (Kyoto, Japan) Akitoshi Kawamura (Kyoto, Japan) Holger Thies (Kyoto, Japan) Hideki Tsuiki (Kyoto, Japan) 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