4/11/2025 SQUARE Talk – “Approximating Quantitative Information Flow with Gaussian-Mixtures” by Andrzej Wąsowski
Andrzej Wąsowski will present recent work on quantifying information leakage in probabilistic programs using Gaussian mixture semantics. This is joint work with Francesca Randone (TU Wien) and Raúl Pardo (ITU). SPEAKER:[…]
28/10/2025 – Talk: “ProbTest: Unit Testing for Probabilistic Programs” by Raúl Pardo
Raúl Pardo will present his SEFM 2025 paper on testing probabilistic programs, a joint work with Katrine Christensen and Mahsa Varshosaz. SPEAKER: Raúl Pardo, assoc. prof. at ITU. TITLE: ProbTest: Unit Testing[…]
12/08/2025 – Talk: “Software Engineering for Ontologies and Knowledge Graphs” by Eduard Kamburjan
Eduard Kamburjan will discuss the software quality perspective of ontology engineering and knowledge graph construction. SPEAKER: Eduard Kamburjan, Assist. Prof. at ITU. TITLE: Software Engineering for Ontologies and Knowledge Graphs ABSTRACT:[…]
28/06/2025 – Talk: “Statistical Assessment of Plans via Probabilistic Optimization of Reliability for Underwater Robots” by Mahya Mohammadi Kashani
Mahya Mohammadi Kashani will give a talk about her work on Statistical Assessment of Plans via Probabilistic Optimization of Reliability for Underwater Robots. SPEAKER: Mahya Mohammadi Kashani, PhD. fellow, ITU. TITLE:[…]
02/09/2025 – Talk: “Using AI to Enhance the Pharo Development Environment: A Conversational Approach to Code Generation” by Kasper Østerbye
Kasper Østerbye will give a talk about using AI and LLMs in the Pharo programming environment. SPEAKER: Kasper Østerbye, former associate professor at ITU. TITLE: Using AI to Enhance the Pharo[…]
16/09/2025 Talk: “Real-Time Bayesian Filtering for SLAM with Stein Mixtures” by Ola Rønning
Ola Rønning will gives a talk on a filtering approach to simultaneous localization and mapping. SPEAKER: Ola Rønning, PostDoc, ITU. TITLE: Real-Time Bayesian Filtering for SLAM with Stein Mixtures ABSTRACT: Robots[…]
07/10/2025 – Talk: “Investigations of reference counting and (scanning) garbage collection for run-time memory management” By Peter Sestoft
Peter Sestoft will give a talk on Rust’s runtime memory management. SPEAKER: Peter Sestoft, Prof., ITU. TITLE: Investigations of reference counting and (scanning) garbage collection for run-time memory management ABSTRACT: The[…]