Program of LCC

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
14:00‑15:00 Session 3
Location: AT 2.12
14:00 Stephen Cook
Bounded Reverse Mathematics
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