The 14th International Workshop on Fixed Points in Computer Science will take place in Brighton, UK, as a satellite of the International Conference CSL 2027 (Computer Science Logic) on 25 – 26 January 2027.
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
Program Committee
TBD
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)
Previous Editions
- FICS 2026 (Paris, France)
- FICS 2024 (Naples, Italy)
- 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)