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