Edition 2019: Numerical and Symbolic Methods for Reachability Analysis of Hybrid Systems
A social dinner will be held in Trattoria Arco dei Gavi in the center of Verona ( see http://tiny.cc/d08k7y ).
The rendezvous is at 20:00 in front of the restaurant.
This is the fixed menu for the dinner:
Drinks: Prosecco [sparkling white dry wine] for our Starter, followed by still/sparkling water and Valpolicella [still red wine].
If you are vegetarian or if you have any intolerances, please contact us and we will arrange a proper alternative for your menu.