[DL] FICS 2026 - Call for Participation

[Florian Bruse]

=== Call for Participation ===

13th International Workshop on Fixed Points in Computer Science, 23 & 24 
(morning) February 2026, Paris, France (https://fics2026.github.io/), a 
satellite workshop of CSL 2026 (https://csl2026.github.io).

== Invited Speakers ==

- Clemens Kupke (University of Strathclyde)
- Pierre Clairambault (Aix-Marseille University, joint with CSL)


== Registration ==

Registration is handled by CSL. Visit 
https://csl2026.github.io/registration to register. The deadline for 
early registration is February 9th.


== About FICS 2026 ==

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.

The FICS 2026 program committee has selected 9 submissions as 
contributed talks for FICS 2026. Besides that, FICS 2026 will have a 
so-called soapbox session intended to present ongoing work and/or to 
make brief announcements. Depending on interest, slices of 5 to 10 
minutes can be allocated after informal registration via email (see below).


== Contact ==

- Florian Bruse, f.bruse at tum.de
- Gianluca Curzi, gianluca.curzi at gu.se