Program

---

Tentative program

9:00-10:00 Keynote 1 - Sara Alouf: title TBD

10:00-10:30 Break

10:30-12:00 Session 1 - Industrial applications

• Mattia Tibaldi, Marco Gribaudo: Multi-formalism Modeling for Fast Design Space Exploration in ADAS Applications

• Marco Gribaudo, Elia Maggioni, Federico Lamperti, Mauro Iacono: Performance evaluation of Rucio for medical data management in Italy

• Koen De Turck, Tijl Doms, Dieter Fiems: Occupancy and Charging in Large EV Stations: A Mean-Field Decomposition

12:00-13:00 Keynote 2 - Giuliano Casale: title TBD

13:00-14:00 Lunch

14:00-16:30 Session 2 - Queueing theory

• Matthijs Limpens, Jacques Resing: A two-class M/M/1 queueing model with service rate of type-1 customers depending on the presence of type-2 customers

• Antonis Economou, Odysseas Kanavetas, Athanasia Manou, Sotiris Tzinakis: Equilibrium joining strategies in a service system with information about the number of consecutive joining decisions

• Lukas Wildberger, Anja Hamscher, Jens Schmitt: Delay-Optimal FIFO Residual Service Curves Under General Arrival Curves

• Konstantin Avrachenkov, Uri Yechiali: *Equilibrium Queueing Strategies in Random Environment

• Shu Li, Ana Bušić, Jean-Michel Fourneau: Greedy failure and a stabilizing partial group discipline on a nested hypergraph