Upcoming Events

Video recordings will be made available on our Youtube Channel.

Verifiability Talk 19: SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers
Thursday, 7 October 2021 at

Speaker: Jan Ringert (King’s College London)
Title: “SYNTECH: Synthesis Technologies for Reactive Systems Software Engineers”
Date: 07/10/2021 – Meeting Link
Time: 16:00-17:00 (British Summer Time, GMT+1)

Past Events

RSS Feed Events