February 2026 - Categories - categories.org.au

LIQCS 2026: First Call For Contributions
by Vladimir Zamdzhiev 12 Feb '26

12 Feb '26

1st International Workshop on Logic in Quantum Computer Science (LIQCS 2026) June 17-19, Paris, France https://liqcs2026.github.io IMPORTANT DATES --------------- All deadlines are stated with respect to the Anywhere on Earth (AoE) time zone. - Submission deadline: Friday, 20 March 2026 - Notification: Monday, 20 April 2026 - Workshop: 17-19 June 2026 OVERVIEW -------- LIQCS is a workshop dedicated to the logical and mathematical foundations of quantum computer science. Its goal is to bring together researchers working on rigorous frameworks for quantum computation, including logic, type theory, semantics, algebraic and categorical methods, and formal verification. The workshop welcomes contributions presenting new ideas, work in progress, recently published results, and perspectives on emerging research directions. For a more comprehensive list of topics, please check the website. SUBMISSION GUIDELINES --------------------- The submission site is: https://easychair.org/conferences?conf=liqcs2026 We invite submissions of extended abstracts describing original work, work in progress, or results recently published elsewhere that are relevant to the LIQCS community. - Submissions should be in PDF format, 2-5 pages in length (excluding bibliography). - Appendices or links to longer documents are welcome, but the reviewers are not obliged to read them. - All submissions will be reviewed by the Program Committee for quality and relevance. - Accepted contributions must be presented as talks during the workshop. - Although there are no formal proceedings, we will publish the extended abstracts on the website. LIQCS 2026 CHAIRS ----------------- - Alejandro Diaz-Caro - Romain Pechoux - Benoit Valiron - Vladimir Zamdzhiev 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

TYPES 2026: Call for Participation
by Christian Sattler 11 Feb '26

11 Feb '26

32nd International Conference on Types for Proofs and Programs, 4-8 May 2026, Gothenburg, Sweden, > Registration ------------ Registration is open; for details, see: > * early registration closes 2 March (AoE), * late registration closes 16 April (AoE). In addition to the early registration discount, there is a student discount. Invited speakers ---------------- - Daniel Gratzer (Aarhus University, Denmark) - András Kovacs (University of Gothenburg, Sweden) - Assia Mahboubi (INRIA, France, and Vrije Universiteit Amsterdam, Netherlands) - Clément Pit-Claudel (EPFL, Switzerland) - Emily Riehl (Johns Hopkins University, US) Contributed Talks ----------------- Accepted contributed talks will be announced on February 20: > Background ---------- The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: - foundations of type theory and constructive mathematics; - applications of type theory; - dependently typed programming; - industrial uses of type theory technology; - meta-theoretic studies of type systems; - proof assistants and proof technology; - automation in computer-assisted reasoning; - formalizing mathematics using type theory; - links between type theory and * functional programming; * homotopy theory; * linguistics; * machine learning. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable. 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: symposium on differentiation in category theory and program semantics, Kyoto, April 6-8
by zgalal＠kurims.kyoto-u.ac.jp 10 Feb '26

10 Feb '26

Dear all, We would like to announce the symposium "Differentiation in category theory and program semantics", which will take place at the Research Institute for Mathematical Sciences in Kyoto University (RIMS) on April 6-8 2026. The purpose of this symposium is to bring together researchers working from different areas related to differentiation in category theory and computer science to encourage the exchange of ideas between various communities. The symposium's website is: https://sites.google.com/view/differential-kyoto-2026/home There are no registration fees but we ask participants to register using the form below by March 13th: https://forms.gle/cjkJiXiWDEPJeARm9 We have filled most of talk spots, however if you are interested in giving a talk, please contact one of the organizers as soon as possible. Best wishes, JS Lemay, Marie Kerjean and Zeinab Galal 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

FMCS 2026: June 15--19, 2026
by Darien DeWolf 10 Feb '26

10 Feb '26

