Recent news

International Workshop on Reliability Engineering Methods for Autonomous Robots – REMARO 2024

at ETAPS 2024 (https://etaps.org/), 6-11 April, 2023 (one day). Luxembourg City, Luxembourg 

The goal of this workshop is to discuss challenges in the development of autonomous systems in open environments (robotics systems), for example in underwater or service robots.  Autonomy is understood broadly and refers to: 

  • Mission Planning and decision-making
  • Navigation, path planning, control 
  • Adaptive control, deep control 
  • Learning, Active Learning, Reinforcement Learning 
  • Perception (object recognition, object tracking, pose estimation, localization, mapping) 
  • Etc. 

The focus of the workshop is to discuss methods that support quality assurance for the above kind of systems, including verification, specification, testing, test data generation, etc. 

The REMARO event aims at bringing domain aspects of software development for autonomous robots acting in open environments to the ETAPS community as the domain of interest.

Important Dates 

Submission Deadline: January 23 February 15
Notification for Authors: February 29
Camera ready: March 14

Submissions and Proceedings 

The papers will be peer reviewed. We will publish the proceedings on arxiv.org as a volume of proceedings.  

The speakers can decide whether their paper is to be included in the proceedings. Three options are available: (1) a full paper for the workshop proceedings, at most 6 pages excluding references, (2) a 1-page length abstract (excluding references) to be included in the proceedings, or (3) a talk proposal not to be included in the proceedings. 

Full paper submissions and abstracts should be formatted following the CEURART LaTeX template linked here.

The talk proposals (option number 3) can be sent in any format and size.  The talk proposals will be assessed for fitness for the workshop, and no written review will be provided for them.

Please, use to following link for submissions: https://easychair.org/conferences/?conf=remaro2024

Program: TBA 

Program Committee

Ana Cavalcanti, University of York, United Kingdom 
Yasser Shoukry, University of California, Irvine, United States 
Martin Leucker, University of Luebeck, Germany 
Marie Farrell, The University of Manchester, United Kingdom 
Bilal Wehbe, DFKI – Robotic Innovation Center, Germany 
Mohammad Reza Mousavi, King’s College London, United Kingdom 
Leonardo Mariani, University of Milano Bicocca, Italy 
Panagiotis Katsaros, Aristotle University of Thessaloniki, Greece 
Andrzej Wąsowski, IT University of Copenhagen, Denmark 
Einar Broch Johnsen, University of Oslo, Norway 

Program Committee Chairs

Mahsa Varshosaz, IT University of Copenhagen, Denmark 
Jeremy Coffelt, University of Bremen and ROSEN Research and Technology, Germany 

Invited Speakers 

Ina Schaefer is Professor of Software Engineering at the Karlsruhe Institute of Technology, Germany. From 2012 to 2022 she was Professor of Software Engineering and Automotive Informatics at the TU Braunschweig, Germany. For her PhD from TU Kaiserslautern in 2008, she worked on the model-based verification of adaptive automotive systems. Today, her research focus is the integration of formal methods into software development through correctness-by-construction engineering, as well as the quality assurance and analysis of variant-rich evolving software systems, especially in the automotive domain. Ina Schaefer is co-chair of the Expert Group “Transformation of the Automotive Industry” at the German Federal Ministry for Economics and Climate Action (BMWK) as well as Head of the Mobility Laboratory of the KASTEL Security Research Labs at KIT.

Mohammad Mousavi is a professor of Software Engineering at King’s College London. Mohammad obtained his PhD from Eindhoven University of Technology, The Netherlands. Prior to joining King’s in 2021, he held positions at Reykjavik University, Eindhoven University of Technology, Delft University of Technology, Halmstad University, Chalmers University of Technology, and the University of Leicester. His research interests include  Software Testing,  Autonomous and Cyber-Physical Systems, Quantum Software Engineering and  Software Product Lines.

Nico Hochgeschwender is Full Professor for Software Engineering for
Cognitive Robots and Systems at University of Bremen. His research interests lie at the intersection of AI-enabled Robotics and Software
Engineering with a focus on assuring dependability, transparency and explainability of robotics and autonomous systems, benchmarking and performance evaluation, and domain-specific modelling and languages for robotics. He holds a PhD degree from the University of Luxembourg, he is Co-Chair of the IEEE RAS Technical Committee on Software Engineering for Robotics and Automation, and he is currently PI of three EU-funded research projects, namely SESAME (Safe and Secure Multi-Robot Systems), METRICS (Metrological evaluation and testing of robots in international competitions), and SOPRANO (Socially-Acceptable and Trustworthy Human-Robot Teaming for Agile Industries).

Organizers 

Erika Abraham, RWTH Aachen, Germany, abraham@informatik.rwth-aachen.de 
Einar Broch Johnsen, University of Oslo, Norway, einarj@ifi.uio.no 
Manuel Mazo Espinosa, TU Delft, Netherlands, m.mazo@tudelft.nl  
Silvia Lizeth Tapia Tarifa, University of Oslo, Norway, sltarifa@ifi.uio.no  
Mahsa Varshosaz, IT University of Copenhagen, Denmark, mahv@itu.dk 
Andrzej Wąsowski, IT University of Copenhagen, Denmark, wasowski@itu.dk

Sponsorship

This workshop is sponsored by the REMARO project, which has received funding from the European Union’s EU Framework Programme for Research and Innovation Horizon 2020 under Grant Agreement No 956200