11/11-2025 SQUARE Talk – “Certified SLAM – An Overview” by Ola Rønning
Ola will present an overview of certification for graph-based SLAM algorithms. SPEAKER: Ola Rønning, postdoc at ITU. TITLE: Certified SLAM — An Overview ABSTRACT: When cast as an optimization problem, SLAM[…]
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[…]
12/06/2025 – Talk: “Experiments with multithreaded performance on multicore shared-memory CPUs” By Peter Sestoft
Peter Sestoft will give a talk about his work on Experiments with multithreaded performance on multicore shared-memory CPUs. Details below. SPEAKER Peter Sestoft, Prof., ITU. TITLE Experiments with multithreaded performance on[…]
15/05/2025 – Talk: “Faster, More Correct, Higher Scores: The Effects of a Local LLM in an Introductory Programming Exam” by Helge Pfeiffer
Helge Pfeiffer will give a talk about his work on On the Effects of a Local LLM in an Introductory Programming Exam. Details below. SPEAKER Helge Pfeiffer, Prof., ITU. TITLE Faster,[…]