Sala VII - POPL 2019

Blogs (1) >>

Sun 13 - Sat 19 January 2019 Cascais, Portugal

VenueHotel Cascais Miragem

Room nameSala VII

Floor0

Room InformationNo extra information available

Program

Time Zone

The program is currently displayed in (GMT) Belfast.

Use conference time zone: (GMT) BelfastSelect 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

Sat 19 Jan
Displayed time zone: Belfast change

09:00 - 10:30	KeynoteOff the Beaten Track at Sala VII Chair(s): Luke Church

09:30 60m Talk		De-escalating Software (Keynote) Off the Beaten Track Stephen Kell University of Kent

11:00 - 12:30	Morning PapersOff the Beaten Track at Sala VII Chair(s): Michael Greenberg Pomona College

11:00 45m Talk		Facile : A Domain Specific Language and Compiler for Program Analysis and Optimization Off the Beaten Track Madhur Amilkanthwar File Attached
11:45 45m Talk		From Tactics to Structure Editors for Proofs Off the Beaten Track Xuanrui Qi Tufts University Pre-print

14:00 - 15:30	Afternoon TalksOff the Beaten Track at Sala VII Chair(s): Luke Church

14:00 45m Other		Design Critique and Discussion Off the Beaten Track Luke Church
14:45 45m Talk		F a Language for Music Composition Off the Beaten Track Joachim Kristensen DIKU, University of Copenhagen, Ken Friis Larsen DIKU, University of Copenhagen File Attached

16:00 - 17:30	Informal + Business MeetingOff the Beaten Track at Sala VII

16:00 90m Meeting		Informal + Business Meeting Off the Beaten Track

Sat 19 Jan
Displayed time zone: Belfast 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
Sala VII	Off the Beaten Track Keynote																								Off the Beaten Track Morning Papers																																				Off the Beaten Track Afternoon Talks																								Off the Beaten Track Informal + Business Meeting

Sat 19 Jan
Displayed time zone: Belfast change


Room	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
Sala VII							Off the Beaten Track De-escalating Software (Keynote) 09:30 - 10:30																		Off the Beaten Track Facile : A Domain Specific Language and Compiler for Program Analysis a ... 11:00 - 11:45									Off the Beaten Track From Tactics to Structure Editors for Proofs 11:45 - 12:30																											Off the Beaten Track Design Critique and Discussion 14:00 - 14:45									Off the Beaten Track F a Language for Music Composition 14:45 - 15:30															Off the Beaten Track Informal + Business Meeting 16:00 - 17:30

Room information: Sala VII

Sat 19 Jan
Displayed time zone: Belfast change

Sat 19 Jan
Displayed time zone: Belfast change

Off the Beaten Track

Off the Beaten Track

Off the Beaten Track

Off the Beaten Track

Sat 19 Jan
Displayed time zone: Belfast change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

Room information: Sala VII

Program Display Configuration

Sat 19 JanDisplayed time zone: Belfast change

Sat 19 JanDisplayed time zone: Belfast change

Off the Beaten Track

Off the Beaten Track

Off the Beaten Track

Off the Beaten Track

Sat 19 JanDisplayed time zone: Belfast change

Sat 19 Jan
Displayed time zone: Belfast change

Sat 19 Jan
Displayed time zone: Belfast change

Sat 19 Jan
Displayed time zone: Belfast change