[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
=== Call for Participation ===
13th International Workshop on Fixed Points in Computer Science, 23 & 24
(morning) February 2026, Paris, France (https://urldefense.com/v3/__https://fics2026.github.io/__;!!IBzWLUs!TxjF7RFjjbhOW0aj_dbpV3NpVW22aifQYrR2dJ8Wq2xBYAznoSwsqfkbcPqpDYPMjgcFdGC1FT1Khv4yBwvN6K8hOxdwuw$ ), a
satellite workshop of CSL 2026 (https://urldefense.com/v3/__https://csl2026.github.io__;!!IBzWLUs!TxjF7RFjjbhOW0aj_dbpV3NpVW22aifQYrR2dJ8Wq2xBYAznoSwsqfkbcPqpDYPMjgcFdGC1FT1Khv4yBwvN6K8nU2tnRw$ ).
== Invited Speakers ==
- Clemens Kupke (University of Strathclyde)
- Pierre Clairambault (Aix-Marseille University, joint with CSL)
== Registration ==
Registration is handled by CSL. Visit
https://urldefense.com/v3/__https://csl2026.github.io/registration__;!!IBzWLUs!TxjF7RFjjbhOW0aj_dbpV3NpVW22aifQYrR2dJ8Wq2xBYAznoSwsqfkbcPqpDYPMjgcFdGC1FT1Khv4yBwvN6K9Eg5YGmQ$ 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, [email protected]
- Gianluca Curzi, [email protected]
