| Wednesday, June 22nd (room 0C2) |
| (Morning JAF) |
| 10:00 - 11:00 | Leszek Kolodziejczyk - Recursive
Saturation of the Real Closure as a Tennenbaum-like Property |
| 11:00 - 11:30 | Break |
| 11:30 - 12:30 | Konrad Zdanowski - The strength of Ramsey theorem for coloring omega-large sets |
| 12:30 - 13:00 | Daniel Leivant - The Comprehension Cube |
|
| (Afternoon CMF) |
| 15:00 - 16:00 | Achim Blumensath - The Monadic Second-Order Transduction Hierarchy |
| 16:00 - 16:30 | Break |
| 16:30 - 17:15 | Sam Buss - Limits on
Alternation-Trading Proofs for Time-Space Bounds on Satisfiability |
| 17:15 - 18:00 | Stefan Mengel - Characterizing Arithmetic Circuit Classes by Constraint Satisfaction Problems |
|
| Thursday, June 23rd (room 0C5) |
| 10:00 - 11:00 | Amir Yehudayoff - Rank bounds for design matrices with applications |
| 11:00 - 11:30 | Break |
| 11:30 - 12:15 | Irénée Briquel - 17e problème de Smale : une étude en précision finie |
| 12:15 - 13:00 | Christian Konrad - The Streaming Complexity of Validating XML Documents |
|
| 15:00 - 16:00 | Jakob Nordström - Understanding the Hardness of Proving Formulas in Propositional Logic |
| 16:00 - 16:30 | Break |
| 16:30 - 17:15 | Juha Kontinen - Complexity results for dependence logic |
| 17:15 - 18:00 | Johann Brault-Baron - Acyclic Conjunctive Queries |
| 20:00 - | Dinner at l'Ambassade d'Auvergne |
|
| Friday, June 24th (room 0C5) |
| 09:30 - 10:30 | Heribert Vollmer - Verifying proofs in constant depth |
| 10:30 - 11:00 | Break |
| 11:00 - 11:45 | Daniel Leivant - Turing in the sky: machines for the arithmetical and analytical hierarchies |
| 11:45 - 12:30 | Vonjy Rasendrahasina - Combinatoire énumérative et analytique pour Max-2-XorSat et Max-Cut |
|
| Special session enumeration (ANR ENUM) |
| 14:00 - 14:30 | Nadia Creignou - Enumerating All Solutions of a Boolean CSP by Non-Decreasing Weight |
| 14:30 - 15:00 | Antoine Ndione - Testing Regular Word Languages Revisited |