2/12/2025 SQUARE Talk – ” How to Value Open Source Contributions? An Institutional Perspective from CERN” by Julie Skoven Hinge
In this year’s last SQUARE talk, Julie will examine the scale and broader impact of CERN’s contributions to open-source software. SPEAKER: Julie Skoven Hinge, M.Sc. student at ITU. TITLE: How to[…]
18/11/2025 SQUARE Talk – “MAC-VO: Metrics-aware Covariance for Learning-based Stereo Visual Odometry” by Olaya Alvarez Tunon
Olaya will discuss pose-graph estimation from visual odometry using metric-aware learning. SPEAKER: Olaya Alvarez Tunon, postdoc at ITU and AI & Robotics engineer at EIVA. TITLE: MAC-VO: Metrics-aware Covariance for Learning-based[…]
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[…]