9h00 - 9h15 | Guillaume Hanrot | Opening Speech |
9h15 - 10h00 | Bruno Salvy | Introduction à la Combinatoire Analytique slides |
Pause | ||
10h30 - 11h00 | Alain Darte | Liveness Analysis in Explicitly-Parallel Programs slides |
11h00 - 11h30 | Radu Carpa | On the Dynamic Approximate Multicommodity Flow Problem slides |
11h30 - 12h15 | Frédéric Prost | Category Theory 101 and Graph Generation via Cloning slides |
Lunch | ||
13h45 - 14h30 | Stéphan Thomassé | Nowhere Zero Flows, Subset Sum Problems, Permanent, and Graph Decompositions slides |
14h30 - 15h00 | Damien Pous | Graphes et Algèbres de Relations slides |
Pause | ||
15h30 - 16h00 | Pascal Koiran | Polygone de Newton de fg+1 slides |
16h00 - 16h30 | Vincent Lanore | Formal Models for Concurrent Reconfiguration of Component Assemblies slides |
16h30 - 17h00 | Filippo Bonchi | The Algebra of Systems of Difference Equations slides |