REMARO Fall School at RWTH Aachen University 2022

5^th – 9^th September, 2022

Venue:

Computer Science Center – RWTH Aachen University
The Computer Science Center is located in an area between Ahornstraße, Halifaxstraße, and Mies-van-der-Rohe-Straße in Aachen.

Map information available here.

Lecturers:

• Erika Ábrahám, RWTH Aachen University
• Franceso Leofante, Imperial College London
• Lorenz Höppl, RWTH Innovation
• Heike Vallery, TU Delft
• Joost-Pieter Katoen, RWTH Aachen University
• Maria Hilvert, RWTH Innovation
• Luís Madureira, OceanScan MST

Program:

Day	Time	Session
Monday, September 5	9:00h – 12:30h	SMT Solving Planning with SMT
	15:00h – 17:00h	What you need to know about spin-offs Transferring rehabilitation technology from research to real life
Tuesday, September 6	9:00h – 12:00h	Automated verification and synthesis of probabilistic models
	14:00h – 17:00h	SMT hands on experience
Wednesday, September 7	9:00h – 17:00h	REMARO workshop
Thursday, September 8	9:00h-10:00h	Did you invent something? – Computer implemented invention disclosure, patents and what to consider upfront
	10:30h-15:30h	Underwater robotics
	16:00h-19:00h	Social activity
Friday, September 9	09:00h-11:00h	Bias that affects your life

Download the General program here