Saturday, July 10th
Saturday's program is also available with abstracts and side by side with other events.
09:00‑10:00 Session 1
Location: AT 2.12
| 09:00 | Ugo Dal Lago Implicit Complexity in a Concurrency Scenario |
10:30‑12:30 Session 2
Location: AT 2.12
| 10:30 | Guillaume Bonfante Course of value in programming languages |
| 11:00 | Stephen Cook and Lila Fontes Formal Theories for Linear Algebra |
| 11:30 | Marco Gaboardi and Brian Redmond Towards a Light Logic for PSPACE |
| 12:00 | Pierre Boudes, Damiano Mazza and Lorenzo Tortora de Falco A Categorical Construction for Linear Logic by Levels |
15:30‑17:30 Session 4
Location: AT 2.12
| 15:30 | Albert Atserias On Spectral Methods as Refutation Heuristic |
| 16:30 | Alexander Rabinovich Temporal logics over linear time domains are in PSPACE |
| 17:00 | Jiamou Liu Recursion-Theoretic Complexity of \omega-Automatic Trees |