Recent news

REMARO Fall School at RWTH Aachen University

5th – 9th September, 2022


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.


  • 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


 Monday, September 59:00h – 12:30hSMT Solving
Planning with SMT
15:00h – 17:00hWhat you need to know about spin-offs
Transferring rehabilitation technology from research to real life
Tuesday, September 69:00h – 12:00hAutomated verification and synthesis of probabilistic models
14:00h – 17:00hSMT hands on experience
Wednesday, September 79:00h – 17:00hREMARO workshop
Thursday, September 89:00h-10:00hDid you invent something? – Computer implemented invention disclosure, patents and what to consider upfront
10:30h-15:30hUnderwater robotics
16:00h-19:00hSocial activity
Friday, September 909:00h-11:00hBias that affects your life

Download the General program here