April 2026 - Categories - categories.org.au

2nd CfP: Autumn School: Proof and Computation 2026 – 13–19 September 2026, Fischbachau (Germany)
by Valentin G. J. Herrmann 15 May '26

15 May '26

== Autumn school "Proof and Computation" Fischbachau, Germany, 13th to 19th September 2026 https://www.mathematik.uni-muenchen.de/~schwicht/pc26.php An international autumn school "Proof and Computation" will be held from 13th to 19th September 2026 at Aurachhof[1] in Fischbachau near Munich. Its aim is to bring together young researchers in the fields of Foundations of Mathematics, Computer Science and Philosophy. Previous autumn schools in this series were PC25, PC24, PC23, PC22, PC21, PC19, PC18, PC17, PC16. === SCOPE - Predicative Foundations - Constructive Mathematics and Type Theory - Computation in Higher Types - Extraction of Programs from Proofs === COURSES - Manfred Droste (Leipzig): Universal Information Systems - Tom de Jong (Nottingham): Introduction to Homotopy Type Theory (Univalent Foundations) - Dominik Kirst (Paris): Constructive (Meta-)Mathematics and Synthetic Computability - Keisuke Nakano (Sendai) and Masahiko Sato (Kyoto): Algebra and Geometry of the Lambda-Calculus - Dirk Pattinson (Canberra): Coinduction and Infinite Data - Daniel Wessel (Munich): Gentzen's Legacy within and beyond Hilbert's Programme Celebrating the 10th edition of the autumn school we have 3 additional evening lectures: - Thierry Coquand (Gothenburg): tba - Gitta Kutyniok (Munich): Reliable and Sustainable AI: From Mathematical Foundations to Next Generation AI Computing - Hannes Leitgeb (Munich): The Logic of Reason === SCHEDULE Monday Tuesday Wednesday Thursday Friday 09:00-09:50 Mainzer Nakano/Sato de Jong Wessel Kirst 09:50-10:30 *Coffee* *Coffee* *Coffee* *Coffee* *Coffee* 10:30-11:20 Wessel Pattinson Nakano/Sato Droste Pattinson 11:30-12:20 de Jong Groups Groups Groups 15:00-15:50 Droste Wessel Nakano/Sato Droste 15:50-16:30 *Coffee* *Coffee* *Coffee* *Coffee* 16:30-17:20 Pattinson de Jong Kirst Groups 17:30-18:20 Kirst Groups Groups Groups 20:00-21:00 Kutyniok Coquand Leitgeb === WORKING GROUPS There will be an opportunity to form ad-hoc groups working on specific projects, but also to discuss in more general terms the vision of constructing correct programs from proofs. === HOW TO GET THERE The default arrival time is Sunday afternoon, and departure time Saturday after breakfast. There are frequent direct trains from Munich Hauptbahnhof, departing at tracks 27-36, in the direction to Bayerischzell. Trains depart for instance 15:29, 16:29, 17:29 with arrival in Fischbachau at 16:44, 17:44, 18:44. >From the train station in Fischbachau it is an easy 200 meter walk to Aurachhof[2]; see also its website[1] for directions. === APPLICATIONS Graduate or PhD students and young postdoctoral researchers are invited to apply. Please apply by following the steps described in https://www.math.lmu.de/~herrmann/pc26-application/ Note that an application consists in particular of a motivation letter (containing a self-introduction including research interests). Students are furthermore required to provide a letter of recommendation, preferably from the thesis adviser. The letter of recommendation should be either sent by the applicant themself together with the application or by the recommender by email to Valentin Herrmann <herrmann+pc26 (at) math (.) lmu (.) de> Deadline for applications: June 1, 2026. Applicants will be notified by June 29, 2026. === FINANCIAL SUPPORT The workshop is supported by the Udo Keller Stiftung (Hamburg)[3]. Successful applicants with funding problems may apply for financial support covering accommodation including meals for the days of the autumn school (ca. 116 Euro per day). Klaus Mainzer[4] Peter Schuster[5] Helmut Schwichtenberg[6] [1] https://www.aurachhof.de/ [2] https://www.openstreetmap.org/node/318141803 [3] https://forum-humanum.org/ [4] https://www.professoren.tum.de/en/mainzer-klaus/ [5] https://www.di.univr.it/?ent=persona&id=21404 [6] https://www.mathematik.uni-muenchen.de/~schwicht 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 1

Online Pacific Category Theory Seminar - Friday May 8, 10am JST/11am AED (1am UTC)
by JS Lemay 01 May '26

