Workshop Program - February 20, 2025

Registration opens at 8:30

9:00 - 10:00

Keynote 1

Stefano Tonetta. A Formal Model for Space Exploration Digital Twins

Chair: Matteo Zavatteri

10:00 - 10:45

5 minute talks

1. Roberta Di Fonso, Remus Teodorescu, Carlo Cecati, Pallavi Bharadwaj. From battery signal analysis  to battery digital twin synthesis

2. Srajan Goyal, Alberto Griggio, Stefano Tonetta. Verification & Validation of AI-Based Autonomous Systems

3. Matteo Zavatteri, Davide Bresolin, Nicolò Navarin. Automated Synthesis of Certified Neural Networks

4. Federico Corò, Lorenzo Palazzetti. Pest Countermeasures Development Through Digital Twin Orchard Simulations

5. Randone Francesca, Doz Romina, Cairoli Francesca, Bortolussi Luca. Probabilistic Program for Collective Adaptive Systems

6. Nadizar Giorgia, Medvet Eric, Wilson G. Dennis. Interpretable Control Policies via Genetic Programming

7. Tagus Enes Atakli, Pasquale Fedele, Giovanna Maria Dimitri. Modelling a User-Centric Interactive AI Agent in Healthcare Applications: Towards Digital twin and Virtual counterparts

8. Stefano Campanella, Luca Bortolussi, Stefano Querin, Stefano Salon. Towards a data-driven ocean circulation model

9. Dmitrii Kirov, Arthur Clavière. Assurance of AI-Enabled Systems

Chair: Paolo Frazzetto

10:45 - 11:30

Coffee break and poster presentations related to the previous 5 minute talks

11:30 - 12:30

Keynote 2

Alessandro Abate. Learning and Verification of complex systems: model-based and data-driven methods

Chair: Matteo Zavatteri

12:30 - 14:00

Lunch break*

14:00 - 15:00

Keynote 3

Martin Burger. Robustness Issues in Machine Learning

Chair: Mattia Fogagnolo

15:00 - 15:45

5 minute talks

1. Filippo Dalla, Gregorio Berselli, Dragos Dimitru Ioan, Armando Bazzani. Towards an Urban Digital Twin: A use case for the  optimization of urban traffic

2. Salvatore Cuomo, Federico Gatta, Vincenzo Vocca. A Neural Network Approach for Liquidity Optimization in Automated Market Makers

3. Erik Chinellato, Fabio Marcuzzi. Deep Unfolding for Embedded Digital Twins

4. Laura Meneghetti, Edoardo Bianchi, Nicola Demo, Gianluigi Rozza. A Reduced Order Approach for ANNs applied to Image Recognition

5. Kabir Bakhshaei, Sajad Salavatidezfouli, Giovanni Stabile, Gianluigi Rozza. Boundary Velocity Profile Prediction for Patient-Specific Cardiovascular Flow Modeling via Stochastic Data Assimilation

6. Aldo Canfora, Armando Bazzani, Mirko Degli Esposti. Urban Building Energy Modelling

7. Lorenzo Bonin, Federica Adobbati, Stefano Campanella, Andrea De Lorenzo, Luca Manzoni. Super-resolution of Global Ocean Physics Reanalysis data with Diffusion Models

Chair: Fabio Marcuzzi

15:45 - 16:30

Coffee break and poster presentations related to the previous 5 minute talks

16:30 - 17:30

Keynote 4

Carola-Bibiane Schönlieb.  Mathematical imaging: from PDEs to deep learning for images

Chair: Mattia Fogagnolo

17:30

Mattia Fogagnolo, Matteo Zavatteri

Closing

* lunch is not included in the registration