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

    FBK's Stefano Tonetta takes part as keynote speaker in the interdisciplinary "International Workshop on Digital Twins: Mathematical Analysis, Formal Methods and Scientific Machine Learning"
    19/02/2025 — 21/02/2025

    Padova, Scuola della Carità

    via san Francesco 61, 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.

    Program: to be updated

    Related Media
    Privacy Notice
    Pursuant to art. 13 of EU Regulation No. 2016/679 – General Data Protection Regulation and as detailed in the Privacy Policy for FBK event’s participants, we inform you that the event will be recorded and disclosed on the FBK institutional channels. In order not to be filmed or recorded, you can disable the webcam and/or mute the microphone during virtual events or inform the FBK staff who organize the public event beforehand.