October 2026 - Categories - categories.org.au

PhD position at TU Delft: deriving formal languages from their semantics
by Benedikt Ahrens 16 Oct '26

16 Oct '26

Dear All, I am looking for a PhD candidate for a 4-year position in the Department of Software Technology at TU Delft, funded by the Air Force Office of Scientific Research (AFOSR) and starting as soon as possible. The project, "SemSyn: From Semantics to Syntax", studies how to start from a specification of a class of models and derive a formal language describing them. It involves: - dependent type theory and its categorical semantics (categories with families, comprehension categories); - generalized algebraic theories; - Makkai's signatures, given by inverse categories; - two-level type theory; - formalization in the Agda proof assistant, developed alongside the mathematics. You should have a Master's degree in mathematics, computer science, or a related field, and experience in (or a strong motivation to learn) both category theory and theoretical computer science. Experience with a proof assistant is a plus, but not required. Applications are evaluated on a rolling basis, so please apply early rather than waiting for the deadline of 29 November 2026. I very much encourage you to get in touch with me by email (B.P.Ahrens(a)tudelft.nl) before, and in addition to, submitting your official application. Vacancy and application: https://careers.tudelft.nl/job/Delft-PhD-Position-Systematic-Derivation-of-… Please forward this message to anyone who might be interested. All the best, Benedikt

1 0

XVI Portuguese Category Seminar
by Lucatelli Nunes 16 Oct '26

16 Oct '26

Dear colleagues, We would like to remind you that the *XVI Portuguese Category Seminar* will take place at the Centre for Mathematics of the University of Coimbra, Portugal, on *12–14 November 2026*. We warmly welcome contributions on category theory and its connections with algebra, topology, logic, and computer science. *Participation is free of charge*, and the key deadlines are as follows: - *Abstract submission:* 29 October 2026 - *Notification of acceptance:* by 3 November 2026 - *Registration:* 5 November 2026 Both the abstract submission and registration deadlines are at 23:59 (Coimbra time). Registration is required for all participants, including those who do not intend to give a talk. The registration form, abstract template, and further details are available on the seminar website: https://flnlucatelli.github.io/2026/pcs.html *How to register and submit an abstract* All participants should register by sending an email to *Maria Manuel Clementino* (mmc(a)mat.uc.pt) with the subject line *PCS-2026 SUBMISSION*. The submission procedure depends on whether you intend to give a talk: 1. *If you wish to propose a talk:* Complete the registration form available on the seminar website and paste it into the body of your email. Attach your abstract in two formats: the *LaTeX source file (.tex)*, prepared using the template provided on the website, and the *compiled PDF (.pdf)*. Please submit both the registration form and the abstract by *29 October 2026*. 2. *If you wish to attend without giving a talk:* Complete the registration form available on the seminar website and paste it into the body of your email. No abstract or attachments are required. Please register by *5 November 2026*. There is no separate online submission system. *All registrations and talk proposals should be sent by email*, following the instructions above. We would be grateful if you could circulate this announcement among colleagues, researchers, and students who may be interested. We look forward to welcoming you to Coimbra and to another stimulating gathering of the category theory community. Best regards, *Fernando Lucatelli Nunes* On behalf of the Organising Committee

1 0

ItaCa Fest - 20th of October
by Giacomo Tendas 15 Oct '26

15 Oct '26

Dear all, ItaCa Fest 2026 continues with a new episode on Tuesday the 20th of October. We will start at 3:00 PM (Italian time) as usual. Here is the list of speakers for this episode: • F. Loubaton – *Effectivity in the context of (∞,n)-categories;* • V. Zapata Castro – *One perspective to monoidal (∞,n)-categories;* • P. Haine – *Condensed ∞-categories of points and condensed homotopy types of ∞-topoi.* You can find a precise schedule, the abstracts, and the Zoom link at the following page: https://progetto-itaca.github.io/fests/fest26.html Best wishes, Giacomo (On behalf of the Scientific Committee)

1 0

First announcement: 7th ItaCa Workshop — Florence, 21–22 December 2026
by Marco Maggesi 13 Oct '26

13 Oct '26

Dear all, we are pleased to announce the 7th ItaCa Workshop, which will take place in Florence on 21–22 December 2026. The ItaCa Workshop is a series of short workshops organized by ItaCa, the Italian community of category theorists, focusing on the development and applications of category theory. Students and early-career researchers are particularly encouraged to attend and to submit proposals for contributed talks. The workshop will start on the morning of Monday, 21 December, and continue until the morning of Tuesday, 22 December, possibly extending into the afternoon depending on the number of contributed talks. Important dates - Submission deadline: 12 November 2026 - Notification: 19 November 2026 - Registration deadline: 8 December 2026 - Workshop: 21–22 December 2026 Participation is free of charge, but registration is mandatory. Further information, including registration and submission details, is available on the workshop website: https://progetto-itaca.github.io/ItaCa-26/ For inquiries, please send an e-mail to one of the organisers. Please feel free to circulate this announcement to anyone who may be interested. Best wishes, Program Committee Giuseppe Metere (chair) Francesco Dagnino Jacopo Emmenegger Andrea Gagna Francesca Guffanti Valerio Melani Paolo Perrone Giacomo Tendas Organising Committee Marco Maggesi (chair) Matteo Calosci Gabriele Lobbia Valerio Melani Umberto Tarantino Gabriele Vezzosi

