20/01/2026 SQUARE Talk – “Introduction to GTSAM: Factor Graph Optimization for Visual SLAM” by Olaya Álvarez-Tuñón
Olaya will give a practitioner’s introduction to GTSAM, a staple in vision-based SLAM. SPEAKER: Olaya Álvarez-Tuñón ABSTRACT: This talk provides an introduction to GTSAM (Georgia Tech Smoothing And Mapping), a library[…]
13/1/2026 SQuaRe Talk – “Cost of Soundness in Mixed-Precision Tuning” by Debasmita Lohar
In this year’s first Square Talk, Debasmita discusses how sound mixed-precision tuning can achieve performance comparable to dynamic analysis while preserving correctness guarantees. This is joint work with Anastasia Isychev (TU[…]
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[…]