(Apologies for multiple postings) === Call for Participation === 13th International Workshop on Fixed Points in Computer Science 23 & 24 February 2026, Paris, France (https://fics2026.github.io/) The 2026 edition of the FICS workshop series (Workshop on Fixed Points in Computer Science) will take place in Paris on February 23rd and February 24th (morning), as 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@tum.de<mailto:f.bruse@tum.de> - Gianluca Curzi, gianluca.curzi@gu.se<mailto:gianluca.curzi@gu.se> You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>