SW2 (SYNT Camp) - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

VenueCharles University

Room nameSW2 (SYNT Camp)

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.

Use conference time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, ViennaSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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


Room	9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
SW2 (SYNT Camp)	SYNT Camp Reactive Synthesis Background & SYNTCOMP																								SYNT Camp Hands-on BoSy Tutorial																														SYNT Camp																														SYNT Camp

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


Room	9:00			15			30			45			10:00			15			30			45			11:00			15			30			45
SW2 (SYNT Camp)	SYNT Camp Reactive Synthesis Background and the Synthesis Competition 09:00 - 10:00												SYNT Camp Hand-on Synthesis Experience with BoSy 10:00 - 10:30												SYNT Camp Hand-on Synthesis Experience with BoSy (part 2) 11:00 - 12:00

Room information: SW2 (SYNT Camp)

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

SYNT Camp

SYNT Camp

SYNT Camp

SYNT Camp

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

ETAPS 2019

Co-hosted Conferences

Workshops

Room information: SW2 (SYNT Camp)

Program Display Configuration

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

SYNT Camp

SYNT Camp

SYNT Camp

SYNT Camp

Sun 7 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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