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

Ph.D. Student

Numerical Analysis

 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:

This workshop is also supported by INdAM-GNCS and by the Department of Mathematics of University of Padova.


Layout and Graphics © 2024 - Matteo Zavatteri