====== FICS 2024 - Fixed Points in Computer Science ======
===== Informal proceedings ====

<wrap em>[[https://www.irif.fr/users/saurin/fics2024/index.html|Back to FICS'24 main webpage]]</wrap>


The list below contains links, depending on the type of submission, to a preliminary version of the extended abstract, which will be updated and revised before publication in EPTCS proceedings, or to the short abstract submitted (not to be included in the post-proceedings):

  * Matteo Acclavio, Gianluca Curzi and Giulio Guerrieri. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-acclavio-etal.pdf|Non-Uniform Polynomial Time and Non-Wellfounded Parsimonious Proofs]]//</wrap> (short abstract)
  * Bahareh Afshari, Giacomo Barlucchi and Graham E. Leigh. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-afshari-etal.pdf|The Limit of Recursion in State-based Systems]]//</wrap> (extended abstract)
  * Bahareh Afshari and Johannes Kloibhofer. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-afshari-kloibhofer.pdf|Cut Elimination for Cyclic Proofs: A Case Study in Temporal Logic]]//</wrap> (extended abstract)
  * Esaïe Bauer and Alexis Saurin. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-bauer-saurin.pdf|Cut-Elimination for the Circular Modal $\mu$-Calculus: the Benefits of Linearity]]//</wrap> (short abstract)
  * Florian Bruse, David Kronenberger and Martin Lange. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-bruse-etal.pdf|Characterizing the Exponential-Space Hierarchy Via Partial Fixpoints]]
//</wrap> (extended abstract)
  * Rémy Cerda. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-cerda.pdf|Nominal Algebraic-Coalgebraic Data Types, with Applications to Infinitary $\lambda$-Calculi]]//</wrap> (extended abstract)
  * Gregory Chichery and Luigi Santocanale. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-chichery-santocanale.pdf|Lifting Final Coalgebras and Initial Algebras, a Reconstruction]]//</wrap> (short abstract)		
  * Zeinab Galal and Jean-Simon Pacaud Lemay. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-galal-lemay.pdf|Combining Fixpoint and Differentiation Theory]]//</wrap> (short abstract)
  * Mohamed Hamza Bandukara and Nikos Tzevelekos. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-bandukara-tzevelekos.pdf|Nominal Logics for Fresh Register Automata]]//</wrap> (short abstract)
  * Daniel Hausmann. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-hausmann.pdf|Faster Game Solving by Fixpoint Acceleration]]//</wrap> (extended abstract)
  * Daniel Hausmann, Nir Piterman, Irmak Saglam and Anne-Kathrin Schmuck. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-hausmann-etal.pdf|Fixpoints for Fair Parity/$\bot$ Games]]//</wrap> (short abstract)	
  * Farzad Jafarrahmani and Noam Zeilberger. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-jafarrahmani-zeilberger.pdf|A Fibrational Characterization for Unicity of Solutions to Generalized Context-Free Systems]]//</wrap> (short abstract)	
  * Tadeusz Litak. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-litak.pdf|Ruitenburg's Theorem Mechanized and Contextualized]]//</wrap> (extended abstract)	
  * Ralph Matthes, Kobe Wullaert and Benedikt Ahrens. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-matthes-etal.pdf|Substitution for Non-Wellfounded Syntax with Binders through Monoidal Categories]]//</wrap> (short abstract)	
  * Leonardo Pacheco. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-pacheco.pdf|The $\mu$-calculus' Alternation Hierarchy is Strict over Non-Trivial Fusion Logics]]//</wrap> (extended abstract)
  * Paige Randall North and Maximilien Peroux. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-north-peroux.pdf|Coinductive Control of Inductive Data Types]]//</wrap> (short abstract)
  * Borja Sierra-Miranda. <wrap em>//[[https://www.irif.fr/_media/users/saurin/fics2024/pre-proceedings/fics-2024-sierra-miranda.pdf|Cyclic Proofs for iGL via Corecursion]]//</wrap> (extended abstract)