01 May '26

Dear all Ross Street (Macquarie University) will give this month's online PCT seminar (https://pctseminar.github.io/) talk on Friday May 8 at 10am JST/11am AED (1am UTC). The zoom link to join the seminar is: https://kyoto-u-edu.zoom.us/j/82401794000?pwd=VjVmzVjmlgxhkdHES4xYeQBTpMzQk… Title: Homodular pseudofunctors as objective invariants Abstract: As Riemann proved, a lot can come out of an 8 page paper! There are two techniques used in the paper [André Joyal, Calcul intégral combinatoire et homologie des groupes symétriques, C.R. Acad. Sci. Canada VII(6) (Dec. 1985) 337--342] which fascinate me. The author's goal is to prove something about how the homology of the symmetric group on n symbols sits in that on n+1 symbols. Rather than specify a particular homological functor, his first technique is to construct a universal one and prove the result for that. The property in question is preserved by additive functors and so holds for any homology. The second technique is to use his theory of (virtual) species of structure where passing from n to n+1 gives differentiation. My goal is to do something similar for the general linear groups over a fixed finite field. I have begun the adaptation of the two techniques and hope the results so far will be of independent interest. The two strands have yet to conflow into the desired application. We hope to see you there! Also reminder that recorded talks are posted afterwards on the seminar's youtube channel: https://www.youtube.com/@PCTSeminar Best wishes, Soichiro Fujii, Zeinab Galal, JS PL

1 0

Madam Fatima Lawvere
by Posina Venkata Rayudu 29 Apr '26

29 Apr '26

