Room PT* - ASE 2023

Mon 11 - Fri 15 September 2023 Kirchberg, Luxembourg

VenueEuropean Convention Center Luxembourg (ECCL)

Room nameRoom PT*

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

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

08:30 - 10:00	RefineryTutorials at Room PT*

08:30 90m Talk		Refinery: Model Generation with Refinement Tutorials Oszkár Semeráth Budapest University of Technology and Economics, Kristóf Marussy Budapest University of Technology and Economics, Daniel Varro Linköping University / McGill University

13:30 - 15:00	Frama-C Tutorials at Room PT*

13:30 90m Tutorial		Collaborative Analysis and Verification of C Programs with Frama-C Tutorials Frederic Loulergue Université d'Orléans

15:30 - 17:00	Frama-C Tutorials at Room PT*

15:30 90m Tutorial		Collaborative Analysis and Verification of C Programs with Frama-C Tutorials Frederic Loulergue Université d'Orléans

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


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30
Room PT*							Tutorials Refinery																																																												Tutorials Frama-C																								Tutorials Frama-C

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


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45
Room PT*							ASE Tutorials Refinery: Model Generation with Refinement 08:30 - 10:00																																																												ASE Tutorials Collaborative Analysis and Verification of C Programs with Frama-C 13:30 - 15:00																								ASE Tutorials Collaborative Analysis and Verification of C Programs with Frama-C 15:30 - 17:00

Room information: Room PT*

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

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

Tutorials

Tutorials

Tutorials

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

Tracks

Room information: Room PT*

Program Display Configuration

Fri 15 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Fri 15 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Tutorials

Tutorials

Tutorials

Fri 15 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

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

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