ASV Day - End of the year 2023

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