This is a preliminary announcement of the 33rd Foundational Methods in Computer Science (FMCS) workshop. Foundational Methods in Computer Science 2026 (FMCS 2026) will be held at St. Francis Xavier University from June 15th to June 19th, 2026. Please save the date and spread the word. Foundational Methods in Computer Science is an annual workshop that brings together researchers in theoretical computer science and mathematics. Past workshops have been held at BIRS, Colgate University, Dalhousie University, Mount Allison University, University of Ottawa, University of British Columbia, University of Washington (Spokane), Reed College, and elsewhere. The workshop is informal and interdisciplinary. The relationship between computer science and mathematics stems directly from the work of Haskell Curry in the 1930s and W. A. Howard and Per Martin-Löf in the 1960s. In particular, the Curry-Howard correspondence establishes a direct relationship between computer programs and mathematical proofs. Mathematically, this relationship is best expressed using category theory, and can be done more succinctly as a direct correspondence between categories and programming languages. Category theorists, logicians and computer scientists have discussed their work and its implications to one another at FMCS workshops for more than 30 years. The conference is especially student-oriented and we will be offering multiple tutorials. There will also be many opportunities for students and postdocs to present their research. We have some funding for support of students to attend the conference. This conference is funded by the Natural Sciences and Engineering Research Council of Canada (NSERC), the Atlantic Association for Research in the Mathematical Sciences (AARMS), and St. Francis Xavier University. We will be announcing more details very shortly, including a website, how to apply for financial support, and information about campus accommodations and travel. 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

Announcement: Computational Category Theory at ICMS 2026
by Kevin Carlson 05 Feb '26

05 Feb '26

Dear colleagues, We invite your submission to the session Computational Category Theory [1] at the International Congress on Mathematical Software [2] this 20-23 July, 2026, at the University of Waterloo in Waterloo, Ontario, Canada. The session abstract is appended below. At this time we are requesting short abstracts for a 20-minute presentation. After acceptance, there will be an opportunity to submit an extended abstract for publication in the conference proceedings. There is no requirement to submit an extended abstract in order to speak. The deadline for short abstracts is March 1,2026. Submissions will be accepted at cct_icms2026(a)topos.institute<mailto:cct_icms2026@topos.institute>. You can send any further inquiries to the same address. If you have students, colleagues, or other contacts who you feel would be a good fit for the session, please feel free to forward this call to them. (We thus apologize if you receive this message repeatedly.) We look forward to seeing many of you in Waterloo! Sincerely, Mohamed Barakat (University of Siegen) Kris Brown and Kevin Carlson (Topos Institute) Session abstract: This workshop brings together researchers in computational category theory who contribute theoretically to the design of algorithms and practically to the development of advanced software systems. Unlike traditional category theory meetings (theoretical and applied), this workshop will primarily focus on algorithms and existing software ecosystems like (CatLab.jl, CAP project, CatColab, CQL, Lambeq, 1Lab, …). The scope will range from computational methods in classical mathematical disciplines, such as algebraic geometry and representation theory, to applications in functional programming and type theory, all the way to established topics in applied category theory, including categorical and higher categorical rewriting, databases, quantum computing, string-diagrammatic programming, topological data analysis, numerical optimization, and agent-based modeling. The program will mix brief research talks, software demonstrations, and a plenary overview. The goal is to share recent work, clarify connections between theory and tools, and encourage practical collaborations and follow-up projects. [1] https://homalg-project.github.io/cct-icms-2026/ [2] https://icms-conference.org/2026/index.html 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 - FICS Workshop 23 & 24 February 2026
by Ralph Matthes 04 Feb '26

04 Feb '26

(Apologies for multiple postings) === Call for Participation === 13th International Workshop on Fixed Points in Computer Science 23 & 24 February 2026, Paris, France (https://fics2026.github.io/) The 2026 edition of the FICS workshop series (Workshop on Fixed Points in Computer Science) will take place in Paris on February 23rd and February 24th (morning), as a satellite workshop of CSL 2026 (https://csl2026.github.io) == Invited Speakers == - Clemens Kupke (University of Strathclyde) - Pierre Clairambault (Aix-Marseille University, joint with CSL) == Registration == Registration is handled by CSL. Visit https://csl2026.github.io/registration to register. The Deadline for early Registration is February 9th. == About FICS 2026 == The goal of the workshop is to bring together people from different subfields such as algebra/coalgebra, verification, logic, around the thematic of fixed points. Fixed points play a fundamental role in several areas of computer science. They are used to justify (co)recursive definitions and associated reasoning techniques. The construction and properties of fixed points have been investigated in many different settings such as: design and implementation of programming languages, logics, verification, databases. The FICS 2026 program committee has selected 9 submissions as contributed talks for FICS 2026. Besides that, FICS 2026 will have a so-called soapbox session intended to present ongoing work and/or to make brief announcements. Depending on interest, slices of 5 to 10 minutes can be allocated after informal registration via email (see below). == Contact == - Florian Bruse, f.bruse(a)tum.de<mailto:f.bruse@tum.de> - Gianluca Curzi, gianluca.curzi(a)gu.se<mailto:gianluca.curzi@gu.se> 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