FICS is scheduled to take place in room 3.03 of the Campus Condorcet Conference Center. See the CSL page for directions.
Session 1: Cyclic and Non-Wellfounded Proof Theory
08:50-09:00: Workshop Opening
09:00-09:30: Daniel Osorio-Valencia and Alexis Saurin. Towards Proof-relevant interpolation for circular proofs (submission)
09:30-10:00: Lide Grotenhuis and Daniël Otten. Unravelling cyclic proofs into proofs by well-founded induction (submission @ arXiv)
10:00-10:30: Rémy Cerda and Alexis Saurin. Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs (submission)
10:30-11:00: Coffee Break
Session 2: Computation
11:00-11:30: Luka Janjić and Michael D. Adams. Semantics for Datalog with Subsumption (submission)
11:30-12:00: Paul Blain Levy. Global flattening of nested inductive definitions (submission)
12:00-12:30: Lê Thành Dũng Nguyễn. On the power of additive branching in affine higher-order recursion schemes (submission)
12:30-14:00: Lunch
Session 3: Invited Talk and Soapbox Session
14:00-15:00: Clemens Kupke. Invited Talk Coalgebra Automata over Thin Structures
15:00-16:00: Soapbox Session: mail the organizers (f DOT bruse AT tum DOT de, gianluca DOT curzi AT gu DOT se) to get 5-10 minutes (depending in interest) to present work in progress, brief announcements, etc.
16:00-16:30: Coffee Break
Business Meeting & Welcome Reception
16:30-17:30: General Assembly of Workshop Participants (Business Meeting)
17:30-19:30: CSL Welcome Reception
Tuesday, February 24th
FICS is scheduled to take place in room 3.03 of the Campus Condorcet Conference Center. See the CSL page for directions.
Session 4: Invited Talk
09:00-10:00: Pierre Clairambault. invited talk (joint with CSL), title tba
10:00-10:30: Coffee Break
Session 5: Games and Complexity
10:30-11:00: Damian Niwinski, Paweł Parys and Michał Skrzypczak. A Dichotomy Theorem for Ordinal Ranks in MSO (submission)
11:00-11:30: Léonard Brice, Jean-Francois Raskin and Marie Van Den Bogaard. The Negotiation Function: Subgame-perfect Equilibria in Graph Games as Fixed Points (submission)
11:30-12:00: András Z. Salamon and Michael Wehar. A Different Proof of the Time Hierarchy Theorem (submission)