17/11/2026 SQAURE talk – “Statistical Model Checking for Underwater Robotics Use-cases”
SPEAKER: Victor Voronin, PhD student. ABSTRACT: Formal verification of complex robotics behaviors suffers from scalability problems and limited acceptance throughout the industry. This talk presents the ongoing work to bridge this[…]
10/11/2026 SQAURE talk – “EIVO: what foundation models can (and can’t) do for underwater visual odometry”
SPEAKER: Olaya Alvarez Tunon, Postdoc at ITU. ABSTRACT: This talk presents EIVO, a monocular visual odometry system for underwater ROV inspection, preceded by a brief introduction to factor graphs for SLAM[…]
03/11/2026 SQAURE talk – “Synthetic Data for Uncertainty-Aware Robot Testing”
SPEAKER: Eduardo Kochenborger Duarte, Postdoc at ITU. ABSTRACT: Testing robot manipulation systems under different real-world conditions can be challenging, as physical testing is often costly and time-consuming. This talk presents ongoing[…]
27/10/2026 SQAURE talk – “Probula: A Probabilistic Programming DSL Embedded in Scala”
SPEAKER: Andrzej Wąsowski, Professor at ITU. ABSTRACT: I will present the main design decisions and some examples of a simpleprobabilistic programming library, Probula, that I have developed toteach Advanced Programming. The[…]
20/10/2026 SQAURE talk – “Bridging the Semantic Web and Model-Based Systems Engineering with the Ontological Modeling Language”
SPEAKER: Eduard Kamburjan, Assistant Professor at ITU. ABSTRACT: The Ontological Modeling Language (OML) is an ontology description language that stems from applying the principles of ontological modeling in the systems engineering[…]
06/10/2026 SQAURE talk – “The Ellis Unit Summer School on Probabilistic Machine Learning: A week in review”
SPEAKER: Oleg Jarma, PhD at ITU. ABSTRACT: The Cambridge Ellis Unit Summer School on Probabilistic Machine Learning took place at the University of Cambridge from July 13 to 17, 2026. It[…]
29/09/2026 SQAURE talk – “Switch Precision Where It Pays: An Optimal Scheduling Approach for Efficient Control”
SPEAKER: Debasmita Lohar, Assistant Professor at ITU. ABSTRACT: Modern cyber-physical systems rely on feedback controllers that must execute efficiently on resource-constrained systems. Numerical precision creates a trade-off between control performance and[…]
22/09/2026 SQAURE talk – “Wave-Robust Passive AUV Localization Using FP-MUSIC”
SPEAKER: Usama Saqib, Postdoc at ITU. ABSTRACT: Localizing an autonomous underwater vehicle without pre-deployed seabed transponders, or direct access to onboard vehicle sensors remains a core challenge. We present a receiver-passive[…]
08/09/2026 SQUARE talk – “Incubation and Beyond: A Comparative Analysis of ASF Projects Sustainability Impacts on Software Quality” by Raul Pardo
SPEAKERS: Raul Pardo, Associate Professor at ITU ABSTRACT: Free and Open Source Software (FOSS) communities’ sustainability, meaning to remain operational without signs of weakening or interruptions to its development, is fundamental[…]
01/09/2026 SQUARE talk – “A Mikrokosmos of Mappings: An Empirical Study of YARRRML Evolution” by Sehar Shafique
SPEAKERS: Sehar Shafique, PhD Fellow at ITU ABSTRACT: “Knowledge graphs are increasingly constructed through declarative mapping languages, which allow users to define transformation rules from heterogeneous data sources into structured graph[…]