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)
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.
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
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
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).
Erika Abraham, RWTH Aachen, Germany, firstname.lastname@example.org
Einar Broch Johnsen, University of Oslo, Norway, email@example.com
Manuel Mazo Espinosa, TU Delft, Netherlands, firstname.lastname@example.org
Silvia Lizeth Tapia Tarifa, University of Oslo, Norway, email@example.com
Mahsa Varshosaz, IT University of Copenhagen, Denmark, firstname.lastname@example.org
Andrzej Wąsowski, IT University of Copenhagen, Denmark, email@example.com
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