FICS 2024 - Fixed Points in Computer Science

Naples, 19th and 20th February 2024

The 12th International Workshop on Fixed Points in Computer Science will take place in Naples as a satellite of the International Conference CSL 2024 (Computer Science Logic) on the 19th and 20th of february 2024.

The call for contributions is online!

News

  • Submission deadline extended: register your contribution before sunday 3/12/23 at 23:59 AoE and upload your submission at the latest on Wednesday 6/12/23 at 23:59 AoE!**
  • Barbara König and Anupam Das have accepted to be FICS 2024 invited speakers!
  • Proceedings of extended abstracts will be published by EPTCS!
  • the PC is online!
  • The call for contributions is online.

General description

The goal 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 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 logic programming and theorem proving
  • fixed points in finite model theory, descriptive complexity theory, and databases
  • fixed points in category theory for logic in computer science

Invited speakers

  • Anupam DAS
  • Barbara KÖNIG

Program committee

  • Zena Ariola (University of Oregon, USA)
  • Abhishek De (University of Birmingham, UK)
  • Zeinab Galal (Università degli sutdi di Bologna, Italy)
  • Guilhem Jaber (Université de Nantes, France)
  • Ekaterina Komendantskaya (Heriot-Watt University, UK)
  • Denis Kuperberg (CNRS & ENS Lyon, France)
  • Martin Lange (University of Kassel, Germany)
  • Christine Paulin (Université Paris Saclay, France)
  • Daniela Petrisan (Université Paris Cité, France)
  • Alexis Saurin (CNRS & Université Paris Cité, France), PC Chair
  • Thomas Studer (University of Bern, Switzerland)
  • Tarmo Uustalu (Reykjavik University, Iceland)
  • Yde Venema (University of Amsterdam, Netherland)

Steering committee of the FICS workshop series

  • Bahareh Afshari (University of Gothenburg)
  • Denis Kuperberg (CNRS & ENS Lyon)
  • Ralph Matthes (IRIT, CNRS & Université de Toulouse)
  • Damian Niwinski (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)

FICS history