Seminars

The Digital Industry Center organizes Seminars for FBK's staff, knowledge exchange and fostering networking to enhance professional development and innovation. 

• 18-12-2024 | 11:00 | Cristian Mattarei (Apple) on "Hardware Formal Verification at Apple" 

• 09-12-2024 | 11:00 | Inigo Incer (Electrical and Computer Engineering at the University of Michigan) on “Towards Provably Safe and Secure Systems with Contract-Based Design" 

• 08-11-2024 | 09:30 | Alessandro Cimatti (Director of the Center for Digital Industry at FBK) on “A Formal Approach to Railways Interlocking Design"

• 10-10-2024 | 10:00 | Riki Nakamura (University of Tokyo)  on “Innovations in Space Systems: An Introduction to ISSL and My Research Focus"

• 18-07-2024 | 13:30 | Seminar day with Silvio Ghilardi (Università degli Studi di Milano), Stefan Merz (Inria & LORIA, Nancy, France) and Marco Montali (Free University of Bozen-Bolzano) at the Digital Industry Center 

• 15-07-2024 | 11:00 | Raman Kazhamiakin (DS Lab, Digital Society Center, FBK) on “The AI Platform for Public Administration" 

• 01-07-2024 | 11:00 | Kristin Yvonne Rozier (Heads the Laboratory for Temporal Logic in Aerospace Engineering at Iowa State University) on “Rockets, Route-Analyzers, Rotorcraft, and Robonaut2: Intelligent, On-board Runtime Reasoning"

• 03-06-2024 | 11:00 | Marco Gaido and Roldano Cattoni  (FBK-MT) on “Toward a collaborative and efficient usage of GPUs in DICLUB" 

• 30-05-2024 | 17:00 | Inigo Incer (Caltech - California Institute of Technology) on “Towards Provably Safe and Secure Systems with Contract-Based Design" - II part

• 17-05-2024 | 16:00 | Inigo Incer (Caltech - California Institute of Technology) on “Towards Provably Safe and Secure Systems with Contract-Based Design" - I part

• 21-03-2024 | 9:30 | Alessandro Abate (University of Oxford) on "Sound Control Synthesis with Logic and Data"

• 11-03-2024 | 11:00 | Andrea Micheli (FBK-PSO) on "STEP-RL: Specializing TEmporal Planning using Reinforcement Learning"

• 16-02-2024 | 11:00 | Matteo Cardellini (PoliTo-UniGe) on "Symbolic Pattern Planning"

• 12-02-2024 | 11:00 | Tiedo Tinga (Netherlands Defence Academy (NLDA) and University of Twente) on "Predictive Maintenance – practical issues and scientific challenges"

• 29-01-2024 | 11:00 | Mariano Ceccato (UNIVR) on "Reverse Engineering of a Power Distribution Network based on the Standard IEC- 61850" 

• 24-01-2024 | 14:00 | Michael Geurtsen (Eindhoven University of Technology) on "Optimal maintenance planning and scheduling in semiconductor back-end manufacturing"
  
  

2023

• 29-11-2023 | 10:30 | Roel Bouman (Radboud University in Nijmegen) on "Unsupervised anomaly detection algorithms on real-world data: how many do we need?"

• 23-11-2023 | 14:00 | Alexander Fay (Helmut-Schmidt-Universität, Hamburg) on "Combination of knowledge and data for improved diagnosis of aircraft components"

• 22-11-2023 | 14:00 | Oliver Niggemann (Helmut-Schmidt-Universität, Hamburg) on "New Trends in AI for Physical Systems"

2022

• 28-11-2022 | 15:00 | Franco Fummi (University of Verona) on "Meta-MES : A Factory Abstraction Architecture for I4.0"

• 17-11-2022 | 16:00 | Sheila McIlraith (University of Toronto) on "Building Taskable Reinforcement Learning Agents via Formal Languages and Automata"

• 03-11-2022 | 15:00 | Alessandro Daniele (FBK-DKM) and Eleonora Grilli (FBK-3DOM) on "Knowledge rules in support of point cloud semantic segmentation"

• 14-10-2022 | 15:30 | Mariëlle Stoelinga (Radboud University Nijmegen and the University of Twente) on "Maintenance Meets Model Checking: Predictive Maintenance via Fault Trees and Formal Methods"

• 04-10-2022 | 10:00 | Pierangela Bruno (University of Calabria, Italy) on "Combining Deep Learning and Knowledge Representation and Reasoning: Overview, Limitations and Solutions for Real-World Applications"

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 may be recorded and disclosed on the FBK institutional channels. In order not to be filmed or recorded, you can always disable the webcam and/or mute the microphone during virtual events or inform the FBK staff who organize the public event beforehand.