Program

General Program - RoME 2024

Time/Day	Tuesday, Feb 20th	Wednesday, Feb 21st	Thursday, Feb 22nd	Friday, Feb 23rd
09:00		Claudio Menghi Keynote	Uncertainty in RME	Patrizio Pelliccione keyonte
10:00		Coffee break
10:30		Requirements in RME	Verification in RME	Discussion panel
11:00		Architecture in RME
11:30		Simulation in RME	Explainability in RME	Closing Ceremony
12:00		Lunch time
14:00	Registration	WS 1 - Turtlebots I	Marsha Chechik Keynote
15:30	Opening Ceremony	Coffee break
16:00	Sebastian Uchitel Keynote	WS 2 - Turtlebots II	WS 3 - SA-BSN
17:00	Welcome Reception
18:00	End of day 1	End of day 2	End of day 3

Detailed Program - RoME 2024

Tue 20 Feb

	14:00h	Registration desk - kits hand-in at IPOL/IREL Building
	15:00h	Opening Ceremony at IPOL/IREL Building
	15:30h	Intro + Keynote 1 at at IPOL/IREL Building
	17:00h	Welcome Reception at CIC/EST Building
	18:00h	End of Day 1

Wed 21 Feb

	09:00h	Keynote 2 at IPOL/IREL Building
	10:00h	Coffee-break at CIC/EST Building
	10:30h	Requirements in RME at IPOL/IREL Building Mission Specification and Decomposition for Multi-Robots Systems: Caio Peluti (UnB) e Marco Vieira (UnB) https://doi.org/10.1016/j.robot.2023.104386
	11:00h	Architecture in RME at IPOL/IREL Building An Architecture for Mission Coordination of Heterogeneous Robots: Gabriel Siqueira Rodrigues (UnB) https://doi.org/10.1016/j.jss.2022.111363
	11:30h	Simulation in RME at IPOL/IREL Building Dexpro: Distributed Experiments for Robotics - Vicente Romeiro de Moraes (UnB)
	11:50h	Introduction to Working Session I
	12:00h - 14:00h - Lunch time
	14:00h	Working Session I at CIC/EST Building
	15:30h	Coffee-break at CIC/EST Building
	16:00h	Working Session II at CIC/EST Building
	18:00h	End of Day 2

Thu 22 Feb

	09:00h	Uncertainty in RME at IPOL/IREL Building Formal Synthesis of Uncertainty Reduction Controllers - Marc Carwehl (Humboldt) Presentation slide - https://doi.org/10.48550/arXiv.2401.17187
	09:20h	Uncertainty in RME at IPOL/IREL Building Dealing with uncertainties in drone-based missions - Lucas Vieira Alves (UECE) Presentation slide - https://doi.org/10.1145/3510458.3513012
	09:40h	Uncertainty in RME at IPOL/IREL Building Body Sensor Network: A Self-Adaptive Artefact for the Healthcare Domain - Carlos E. Lotterman (UnB) and Ricardo D. Caldas (Chalmers) https://doi.org/10.1109/SEAMS51251.2021.00037
	10:00h	Coffee-break at CIC/EST Building
	10:30h	Verification in RME at IPOL/IREL Building Guidelines for Testing and Verification of ROS-based Robotics Systems in the Field - Ricardo D. Caldas (Chalmers) Presentation slide
	10:50h	Verification in RME at IPOL/IREL Building On-the-fly informed search of non-blocking directed controllers - Florencia Zanollo (UBA) https://doi.org/10.1016/j.automatica.2022.110731
	11:10h	Verification in RME at IPOL/IREL Building Exploiting modular game representation for GR(1) synthesis - Hernán Gagliardi (UBA) Presentation slide
	11:30h	Explainability in RME at IPOL/IREL Building Trace-Diagnostic for Signal Temporal Properties: an Evolutionary Approach - Gabriel Araújo (UnB) Presentation slide
	11:50h - 14:00h - Lunch time
	14:00h	Keynote 3 at IPOL/IREL Building
	15:00h	Introduction to Working Session III - at IPOL/IREL Building
	15:30h	Coffee-break at CIC/EST Building
	16:00h	Working Session III at CIC/EST Building
	18:00h	End of Day 3

Fri 23 Feb

	09:00h	Keynote 4 at IPOL/IREL Building
	10:00h	Coffee-break at CIC/EST Building
	10:30h	Discussion panel at IPOL/IREL Building
	11:30h	Break-out rooms at IPOL/IREL Building Room 1 - Scientific initiation for undergraduate students - Laryssa Ferreira Room 2 - Sharing experiences as a PhD student - Ricardo Caldas
	11:55h	Closing Ceremony at IPOL/IREL Building
	12:00h	End of RoME’24

Registration

Location: IPOL/IREL Building Auditorium

Keynotes

Location: IPOL/IREL Building Auditorium

Technical Session

Location: IPOL/IREL Building Auditorium

Working Sessions

Location: CIC/EST building

• CIC Meeting Room
• EST Meeting Room