Room HTC 3 - POPL 2016

Write a Blog >>

Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United States

VenueHilton St. Petersburg Bayfront

Room nameRoom HTC 3

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT-05:00) Guadalajara, Mexico City, Monterrey.

Use conference time zone: (GMT-05:00) Guadalajara, Mexico City, MonterreySelect 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 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

08:30 - 10:00	T5: Higher-Order Model CheckingTutorials at Room HTC 3

08:30 90m Talk		T5: Higher-Order Model Checking Tutorials Naoki Kobayashi University of Tokyo, C.-H. Luke Ong University of Oxford, UK

10:30 - 12:00	T4: Programs and Proofs in the Coq Proof AssistantTutorials at Room HTC 3

10:30 90m Talk		T4: Programs and Proofs in the Coq Proof Assistant Tutorials Robert Rand University of Pennsylvania, Arthur Azevedo de Amorim University of Pennsylvania Link to publication

14:00 - 15:30	T4: Programs and Proofs in the Coq Proof AssistantTutorials at Room HTC 3

14:00 90m Talk		T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material) Tutorials Robert Rand University of Pennsylvania, Arthur Azevedo de Amorim University of Pennsylvania Link to publication

16:00 - 17:30	T5: Higher-Order Model CheckingTutorials at Room HTC 3

16:00 90m Talk		T5: Higher-Order Model Checking Tutorials Naoki Kobayashi University of Tokyo, C.-H. Luke Ong University of Oxford, UK

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey 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						17:00						30
Room HTC 3							Tutorials T5: Higher-Order Model Checking																								Tutorials T4: Programs and Proofs in the Coq Proof Assistant																																										Tutorials T4: Programs and Proofs in the Coq Proof Assistant																								Tutorials T5: Higher-Order Model Checking

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey 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			17:00			15			30			45
Room HTC 3							POPL Tutorials T5: Higher-Order Model Checking 08:30 - 10:00																								POPL Tutorials T4: Programs and Proofs in the Coq Proof Assistant 10:30 - 12:00																																										POPL Tutorials T4: Programs and Proofs in the Coq Proof Assistant (Advanced Material) 14:00 - 15:30																								POPL Tutorials T5: Higher-Order Model Checking 16:00 - 17:30

Room information: Room HTC 3

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tutorials

Tutorials

Tutorials

Tutorials

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposiums

Room information: Room HTC 3

Program Display Configuration

Mon 18 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Tutorials

Tutorials

Tutorials

Tutorials

Mon 18 JanDisplayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change

Mon 18 Jan
Displayed time zone: Guadalajara, Mexico City, Monterrey change