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. TITLE: ProbTest: Unit Testing for Probabilistic Programs ABSTRACT: Testing probabilistic programs is[…]
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,[…]
01/05/2025 – Talk: “NeRF-To-Real Tester: Neural Radiance Fields as Test Image Generators for Vision of Autonomous Systems” By Laura Weihl
Laura Weihl will give a talk about NeRF-To-Real Tester: Neural Radiance Fields as Test Image Generators for Vision of Autonomous Systems. Details below. SPEAKER Laura Weihl, PhD fellow, ITU. TITLE NeRF-To-Real[…]
24/04/2025 – Talk: “Visual Localization in Underwater Robotics: Deep Learning and 3D Perception Challenges” By Olaya Alvarez Tunon
Olaya Alvarez Tunon will give a talk about her work on Visual Localization in Underwater Robotics: Deep Learning and 3D Perception Challenges. Details below. SPEAKER Olaya Alvarez Tunon, PhD, ITU. TITLE[…]