Calculus of Variations and Geometric Measure Theory

International Workshop on Digital Twins: Mathematical Analysis, Formal Methods and Scientific Machine Learning

created by fogagnolo on 23 Oct 2024
modified on 24 Oct 2024

19 feb 2025 - 21 feb 2025   [open in google calendar]

Università di Padova

Digital twins constitute a virtual, precise representation of some physical system. As such, they are an ultimate goal of the most advanced mathematical models. The aim of this workshop is to bring together leading experts in some of the intertwined fields connected to similar applications, focusing in particular on the mathematical and on the computer science aspects of Machine Learning and cyber-physical systems. On the mathematical side, emphasis will be given to the analysis of differential equations and algorithms arising in specific models or in more general theories. On the computer science side, attention will be devoted to formal methods and artificial intelligence for advanced modeling, analysis, verification, synthesis, and control of cyber-physical systems.

Attending is free but registration is mandatory.

There is the possibility to present a poster together with a short a talk.

Organizers: Mattia Fogagnolo, Matteo Zavatteri.

Speakers: Alessandro Abate, Martin Burger, Luca Dedè, Barbara Hammer, Mauro Maggioni, Michel Reniers, Carola-Bibiane Schönlieb, Stefano Tonetta.