Call for Contributions
Workshop on Fixed Points in Computer Science 2024
19 & 20 February 2024 , Naples
This year, FICS workshop (Workshop on Fixed Points in Computer Science) will take place in Naples on the 19th and 20th of February, 2024, affiliated with CSL 2024 (https://csl2024.github.io/Home/).
About FICS workshop series
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.
Scope
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
Important dates and practical details
(NEW) Paper registration deadline (title and abstract) : Sunday 3 December (23:59 AoE);
(NEW) Submission deadline for short and extended abstracts: Wednesday 6 December (23:59 AoE);
Notification: 21st December 2023;
Workshop: 19th and 20th February 2024.
Registration will be handled by CSL 2024.
Online participation will be possible with reduced registration fees,
but an author at least of each abstract will have to register with on-site fees.
Types of submissions
This year, we welcome two categories of submissions, short abstracts as well as extended abstracts:
Here are details on each type of submission:
short abstracts are abstracts of 3 to 5 pages, references included, describing the topic of the proposed contributed talk. They may contain (i) new 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 reviewer but will be read at the discretion of the reviewers. A volume of proceedings containing the
extended abstracts will be publisehd soon after the workshop by
EPTCS: the authors of extended abstracts will be asked to submit a revised version few weeks after the event, allowing them to take into account the workshop discussions. Details will be released later.
Journal publication
Depending on the number and quality of submissions, we will plan a subsequent special issue of a journal, as often done for previous editions of the workshop.
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-Mohring (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), chair of the steering committee
Damian Niwinski (University of Warsaw)
Luigi Santocanale (LIS, Université Aix-Marseille)
Alexis Saurin (IRIF, CNRS, Université Paris Cité & INRIA Picube)
Tarmo Uustalu (Reykjavik University)
Igor Walukiewicz (LaBRI, Bordeaux)