| Friday February 17, 2023 | ||
|---|---|---|
| 9:00 | Welcome | |
| 9:10 | Session 1. | |
| 9:10 | Dana Scott |
Seventy Years Using Fixed Points (invited talk)
Video available |
| 10:00 | Damian Niwinski, Paweł Parys and Michał Skrzypczak | Computing Measure of MSO-Definable Sets of Infinite Trees (contributed talk) |
| 10:30 | Coffee break | |
| 11:00 | Session 2. | |
| 11:00 | Guillermo Menéndez Turata | On conjunctive formulas and uniform interpolants in mu-calculus (contributed talk) |
| 11:30 | Gianluca Curzi and Anupam Das | On the computational expressivity of (circular) proofs with fixed points (contributed talk) |
| 12:00 | Lide Grotenhuis | Ill-founded proofs for intuitionistic temporal logic (contributed talk) |
| 12:30 | Lunch | |
| 14:00 | Session 3. | |
| 14:00 | Graham Leigh | Demystifying µ (invited talk) |
| 14:50 | Luigi Santocanale | Constructiveness and Rasiowa-Sikorski for the modal $\mu$-calculus (contributed talk) |
| 15:10 | Jonathan Sterling, Daniel Gratzer and Lars Birkedal | Denotational semantics of general store and polymorphism (contributed talk) |
| 15:30 | Coffee break | |
| 16:00 | Session 4. | |
| 16:00 | Jade Master, Ezra Schoen and Clemens Kupke | Beyond Initial Algebras and Final Coalgebras (contributed talk) |
| 16:30 | Zeinab Galal | Bidimensional fixpoint operators (contributed talk) |
| 17:00 | Reijo Jaakkola | First-order logic with game-theoretic recursion (contributed talk) |
| 17:30 | Matteo Manighetti and Dale Miller | Peano Arithmetic and muMALL (an abstract) (contributed talk) |