1 0

Last Call: QCOMICAL School 2026 on Quantum Programming Languages and Semantics
by tedeschi 12 Oct '26

12 Oct '26

Apologies for multiple copies. ========================================================== QCOMICAL School 2026 16-20 November 2026, Pisa, Italy https://qcomical2026.github.io Last Call: Registration open until October 16 ========================================================== BACKGROUND: After a successful first edition in Nancy (France), the second QCOMICAL School will take place in Pisa (Italy) as part of the QCOMICAL project. The school will offer tutorials and lectures by leading researchers involved in the project, working on quantum computing with a focus on quantum programming languages and their semantics, fostering interaction across foundational approaches. COURSES: • Computational Quantum Logic - Alejandro Díaz-Caro (Inria Nancy, France & Universidad de la República, Uruguay) • Bayesian Networks (and Quantum Ones) - Claudia Faggian (CNRS/Université Paris Cité, France) • Quantum Process Calculi - Fabio Gadducci (CINI/Università di Pisa, Italia) and Gabriele Tedeschi (CNRS/Université Paris Cité) • Tool Session: Automated Verification of Quantum Protocols - Giuseppe Lomurno (Università di Pisa, Italy) • Quantum Programming Languages - Benoît Valiron (CentraleSupélec, France) • Categories for Quantum Computing - Vladimir Zamdzhiev (INRIA/Université Paris Saclay, France) Visit the website (https://qcomical2026.github.io) for more info on the courses abstracts and schedule. REGISTRATION: * Opens now, up until October 16. * Free of charge. * Coffee breaks and lunches are included. Travel and accommodation are at participants' expense. * The registration form and practical details (travel, visas, accommodation) are in the website. ORGANISING COMMITTEE: • Roberto Bruni - Università di Pisa, Italia • Alejandro Dìaz-Caro - Inria Nancy, France & Universidad de la República, Uruguay • Fabio Gadducci (chair) - CINI/Università di Pisa, Italia • Gabriele Tedeschi - Université Paris Cité/CNRS, France • Benoît Valiron - CentraleSupélec, France FUNDING: The QComical project is funded by the European Union through the Marie Skłodowska-Curie Actions – Staff Exchanges programme (MSCA-SE). Current sponsors are AICA, Alice&Bob, Università di Pisa.

1 0

October/Novemberfest 2026 First Announcement
by Richard Blute 09 Oct '26

09 Oct '26

The 2026 Category Theory October/Novemberfest will be held on the weekend of October 31st through November 1st. The meeting will be virtual. (Links will be provided soon.) Following the tradition of past Octoberfests, this is intended to be an informal meeting, covering all areas of category theory and its applications. Talks by PhD students and young researchers are particularly encouraged! If interested in speaking, please send title and abstract to Rick Blute at rblute(a)uottawa.ca<mailto:rblute@uottawa.ca> by October 15th.

1 1

Postdoctoral Research Position, University of Birmingham
by Paul Levy 06 Oct '26

06 Oct '26

Dear all, Application deadline: 27 October 2026 The University of Birmingham invites applications for a fully funded postdoctoral research position in Theoretical Computer Science. The position is funded by the Engineering and Physical Sciences Research Council (UK) and provides support for up to 3 years of full-time research. The successful candidate will contribute to the project "New algebraic structures for computational effects", which aims to develop categorical and denotational semantics for general effects, for stateful effects in particular, and for polymorphism in effectful languages. The project will involve categorical structures, call-by-push-value and game semantics, so any background in these and related areas would be valuable. To apply, use the following link to the University's Job Portal: https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6…<https://urldefense.com/v3/__https://edzz.fa.em3.oraclecloud.com/hcmUI/Candi…> Please feel free to contact me with any informal enquiries. best regards, Paul

1 0

Postdoc at TU Delft on category theory, computer proof assistants and computer algebra systems
by Benedikt Ahrens 06 Oct '26

06 Oct '26

Hi all, I have funding for a postdoc position at TU Delft on combining computer proof assistants and computer algebra systems in the area of category theory. The formal vacancy is now open: https://careers.tudelft.nl/job/Delft-Postdoc-Category-Theory%2C-Computer-Pr… I am looking for someone who is interested in all three of proof assistants, computer algebra systems, and category theory, and who has some experience in at least one or two of them. The position is for one year initially, extendable to up to three years, and ideally starts no later than March 2027 (a later start can be discussed). The application deadline is 1 November 2026. Please apply through the online portal linked above; applications sent by email can't be considered. Informal questions are very welcome. Feel free to email me at B.P.Ahrens(a)tudelft.nl before you apply. Please feel free to forward this to anyone who might be a good fit. Best wishes, Benedikt

