RV Summit – MC Meeting, March 22-23, 2018

Meeting Programme

Below is the programme of the meeting:

• Thursday March 22
  • morning: Reports from working group leaders and invited talk,
    • 9:00 – 9:15: Opening / Welcome (Martin Leucker)
    • 9:15 – 10:00: Report on the activities in Working Groups.
    • 10:00 – 10:45: Coffee Break.
    • 10:45 – 11:45: Invited talk: Volker Stolz – Hardware-assisted runtime verification in the COEMS H2020 project [slides/PDF].
  • lunch: 11:45 – 13:30
  • afternoon: Working sessions + MC meeting.
    • 13:30 – 15:30: Working sessions.
    • 15:30 – 16:00: Coffee Break.
    • 16:00 – 17:30: Working sessions.
    • 17:30 – 18:00: Break.
    • 18:00 – 19H30: MC Meeting (Minutes now available).
• Friday March 23:
  • morning: Invited talk + working session
    • 9:00 – 10:00: Invited talk: Doron Peled – First-order temporal logic runtime verification based on BDDs.
    • 10:00 – 10:30: Coffee Break.
    • 10:30 – 12:00: Working sessions.
  • afternoon: Working sessions.

During working sessions, participants are free to organise in working groups to collaboratively work on challenging subjects related to the actions.

Logistic Information

Information on the venue and how to reach it is available on the RV Summit webpage.

Registration

Registration to both events can be done by following this link.

Registration includes accommodation (from Wednesday 21 to Friday 22) in the Belambra resort hosting the meeting and meals (breakfasts, lunch, and dinner) from Wednesday dinner to Friday lunch.

Registration Secretariat

Sud Congrès Conseil
162 Cours du Maréchal Gallieni
33 400 Talence

Contact : Davina Martinez
registration-cost2018@sudcongresconseil.com