ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

About
Program

The ETAPS conferences have invited four keynotes speakers and one tutorial speaker. Keynotes are held in the morning before any other talks.

Keynotes

	Title
	From quadcopters to helicopters: Formal verification to eliminate exploitable bugs Keynotes Kathleen Fisher File Attached
	On infinite duration games Keynotes Thomas Colcombet Link to publication File Attached
	Software Assurance in an Uncertain World Keynotes Marsha Chechik Link to publication File Attached
	Towards Efficient and Precise Concurrent Software Analysis Keynotes Cormac Flanagan File Attached

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

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

09:00 - 10:00	ChechikKeynotes at SUN I Chair(s): Joost-Pieter Katoen RWTH Aachen University

09:00 60m Talk		Software Assurance in an Uncertain World Keynotes Marsha Chechik University of Toronto Link to publication File Attached

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

09:00 - 10:00	ColcombetKeynotes at SUN I Chair(s): Mikolaj Bojanczyk University of Warsaw

09:00 60m Talk		On infinite duration games Keynotes Thomas Colcombet IRIF, University Paris Diderot and CNRS, France Link to publication File Attached

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

09:00 - 10:00	FisherKeynotes at SUN I Chair(s): Luís Caires NOVA-LINCS, FCT NOVA / Universidade Nova de Lisboa

09:00 60m Talk		From quadcopters to helicopters: Formal verification to eliminate exploitable bugs Keynotes Kathleen Fisher Tufts University File Attached

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

09:00 - 10:00	FlanaganKeynotes at SUN I Chair(s): Tomáš Vojnar Brno University of Technology

09:00 60m Talk		Towards Efficient and Precise Concurrent Software Analysis Keynotes Cormac Flanagan University of California, Santa Cruz File Attached

KeynotesETAPS 2019

Keynotes

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

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

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

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

Co-hosted Conferences

Workshops

KeynotesETAPS 2019

Keynotes

Program Display Configuration

Mon 8 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tue 9 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Wed 10 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Thu 11 AprDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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

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