Dear All, I am saddened to write that Madam Fatima Lawvere died. Madam Fatima Lawvere, a pedagogical revolution personified, envisioned making the then most advanced and abstract mathematics (Category Theory) comprehensible to total beginners (like me); in an intellectual tour de force, Madam Fatima Fenaroli Lawvere substantiated her vision with passion and unwavering commitment: attending Professor F. William Lawvere's lectures, asking questions (I, for one, didn't see, for example, the AND needed to define OR), and enriching with her creative contributions, all the way to the materialization of her mind-made best textbook ever written: F. William Lawvere and Stephen H. Schanuel, Conceptual Mathematics: A First Introduction to Categories which will remain a book to study---again and again---for those of us who think of mathematics as learnable-and-teachable (https://lawverearchives.com/wp-content/uploads/2025/07/1989.cambridgetalks.… p. 4). Thanks to Madam Fatima Lawvere, working past her 90s, we have The Lawvere Archives (https://lawverearchives.com/) which, without exaggeration, will set the mathematical agenda for future generations (cf. adjoint cylinders and graphs, algebraic foundations of physics and engineering, broad objective logic, Cantorian abstraction, laws of rational passage between concepts, mathematics of cohesion, objective number theory, quality types, radically synthetic differential geometry, theory of naturality, just to name a few). Madam Fatima Lawvere joined her beloved husband Professor F. William Lawvere (09 February 1937 – 23 January 2023). Thanking you, Yours respectfully, posina 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>

5 4

Homotopy Theory, K-theory, and Topological Data Analysis, a conference in honour of Rick Jardine, Western University, June 8-12, 2026 - final announcement (book your accommodation soon!)
by Chris Kapulkin 28 Apr '26

28 Apr '26

Dear all, This is the final announcement of the Conference on Homotopy Theory, K-theory, and Topological Data Analysis that will be held at the University of Western Ontario in London, Ont. from June 8 to 12, 2026. The conference honours the work of John F. (Rick) Jardine, a professor at the University of Western Ontario. Details can be found on the website: http://www.fields.utoronto.ca/activities/25-26/homotopy-theory IMPORTANT: Accommodation. Discounted rates have been arranged for participants at The Park Hotel and Ontario Hall. They will remain available through May 7 and May 8, respectively. However, the number of rooms is limited, so book soon! Program. There will be 18 invited talks given by: K. Adamyk (Hamline University) M. Anel (Carnegie Mellon University) A. Asok (University of Southern California) J. Bergner (University of Virginia) G. Carlsson (Stanford University) D.-C. Cisinski (University of Regensburg) E. Elmanto (University of Toronto) J. Heller (University of Illinois at Urbana Champaign) M. Lesnick (State University of New York at Albany) M. Levine (Universität Duisburg–Essen) L. McInnes (Tutte Institute for Mathematics and Computing) E. Purvine (Pacific Northwest National Laboratory) M. Rovelli (University of Ottawa) O. Röndigs (Osnabrück University) L. Scoccola (Université du Québec à Montréal) K. Wickelgren (Duke University) B. Williams (University of British Columbia) I. Zakharevich (Cornell University) We are looking forward to seeing many of you in the world's second best London! Best wishes, Chris Kapulkin for the organizers 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

2nd cfp: 10th International Workshop on Trends in Linear Logic and Applications
by federico.olimpieri 28 Apr '26

28 Apr '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 ---------------------------------------------------------------------- ** Tutorial ---------------------------------------------------------------------- * Ugo Dal Lago (Università di Bologna), TBA We are pleased to announce that the tutorial will be a joint event with the ITRS workshop. ---------------------------------------------------------------------- ** Invited Speakers ---------------------------------------------------------------------- * Lison Blondeau-Patissier (ENS Lyon), TBA * Hugo Paquet (ENS Paris), TBA * Brigitte Pientka (McGill University), TBA We are pleased to announce that Hugo Paquet's talk will be a joint event with the GaLoP workshop. ---------------------------------------------------------------------- ** 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

ISLA 2026: Call for Participation
by Abhisekh Sankaran 27 Apr '26

27 Apr '26

TCS Confidential ================================================================= CALL FOR PARTICIPATION Indian School on Logic and its Applications (ISLA) 2026 + https://isla26.vercel.app/ + June 25 - 30, 2026 + Krea University, Sri City, Andhra Pradesh + Co-located with the Formal Methods Update Meeting (FM Update) 2026 + Early registration deadline: May 15, 2026 ================================================================= Dear all, The 11th Indian School on Logic and its Applications (ISLA 2026) will be held at Krea University, Sri City, Andhra Pradesh (near Chennai), from June 25 to 30, 2026. The school will be followed by the Formal Methods Update Meeting on July 2 – 3, 2026. ISLA 2026 website: https://isla26.vercel.app/ ABOUT THE SCHOOL ISLA is a biennial school on logic organized by the Association for Logic in India (ALI, https://logicindia.org) It aims to bring together students and researchers from mathematics, computer science, philosophy, and linguistics who share an interest in logic and its applications. The school is especially intended for PhD students, researchers and others interested in exploring logic across disciplines. VENUE Lectures will be held in NAB 2G in the New Academic Building on the Sri City campus of Krea University. SPEAKERS + K. V. Krishna (IIT Guwahati) + Shikha Rajpurohit (Krea University) + Eric Snyder (Ashoka University) + S. P. Suresh (Chennai Mathematical Institute) COURSES + Recursion Theory — K. V. Krishna + Proofs vs Programs Correspondence — S. P. Suresh + On Reference to Abstract Entities — Eric Snyder IMPORTANT DATES + Early Registration Deadline: May 15, 2026 + School Dates: June 25 – 30, 2026 Participation is limited, and registration will be on a _first-come, first-served_ basis. REGISTRATION Details regarding registration fees and the registration process are available at: https://isla26.vercel.app/registration.html REACHING SRI CITY Sri City is 60 kms away from the city of Chennai both by taxi services and local trains (to Tada). It lies on the railway route connecting Chennai to Vijayawada / Hyderabad / Kolkata / New Delhi, and the nearest major railway station is Sullurpeta (around 22 kms away). Further details are available on the ISLA 2026 website. PROGRAMME COMMITTEE + Arun Kumar (Chair), BHU + Govind R (Chair), IMSc Chennai + Abhishek De, Krea University + T. V. H. Prathamesh, Krea University LOCAL ORGANIZATION + Abhishek De, Krea University + T. V. H. Prathamesh, Krea University CONTACT isla2026(a)krea.edu.in<mailto:isla2026@krea.edu.in> We look forward to your participation. Best regards, Organising Committee ISLA 2026 https://isla26.vercel.app/ =====-----=====-----===== Notice: The information contained in this e-mail message and/or attachments to it may contain confidential or privileged information. If you are not the intended recipient, any dissemination, use, review, distribution, printing or copying of the information contained in this e-mail message and/or attachments to it are strictly prohibited. If you have received this communication in error, please notify us by reply e-mail or telephone and immediately and permanently delete the message and any attachments. Thank you 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

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

Deadline Extension -- IMLA Workshop, Lisbon, 24-25 July
by Sonia Marin 23 Apr '26

23 Apr '26

8th Workshop on Intuitionistic Modal Logic and Applications (IMLA) 24–25 July 2026, Lisbon, Portugal Affiliated with the Federated Logic Conference (FLoC 26) https://sonia-marin.github.io/imla26/ ****** Deadline Extension ****** Constructive and intuitionistic modal logics, and their connections with type theory and computation, remain foundationally and practically significant in computer science, logic, and related areas. These include applications in type disciplines, meta-logics for computational phenomena, and explanatory frameworks in philosophical logic. The workshop aims to explore theoretical and methodological issues at the intersection of constructive proof theory and modal semantics, as well as practical questions about which modal connectives and rules best capture computational phenomena at appropriate levels of abstraction. **Invited speakers** - Danel Ahman (University of Tartu, Estonia) - Brigitte Pientka (McGill University, Montreal, Canada) - Ranald Clouston (ANU, Canberra, Australia) - More to be confirmed. **Submissions** We invite abstracts for contributed talks of up to *2 pages* (excluding bibliography). They may describe published work, unpublished work, or work in progress. We especially encourage submissions from students and early-career researchers. Abstracts should be submitted via the workshop’s submission page: https://submissions.floc26.org/imla/ Accepted abstracts will be made available for the workshop; there are no formal published proceedings at this time, but the organisers will explore options for post-workshop proceedings. At least one author of each accepted submission is expected to register and attend the workshop at FLoC 26 (possibly online). **Important Dates** * Abstract submission deadline: 30 April 2026 (extended!) * Notification of acceptance: 23 May 2026 * Final versions: To be announced * Early registration deadline: 1 June 2026 * Workshop dates: 24–25 July 2026 **Program Committee** - Marianna Girlando - Lourdes González-Huesca - Jim de Groot - Sonia Marin (co-chair) - Leonardo Pacheco - Valeria de Paiva (co-chair) - Ian Shillito - Nachi Valliappan 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

Ultracategories and Stone Duality Workshop - Announcement
by Josh Wrigley 23 Apr '26

23 Apr '26

Dear colleagues, It is my pleasure to announce: Ultracategories and Stone duality Workshop, 29 June - 1 July 2026, Paris Ultracategories were originally introduced by Michael Makkai in the 1980s to develop a Stone duality for first-order logic. As their theory found a renewed interest in recent years, this workshop aims to gather researchers interested in ultracategories and, more generally, in Stone dualities in the context of predicate logic and topos theory. In addition to a number of invited talks, the workshop will provide ample time for discussion. Anyone interested in the topics is warmly invited to participate, either in person or online. Please register here: https://framaforms.org/ultracategories-and-stone-duality-workshop-registrat… This workshop is funded by ERC Malinca and ANR TopTT. Confirmed speakers: Mathieu Anel, Ivan Di Liberti, Simon Henry, Jérémie Marquès, Elena Pozzan, Giuseppe Rosolini, Gabriel Saadia, Errol Yuksel Organizers: Sam van Gool, Paul-André Melliès, Umberto Tarantino, Joshua Wrigley Date: Monday 29 June — Wednesday 1 July 2026 Place: Room 1001, Sophie Germain building Webpage: https://www.irif.fr/rencontres/pps2026/ultracategories-workshop We hope to see you there! On behalf of the organising committee, Joshua 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

Postdoctoral Research Position in Theoretical Computer Science
by Sergey Goncharov 22 Apr '26

22 Apr '26

The University of Birmingham invites applications for a fully funded postdoctoral research position in Theoretical Computer Science. The successful candidate will join the project **“Higher-Order Monad-based Programming and Reasoning (HOMBRe)”**, funded by the German Research Foundation (DFG). The project explores foundational aspects of program semantics and verification, with particular emphasis on: - computational effects via monads and their generalisations - semantics of iteration and recursion via trace operators - guarded traces and related structures We welcome applicants with interests across functional and imperative programming, verification logics, and categorical semantics. The position is available immediately, and an early start is strongly preferred. The appointment is a fixed-term position linked to the remaining duration of the project, with an expected term of up to approximately 18 months (depending on the start date). There may be a possibility of extension, subject to project developments and funding conditions. **Candidate Profile**: Applicants should have (or be close to completing) a PhD in Computer Science, Mathematics, or a closely related field, with a strong background in one or more of the following: - semantics of programming languages - category theory in computer science - logic and verification **Application Process**: Applications will be reviewed on a rolling basis, and the position may be filled as soon as a suitable candidate is identified. To apply, please use the University’s job portal: [https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6… Informal enquiries are welcome and can be directed to: **Sergey Goncharov** (S.Goncharov(a)bham.ac.uk) -- Sergey Goncharov The University of Birmingham https://sergey-goncharov.org School of Computer Science Edgbaston, Birmingham B15 2TT, UK 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