Fixed Points in Computer Science 2026

News / Description / Important Dates / Venue & Registration / Call for Submissions / Committees / Proceedings / Previous Editions

The 12th International Workshop on Fixed Points in Computer Science will take place in Paris as a satellite of the International Conference CSL 2026 (Computer Science Logic) on the 23rd and the morning of the 24th of February 2024 in Paris, France.

News

• (Jan. 9th) Added information on venue and registration
• (Jan. 4th) Deadlines extended!
• (Dec. 14th) Added Program Committee
• (Nov. 27th) Call for Submissions online
• (Nov. 23rd) Website online

Description

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.
Topics include, but are not restricted to:

• fixed points in algebra and coalgebra
• fixed points in formal languages and automata
• fixed points in game theory
• fixed points in programming language semantics
• fixed points in proofs
• fixed points in the mu-calculus and modal logics
• fixed points in process algebras and process calculi
• fixed points in functional programming and type theory
• fixed points in relation to dataflow and circuits
• fixed points in automated theorem proving, interactive theorem proving and logic programming
• fixed points in finite model theory, descriptive complexity theory, and databases
• fixed points in category theory for logic in computer science

FICS 2026 is organized by Gianluca Curzi (University of Gothenburg) and Florian Bruse (TU Munich)

Important Dates

• Paper registration: Sunday, December 21st January 9th 2025, AoE (extended)
• Paper submission: Sunday, January 4th 11th, 2026 (AoE) (extended)
• Notification: Tuesday, January 20th 27th, 2026
• Workshop: February 23rd, 24th, 2026

Venue & Registration

FICS 2026 takes place at the Campus Condorcet Conference Center. See the corresponding page on the CSL website. Registration will be handled by CSL (see this page). The registration fee is 150 €. Note that registration for FICS only does not require EACSL membership.

Call for Submissions

Submissions will be handled via Easychair. Please visit https://easychair.org/conferences?conf=fics2026 to submit your contribution. At least an author of each submission will be expected to present the contribution in person at FICS 2026.
This year, we welcome two categories of submissions, short abstracts as well as extended abstracts:

• Short abstracts are abstracts of 3 to 5 pages, references included, describing the topic of the proposed contributed talk. They may contain (i) newly completed results, (ii) work in progress or (iii) already (recently) published or submitted works. The submission can refer to a published paper or a preprint but the description given in the short abstract should be sufficiently detailed for the PC to judge the relevance of the proposed talk to the workshop program.
• Extended abstracts are papers of 6 to 10 pages, references excluded, describing original results which have not been published nor are currently submitted elsewhere. The results must be presented in sufficient details to constitute a scientific publication. An appendix can provide additional details for the reviewers but will be read at their discretion.

Papers should be submitted in EPCTS format (see https://info.eptcs.org/). Papers diverging substantially from this standard my be rejected. Submissions from the program committee (except the chairs) are permitted and encouraged.

Program Committee

• Henning Basold (Leiden University)
• Bartosz Bednarczyk (TU Wien & University of Wrocław)
• Florian Bruse (TU Munich, co-chair)
• Michaël Cadilhac (DePaul University)
• Gianluca Curzi (University of Gothenburg, co-chair)
• Anupam Das (University of Birmingham)
• Zeinab Galal (Kyoto University)
• Sarah Kleest-Meistner (Hasselt University)
• Denis Kuperberg (CNRS & ENS Lyon)
• Damian Niwiński (University of Warsaw)
• Reuben Rowe (Royal Holloway University of London)
• Luigi Santocanale (LIS, Université Aix-Marseille)
• Alexis Saurin (IRIF, CNRS & Université Paris Cité & INRIA)
• Tarmo Uustalu (Reykjavik University)
• Igor Walukiewicz (LaBri, Bordeaux)

Steering Committee

• Bahareh Afshari (University of Gothenburg)
• Denis Kuperberg (CNRS & ENS Lyon)
• Ralph Matthes, chair (IRIT, CNRS & Université de Toulouse)
• Damian Niwiński (University of Warsaw)
• Luigi Santocanale (LIS, Université Aix-Marseille)
• Alexis Saurin (IRIF, CNRS & Université Paris Cité & INRIA)
• Tarmo Uustalu (Reykjavik University)
• Igor Walukiewicz (LaBri, Bordeaux)

Proceedings

We hope to be able to offer post-proceedings for the extended abstracts in an EPTCS volume.
Depending on the number and quality of submissions, extended versions of selected contributions may be invited to a (planned) special issue of Fundamenta Informaticae.

Previous Editions

• FICS 2024 (Naples, Itay)
• FICS 2023 (Warsaw, Poland)
• FICS 2015 (Berlin, Germany)
• FICS 2013 (Torino, Italy)
• FICS 2012 (Tallin, Estonia)
• FICS 2010 (Brno, Chech Republic)
• FICS 2009 (Coimbra, Portugal)
• FICS 2003 (Warsaw, Poland)
• FICS 2002 (Copenhagen, Denmark)
• FICS 2001 (Florence, Italy)
• FICS 2000 (Paris, France)
• FICS 1998 (Brno, Chech Republic)