The Automata, Structures, and Verification (ASV) day is scheduled this year on Wednesday December 6th, room 3052.
9h45
Welcoming
10h00
Vincent Moreau Title: Finitary semantics and automata theory
10h15
Quentin Aristote Title: Automata weighted over commutative rings: notions of minimality and the case of Dedekind domains
10h30
Break
11h00
Enrique Román Calvo Title: On the Complexity of Testing Transactional Consistency
11h15
Klara Nosan Title: On the complexity of the parametric Hilbert’s Nullstellensatz
11h30
Jérémie Marquès Title: Categorical continuous logic
11h45
Emilie Clément Title: Higher Dimensional Timed Automata
12:00
Buffet lunch
14:00
George Kenison Title: From polynomial invariants to linear loops
14:30
Rida Ait El Manssour Title: Algebraic Geometry's Impact on Computational Complexity Analysis
14:45
Florian Renkin Title: How would the synthesis of reactive systems have led to good management of switches at the Halle aux Farines