[TYPES/announce] FICS 2026 - Call for Contributions

[Florian Bruse]

=== First Call for Contributions ===

13th International Workshop on Fixed Points in Computer Science 23 & 24 
February 2026, Paris, France (https://urldefense.com/v3/__https://fics2026.github.io/__;!!IBzWLUs!R_8AYo6qZM28GAOxXp65qYfjSfRj3TsmLIqz7UDCDmn8tcxvNvyGxoMkZ-vD_SdMWSqYYdyYsj-V_E_dHscbk66TAVB--Q$ )


The 2026 edition of the FICS workshop series (Workshop on Fixed Points 
in Computer Science) will take place in Paris on February 23rd-24th, as 
a satellite workshop of CSL 2026 (https://urldefense.com/v3/__https://csl2026.github.io__;!!IBzWLUs!R_8AYo6qZM28GAOxXp65qYfjSfRj3TsmLIqz7UDCDmn8tcxvNvyGxoMkZ-vD_SdMWSqYYdyYsj-V_E_dHscbk66kHopEmQ$ ).


== Important dates and practical details==

- Paper registration deadline (title and abstract):  December 21st, AoE
- Submission deadline for short and extended abstracts: January 4th, AoE
- Notification: January 20th
- Workshop: Monday February 23rd and Tuesday 24th, 2026

Submissions will be handled via Easychair. Please visit 
https://urldefense.com/v3/__https://easychair.org/conferences?conf=fics2026__;!!IBzWLUs!R_8AYo6qZM28GAOxXp65qYfjSfRj3TsmLIqz7UDCDmn8tcxvNvyGxoMkZ-vD_SdMWSqYYdyYsj-V_E_dHscbk65w6Hsr5g$  to submit your contribution.

At least an author of each submission will be expected to present the 
contribution in person at FICS 2026.


== About the FICS workshop series ==

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


== Types of submissions ==

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 program committee 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 EPTCS format (see https://urldefense.com/v3/__https://www.eptcs.org/__;!!IBzWLUs!R_8AYo6qZM28GAOxXp65qYfjSfRj3TsmLIqz7UDCDmn8tcxvNvyGxoMkZ-vD_SdMWSqYYdyYsj-V_E_dHscbk66_iIBYKw$ ). 
Papers diverging substantially from this standard my be rejected.
Submissions from the program committee are permitted and encouraged 
(excluding the PC chairs).

All submissions will be reviewed by members of the FICS 2026 program 
committee.

== Proceedings and Journal Publication ==

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.



== Program Committee ==

      Florian Bruse, PC co-chair

      Gianluca Curzi, PC co-chair

      Program committee: to be announced soon


== Contact ==

Florian Bruse, f.bruse at tum.de

Gianluca Curzi, gianluca.curzi at gu.se