International Workshop on Digital Twins: Mathematical Analysis, Formal Methods and Scientific Machine Learning
February 19-21, 2025 - Padova, Italy
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.
There is no registration fee.
However, registration to the event is mandatory due to limited capacity.
Schedule
February 19, 2025
Workshop
February 20, 2025
Workshop
February 21, 2025
iNEST Day
Chairs
Assistant Professor
Mathematical Analysis
Department of Mathematics
University of Padova, Italy
Assistant Professor
Computer Science
Department of Mathematics
University of Padova, Italy
Scientific Committee
Associate Professor
Computer Science
Department of Mathematics
University of Padova, Italy
Associate Professor
Mathematical Analysis
Department of Mathematics
University of Padova, Italy
Ph.D. Student
Numerical Analysis
Department of Mathematics
University of Padova, Italy
Associate Professor
Hydraulic and Maritime Constructions, Hydrology
Department of Mathematics
University of Padova, Italy
Tenured Faculty Member
Numerical Analysis
Department of Mathematics
University of Padova, Italy
Associate Professor
Computer Science
Department of Mathematics
University of Padova, Italy
Tenured Assistant Professor
Computer Science
Department of Mathematics
University of Padova, Italy
Full Professor
Numerical Analysis
Department of Agronomy, Food, Natural Resources, Animals and Environment
University of Padova, Italy
Full Professor
Computer Science
Department of Mathematics
University of Padova, Italy
Associate Professor
Mathematical Analysis
Department of Mathematics
University of Padova, Italy
Invited Speakers
Professor at the Department of Computer Science. University of Oxford, U.K.
Leading Scientist at DESY and Professor of Mathematics at the University of Hamburg, Germany
Professor at the at the MOX laboratory, Department of Mathematics, Politecnico di Milano, Italy
Professor at the Faculty of Technology, Bielefeld University, Germany
Bloomberg Distinguished Professor at the Department of Applied Mathematics and Statistics
Johns Hopkins University, U.S.A.
Associate Professor at the Department of Mechanical Engineering, Eindhoven University of Technology (TU/e), the Netherlands
Professor at DAMTP and head of the Cambridge Image Analysis group (CIA). University of Cambridge, U.K.
Head of Formal Methods for Systems and Software Design Unit
Fondazione Bruno Kessler, Italy
Project funded under the National Recovery and Resilience Plan (NRRP), Mission 4 Component 2 Investment 1.5 -Call for tender No. 3277 of 30 dicembre 2021 of Italian Ministry of University and Research funded by the EuropeanUnion – NextGenerationEU; Project code: ECS00000043, Concession Decree No. 1058 of June 23, 2022, CUPC43C22000340006, Project title "iNEST: Interconnected Nord-Est Innovation Ecosystem".
This workshop is a joint activity of the following two iNEST Young Researchers projects:
The inverse problem for the p-laplacian for Water Distribution Systems, P.I. Mattia Fogagnolo
Neuro-Symbolic AI in Digital Twins, P.I. Matteo Zavatteri
This workshop is also supported by INdAM-GNCS and by the Department of Mathematics of University of Padova.
Layout and Graphics © 2024 - Matteo Zavatteri