1 0

NWPT 2026: Deadline Extension Until October 10th
by Chad Mitchell Nester 06 Oct '26

06 Oct '26

The deadline for abstract submissions has been extended until October 10th, midnight AOE. == Call for Papers == 36th Nordic Workshop on Programming Theory November 19-20th, 2026, University of Tartu, Tartu, Estonia Conference web page: https://kodu.ut.ee/~nester/nwpt-2026/main.html == Important Dates (AOE) == * Submission of Abstracts: October 5th October 10th, 2026, 23:59 AOE * Notification: October 30th, 2026 * Submission of Final Version of Abstracts: November 6th, 23:59 AOE * Registration Deadline: November 2nd, 2026, 23:59 AOE * Conference Dates: November 19-20th, 2026 == Scope == NWPT is a series of annual regional-scope workshops on programming theory, targeted especially at younger researchers. In 2026, the workshop will take place in Tartu, Estonia. We hope this will be a nice opportunity to present recent results and/or work-in-progress, and to meet colleagues from the Nordic and Baltic countries. We encourage PhD students and postdocs to contribute. Topics of interest include (but are not limited to): * semantics of programming languages * programming language design and programming methodology * programming logics * formal specification of programs * program verification * program construction * tools for program verification and construction * program transformation and refinement * real-time, hybrid/cyber-physical systems modeling and verification * models of concurrency and distributed computing * model checking * model-based testing * language-based security == Submission Guidelines == Authors wishing to give a talk at the workshop are requested to submit abstracts of 2-3 pages (pdf, printable on A4 paper, typeset with LaTeX with easychair.cls) through EasyChair by October 5th: https://easychair.org/my/conference?conf=nwpt2026 Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted. The abstracts of the accepted contributions will be available electronically before the workshop. By submitting to EasyChair you agree that your abstract will be publicly available. Moreover, you as an author are responsible for the content. As in earlier NWPT workshops, we plan to arrange a special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) devoted to the best contributions to the workshop. The contributions will be selected by the PC. They will be invited after the workshop and will undergo a rigorous, journal-strength review process according to the standards of JLAMP. This year submissions from NWPT 2023 and NWPT 2024 will be considered as well. == Program Committee == * Aggeliki Chalki, Reykjavik University, Iceland * Alceste Scalas, Technical University of Denmark, Denmark * Cheng-Syuan Wan, Tallinn University of Technology, Estonia * Daniel Gratzer, Aarhus University, Denmark * Elias Castegren, Uppsala University, Sweden * Elli Anastasiadi, Aalborg University, Denmark * Evan Cavallo, University of Gothenburg, Sweden * Fritz Henglein, University of Copenhagen, Denmark * Jaakko Jarvi, University of Turku, Finland * Keijo Heljanko, University of Helsinki, Finland * Lizeth Tapia, University of Oslo, Norway * Maja Hanne Kirkeby, Roskilde University, Denmark * Marina Walden, Åbo Akademi University, Finland * Marjan Sirjani, Mälardalen University, Sweden * Matthew Earnshaw, University of Tartu, Estonia * Mikhail Barash, University of Bergen, Norway * Peter LeFanu Lumsdaine, Stockholm University, Sweden * Rasmus Møgelberg, IT University of Copenhagen, Denmark * Robin Kaarsgaard, University of Southern Denmark, Denmark * Violet Ka I Pun, Western Norway University of Applied Sciences, Norway == Organisers and PC Chairs == * Chad Nester, University of Tartu, Estonia * Matthew Earnshaw, University of Tartu, Estonia == Contact == Please direct any questions to nester(a)ut.ee

1 0

Summer School on Theory and Applications of(∞,n)-Categories
by Lyne Moser 06 Oct '26

06 Oct '26

Dear colleagues We are pleased to announce the Summer School on Theory and Applications of (∞,n)-Categories. The Summer School will take place from July 5 to 9, 2027, at BIRS-IAN on the UBC Okanagan campus in Kelowna, Canada. It aims to introduce graduate students and early-career researchers to the theory of (∞,n)-categories and its applications in modern mathematics. The program will feature four coordinated lecture series by: - Viktoriya Ozornova (MPIM Bonn, Germany) - Lorenzo Riva (Harvard CMSA, USA) - Julia Plavnik (Indiana University, USA) — TBC - Theo Johnson-Freyd (Dalhousie University, Canada) The first two lecture series will introduce participants to the theory of (∞,n)-categories. The other two will explore applications of higher categories to categorical representation theory and topological quantum field theory. More information is available on the conference website (https://lynemoser.com/workshopncat/ [https://lynemoser.com/workshopncat/] and applications will open at a later date. In the meantime, save the week and stay tuned! We will share further information as soon as applications open! On behalf of the organizers: Lyne Moser, Nima Rasekh, Martina Rovelli, and Maru Sarazola

1 0