Sala VII -

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

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