30/06/2026 SQUARE talk – “Revising a Programming Language Concepts book for 2026” by Peter Sestoft
SPEAKER: Peter Sestoft, Prof. at ITU ABSTRACT: For the last half year I have worked on the third edition of the book Programming Language Concepts (previous editions 2012 and 2017 published[…]
22/06/2026 SQUARE talk – “Towards Uncertainty-aware Testing and Scenario Generation for Robot Manipulation” by Eduardo Kochenborger Duarte
SPEAKER: Eduardo Kochenborger Duarte PhD fellow at ITU ABSTRACT: Ongoing work on testing methods for robot manipulation systems, explored through a proof-of-concept setup with a robot arm and Danfoss parts. The[…]
16/06/2026 SQUARE talk – “Adding automated tests in the workflow for Bayesian probabilistic programming” by Maja Aaslyng Dall
SPEAKER: Maja Aaslyng Dall, PhD fellow at ITU ABSTRACT: Bayesian probabilistic programs are good at hiding errors and bugs, which in turn has led to examples of published papers, where the[…]
13/05/2026 SQUARE talk – “Acceptance Testing for Robots: From Acceptance Criteria to Executable Validation” by Prof. Nico Hochgeschwender, University of Bremen
SPEAKER: Prof. Nico Hochgeschwender, University of Bremen ABSTRACT: Defining acceptable robot behavior is challenging. A vague requirement like “the robot shall pick and place the object safely and reliably” is not[…]
28/04/2026 SQUARE talk – “Mission Management System for Mars Analog Mission” by Stefan Moser
SPEAKER: Stefan Moser, PhD fellow at ITU. ABSTRACT: The prospect of human missions to Mars introduces significant challenges, as harsh environmental conditions and limited resources demand more advanced and efficient human-robot[…]
21/04/2026 SQUARE talk – “From ‘Gaining altitude’ to ‘Descending to depths’: When UAVs lead to AUVs” by Harshith Kumar
SPEAKER: Harshith Kumar, PhD fellow at ITU. ABSTRACT: UAVs (Unmanned Aerial Vehicles) and AUVs (Automated Underwater Vehicles) are types of robots that tackle key physical forces of nature in order to[…]
14/04/2026 SQUARE talk – “Perceiving the World Through Sound: A Framework for Spatial Map Generation Using Acoustic Echoes” by Usama Saqib
SPEAKER: Usama Saqib, PostDoc fellow at ITU. ABSTRACT: Robot audition is a subdomain of robotics that combines robotic platforms with advanced audio signal processing techniques. This field enables a robot to[…]