====== 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