17/05/2024 – Talk: “On the Specification and Analysis of Normative Contracts” By Gerardo Schneider
Gerardo Schneider will give a talk about his work on the specification and analysis of normative contracts. Details below. SPEAKER Gerardo Schneider, Full Prof., University of Gothenburg. TITLE On the Specification[…]
13/12/2023 – Talk: “ExtendR: Seamless integration of R & Rust” By Mossa Merhi Reimert
Mossa Merhi Reimert will give a talk about his work on ExtendR: Seamless integration of R & Rust. Details below. SPEAKER Mossa Merhi Reimert, PhD Fellow. TITLE ExtendR: Seamless integration of[…]
01/12/2023 – Talk: “Automated Graph Generation for the Assurance of Software-intensive Cyber-Physical Systems” By Daniel Varro
Daniel Varro will give a talk about his work on Automated Graph Generation for the Assurance of Software-intensive Cyber-Physical Systems. Details below. SPEAKER Daniel Varro, Prof., MCGill. TITLE Automated Graph Generation[…]
24/02/2023 – Talk: “Robust Counterfactual Explanations For Deep Neural Networks” By Francesco Leofante
Francesco Leofante will give a talk about his work on Robust Counterfactual Explanations for Deep Neural Networks. Details below. SPEAKER Francesco Leofante, Research Fellow, Imperial College. TITLE Robust Counterfactual Explanations for[…]
27/01/2023 – Talk: “Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores” by Raúl Pardo
Raúl Pardo will give a talk about his work on Privacy with Good Taste: A Case Study in Quantifying Privacy Risks in Genetic Scores. Details below. SPEAKER Raúl Pardo, Prof., ITU.[…]
16/12/2022 – Talk: “Quantum Computing – A Gentle Introduction For Computer Scientists” By Christoph Seidl
Christoph Seidl will give a talk about Quantum Computing – A Gentle Introduction for Computer Scientists. Details below. SPEAKER Christoph Seidl, Prof., ITU. TITLE Quantum Computing – A Gentle Introduction for[…]
18/11/2022 – Talk: “Utilizing Software Architecture Recovery To Explore Large-Scale Software Systems In Virtual Reality” By Adrian Hoff
Adrian Hoff will give a talk about his work on Utilizing Software Architecture Recovery to Explore Large-Scale Software Systems in Virtual Reality. Details below. SPEAKER Adrian Hoff, PhD fellow, ITU. TITLE[…]
28/10/2022 – Talk: “Using Generative Models To Synthesize Iris Data” By Ingrid Jakobi Wolff Madsen & Kaare Børsting
Ingrid Jakobi Wolff Madsen & Kaare Børsting will give a talk about their work on Using generative models to synthesize iris data. Details below. SPEAKER Ingrid Jakobi Wolff Madsen, MSc., ITU,Kaare[…]
16/09/2022 – Talk: “A Specification Logic For Programs In The Probabilistic Guarded Command Language” By Raúl Pardo
Raúl Pardo will give a talk about his work on A Specification Logic for Programs in the Probabilistic Guarded Command Language. Details below. SPEAKER Raúl Pardo, Prof., ITU. TITLE A Specification[…]
26/08/2022 – Talk: “DSLs In Aerial Robotics?” By Ulrik Pagh Schultz
Ulrik Pagh Schultz will give a talk about his work on domain specific languages for robotics applications. Details below. SPEAKER Ulrik Pagh Schultz, Prof., SDU. TITLE DSLs in Aerial Robotics ABSTRACT[…]