VerifyThis 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
co-located with ETAPS 2019
VenueCharles University
Room nameSW2 (SYNT Camp)
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Reactive Synthesis Background & SYNTCOMPSYNT Camp at SW2 (SYNT Camp)
Chair(s): Guillermo A. Perez University of Antwerp, Leander Tentrup Saarland University
09:00
60m
Tutorial
Reactive Synthesis Background and the Synthesis Competition
SYNT Camp
Guillermo A. Perez University of Antwerp
10:00
30m
Tutorial
Hand-on Synthesis Experience with BoSy
SYNT Camp
Leander Tentrup Saarland University
Link to publication DOI Pre-print
11:00 - 12:00
Hands-on BoSy TutorialSYNT Camp at SW2 (SYNT Camp)
Chair(s): Guillermo A. Perez University of Antwerp, Leander Tentrup Saarland University
11:00
60m
Tutorial
Hand-on Synthesis Experience with BoSy (part 2)
SYNT Camp
Leander Tentrup Saarland University

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change