Call for Contribution for 14th International Workshop on Fixed Points in Computer Science (FICS) Dates: 25 - 26 January 2027, Brighton, UK Website: https://fics2027.codeberg.page/ The 14th International Workshop on Fixed Points in Computer Science will take place in Brighton, UK, as a satellite of the International Conference CSL 2027 (Computer Science Logic) on 25 - 26 January 2027. Important dates and practical details ======================================== * Paper registration: Monday, 23 November 2026 Friday, AoE * Paper submission: Monday, 30 November 2026, AoE * Notification: Monday, 21 December 2026 * Workshop: 25 - 26 January 2027 Submissions will be handled via Easychair (https://easychair.org/conferences?conf=fics2027). At least an author of each submission will be expected to present the contribution in person at FICS 2027. 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 ======================== 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 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 reviewers but will be read at their discretion. Papers should be submitted in EPCTS format (see https://info.eptcs.org/). Papers diverging substantially from this standard may be rejected. Submissions from the programme committee (except the chairs) are permitted and encouraged. All submissions will be reviewed by members of the FICS 2027 programme committee. Proceedings and Journal Publication ====================================== We aim to offer post-proceedings for the extended abstracts, and possibly broader depending on the number of submissions. Programme Committee ====================== * Luís Barbosa, Universidade do Minho * Henning Basold, Leiden University (Co-Chair) * Gianluca Curzi, University of Gothenburg * Abhishek De, Krea University * Tom de Jong, University of Nottingham * Oisín Flynn-Conolly, Leiden University * Chase Ford, Leiden University/ENS Lyon * Silvia Ghilezan, University of Novi Sad * Charles Grellois, University of Sheffield (Co-Chair) * Ohad Kammar, University of Edinburgh * Stepan Kuznetsov, Steklov Institute Moscow * Ralph Matthes, Université de Toulouse, CNRS * Leonardo Pacheco, Institute of Science Tokyo * Ana Sokolova, University of Salzburg Steering Committee ====================== * Bahareh Afshari (University of Gothenburg) * Denis Kuperberg (CNRS & ENS Lyon) * Ralph Matthes, chair (IRIT, CNRS & Université de Toulouse) * Damian Niwiński (University of Warsaw) * Luigi Santocanale (LIS, Université Aix-Marseille) * Alexis Saurin (IRIF, CNRS & Université Paris Cité & INRIA) * Tarmo Uustalu (Reykjavik University) Contact ====================== Henning Basold <h.basold@liacs.leidenuniv.nl> Charles Grellois <c.grellois@sheffield.ac.uk>