Write a Blog >>
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sun 18 Jun

ismm-2017-papers
08:30 - 08:45: ISMM 2017 - Opening at Aula Master
Chair(s): Christoph Kirsch
ismm-2017-papers149776740000008:30 - 08:45
Day opening
SOAP-2017-papers
08:30 - 08:45: SOAP - Opening at Vertex WS216
SOAP-2017-papers149776740000008:30 - 08:45
Day opening
pldi-2017-workshops-and-tutorials
08:30 - 10:30: PLDI Tutorials - P4: Programming the Network Data Plane at Vertex WS215
pldi-2017-workshops-and-tutorials149776740000008:30 - 10:30
Other
SOAP-2017-papers
08:45 - 09:30: SOAP - Invited Speaker - Sukyoung Ryu at Vertex WS216
SOAP-2017-papers149776830000008:45 - 09:30
Talk
File Attached
PLMW-PLDI-2017
09:00 - 10:30: PLMW - Session 1 at Sala d'Actes, Vertex Building
PLMW-PLDI-2017149776920000009:00 - 09:45
Talk
PLMW-PLDI-2017149777190000009:45 - 10:30
Talk
ecoop-2017-Doctoral-Symposium
09:00 - 10:30: ECOOP Doctoral Symposium - Session 1 at Vertex WS208
ecoop-2017-Doctoral-Symposium149776920000009:00 - 09:10
Talk
ecoop-2017-Doctoral-Symposium149776980000009:10 - 09:30
Talk
ecoop-2017-Doctoral-Symposium149777100000009:30 - 10:00
Talk
ecoop-2017-Doctoral-Symposium149777280000010:00 - 10:30
Talk
mapl-2017-papers
09:15 - 09:30: MAPL 2017 - Opening at Vertex WS219
mapl-2017-papers149777010000009:15 - 09:30
Day opening
mapl-2017-papers
09:30 - 10:30: MAPL 2017 - Keynote at Vertex WS219
mapl-2017-papers149777100000009:30 - 10:30
Talk
ismm-2017-catering
10:30 - 11:00: Catering - Coffee Break at ISMM-CoffeeBreaks
ismm-2017-catering149777460000010:30 - 11:00
Coffee break
ecoop-2017-catering
10:30 - 11:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149777460000010:30 - 11:00
Coffee break
SOAP-2017-papers
11:00 - 11:45: SOAP - Invited Speaker - Jingling Xue at Vertex WS216
SOAP-2017-papers149777640000011:00 - 11:45
Talk
pldi-2017-workshops-and-tutorials
11:00 - 12:30: PLDI Tutorials - P4: Programming the Network Data Plane (cont'd) at Vertex WS215
pldi-2017-workshops-and-tutorials149777640000011:00 - 12:30
Other
ecoop-2017-Doctoral-Symposium
11:00 - 12:30: ECOOP Doctoral Symposium - Session 2 at Vertex WS208
ecoop-2017-Doctoral-Symposium149777640000011:00 - 11:30
Talk
ecoop-2017-Doctoral-Symposium149777820000011:30 - 12:00
Talk
ecoop-2017-Doctoral-Symposium149778000000012:00 - 12:30
Talk
PLMW-PLDI-2017
11:00 - 12:30: PLMW - Session 2 at Sala d'Actes, Vertex Building
PLMW-PLDI-2017149777640000011:00 - 11:45
Talk
PLMW-PLDI-2017149777910000011:45 - 12:30
Talk
ismm-2017-papers
11:00 - 12:30: ISMM 2017 - Session 2: Clever Data Tricks at Aula Master
Chair(s): Michael Bond
ismm-2017-papers149777640000011:00 - 11:30
Talk
ismm-2017-papers149777820000011:30 - 12:00
Talk
ismm-2017-papers149778000000012:00 - 12:30
Talk
mapl-2017-papers
12:00 - 12:30: MAPL 2017 - Debugging, Analysis, and Verification at Vertex WS219
mapl-2017-papers149778000000012:00 - 12:30
Talk
ismm-2017-catering
12:30 - 14:00: Catering - Lunch at ISMM-CoffeeBreaks
ismm-2017-catering149778180000012:30 - 14:00
Lunch
ecoop-2017-catering
12:30 - 13:30: Catering - Lunch at ECOOP-CoffeeBreaks
ecoop-2017-catering149778180000012:30 - 13:30
Lunch
ecoop-2017-Doctoral-Symposium
13:30 - 15:00: ECOOP Doctoral Symposium - Session 3 at Vertex WS208
ecoop-2017-Doctoral-Symposium149778540000013:30 - 14:00
Talk
ecoop-2017-Doctoral-Symposium149778720000014:00 - 14:30
Talk
ecoop-2017-Doctoral-Symposium149778900000014:30 - 15:00
Talk
pldi-2017-workshops-and-tutorials
14:00 - 15:30: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework at Vertex WS215
pldi-2017-workshops-and-tutorials149778720000014:00 - 15:30
Other
mapl-2017-papers
14:00 - 15:30: MAPL 2017 - Debugging, Analysis, and Verification 2 at Vertex WS219
mapl-2017-papers149778720000014:00 - 14:30
Talk
mapl-2017-papers149778900000014:30 - 15:00
Talk
mapl-2017-papers149779080000015:00 - 15:30
Talk
SOAP-2017-papers
14:00 - 14:45: SOAP - Invited Speaker - Julian Dolby at Vertex WS216
SOAP-2017-papers149778720000014:00 - 14:45
Talk
Media Attached
array-2017
14:00 - 15:00: ARRAY 2017 - Invited talk at Vertex WS218
Chair(s): David Padua
array-2017149778720000014:00 - 15:00
Talk
Pre-print File Attached
PLMW-PLDI-2017
14:00 - 15:30: PLMW - Session 3 at Sala d'Actes, Vertex Building
PLMW-PLDI-2017149778720000014:00 - 14:45
Talk
PLMW-PLDI-2017149778990000014:45 - 15:30
Talk
ecoop-2017-catering
15:00 - 15:30: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149779080000015:00 - 15:30
Coffee break
ismm-2017-catering
15:30 - 16:00: Catering - Coffee Break at ISMM-CoffeeBreaks
ismm-2017-catering149779260000015:30 - 16:00
Coffee break
ecoop-2017-Doctoral-Symposium
15:30 - 17:50: ECOOP Doctoral Symposium - Session 4 at Vertex WS208
ecoop-2017-Doctoral-Symposium149779260000015:30 - 16:00
Talk
ecoop-2017-Doctoral-Symposium149779440000016:00 - 16:30
Talk
ecoop-2017-Doctoral-Symposium149779620000016:30 - 17:00
Talk
ecoop-2017-Doctoral-Symposium149779800000017:00 - 17:40
Talk
ecoop-2017-Doctoral-Symposium149780040000017:40 - 17:50
Talk
SOAP-2017-papers
16:00 - 16:20: SOAP - Benchmarking at Vertex WS216
SOAP-2017-papers149779440000016:00 - 16:20
Talk
DOI Pre-print File Attached
pldi-2017-workshops-and-tutorials
16:00 - 18:00: PLDI Tutorials - Bug detection in JavaScript web apps using the SAFE framework (cont'd) at Vertex WS215
pldi-2017-workshops-and-tutorials149779440000016:00 - 18:00
Other
PLMW-PLDI-2017
16:00 - 18:00: PLMW - Session 4 at Sala d'Actes, Vertex Building
PLMW-PLDI-2017149779440000016:00 - 16:45
Talk
PLMW-PLDI-2017149779710000016:45 - 17:45
Other
ismm-2017-papers
16:00 - 17:30: ISMM 2017 - Session 4: A Deeper Look at Aula Master
Chair(s): Steve Blackburn
ismm-2017-papers149779440000016:00 - 16:30
Talk
ismm-2017-papers149779620000016:30 - 17:00
Talk
ismm-2017-papers149779800000017:00 - 17:30
Talk
mapl-2017-papers
16:00 - 16:45: MAPL 2017 - Town Hall Discussion at Vertex WS219
mapl-2017-papers149779440000016:00 - 16:45
Other
SOAP-2017-papers
16:20 - 18:00: SOAP - Open Discussion at Vertex WS216
SOAP-2017-papers149779560000016:20 - 18:00
Meeting
ecoop-2017-Summer-School
16:30 - 18:00: ECOOP Summer School - S1 at Vertex WS217
ecoop-2017-Summer-School149779620000016:30 - 18:00
Talk
mapl-2017-papers
16:45 - 17:00: MAPL 2017 - Closing at Vertex WS219
mapl-2017-papers149779710000016:45 - 17:00
Day closing
array-2017
17:30 - 18:00: ARRAY 2017 - Closing / Discussion at Vertex WS218
Chair(s): Martin Elsman, David Padua, Andreas Kloeckner
array-2017149779980000017:30 - 18:00
Day closing

Mon 19 Jun

debs-2017-Registration
08:00 - 09:00: Registration - Registration at DEBS-Registration
debs-2017-Registration149785200000008:00 - 09:00
Registration
debs-2017-Workshop
09:00 - 10:30: DEBS Workshop - Events Meet Processes at Vertex WS219
debs-2017-Workshop149785560000009:00 - 10:30
ICOOOLPS-2017-papers
09:00 - 10:30: ICOOOLPS 2017 - Morning I at Vertex WS216
Chair(s): Mario Wolczko
ICOOOLPS-2017-papers149785560000009:00 - 09:10
Talk
ICOOOLPS-2017-papers149785620000009:10 - 10:30
Talk
pldi-2017-keynotes
pldi-2017-keynotes149785560000009:00 - 09:05
Day opening
pldi-2017-keynotes
09:05 - 10:00: PLDI Invited Speakers - Joint Keynote ­– Martin Odersky at Auditorium, Vertex Building
pldi-2017-keynotes149785590000009:05 - 10:00
Talk
Media Attached
curryon-2017-keynotes
09:05 - 10:00: Curry On Keynotes - Monday - 9:00 - 9:50 - Auditorium at Auditorium, Vertex Building
curryon-2017-keynotes149785590000009:05 - 10:00
Talk
pldi-2017-papers
10:00 - 10:30: PLDI Research Papers - 1' pitches of the day at Auditorium, Vertex Building
pldi-2017-papers149785920000010:00 - 10:30
Other
debs-2017-catering
10:30 - 11:00: Catering - Coffee at DEBS-CoffeeBreaks
debs-2017-catering149786100000010:30 - 11:00
Coffee break
pldi-2017-catering
10:30 - 10:50: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149786100000010:30 - 10:50
Coffee break
ecoop-2017-catering
10:30 - 11:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149786100000010:30 - 11:00
Coffee break
curryon-2017-papers
10:30 - 12:50: Curry On Talks - Monday - 10:30 - 12:50 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers149786100000010:30 - 11:10
Talk
curryon-2017-papers149786400000011:20 - 12:00
Talk
curryon-2017-papers149786700000012:10 - 12:50
Talk
curryon-2017-papers
10:30 - 12:50: Curry On Talks - Monday - 10:30 - 12:50 - Sala Agora at Sala Agora
curryon-2017-papers149786100000010:30 - 11:10
Talk
curryon-2017-papers149786400000011:20 - 12:00
Talk
curryon-2017-papers149786700000012:10 - 12:50
Talk
curryon-2017-papers
10:30 - 12:50: Curry On Talks - Monday - 10:30 - 12:50 - Sala d'Actes at Sala d'Actes, Vertex Building
curryon-2017-papers149786100000010:30 - 11:10
Talk
curryon-2017-papers149786400000011:20 - 12:00
Talk
curryon-2017-papers149786700000012:10 - 12:50
Talk
debs-2017-Workshop
11:00 - 12:30: DEBS Workshop - Events Meet Processes at Vertex WS219
debs-2017-Workshop149786280000011:00 - 12:30
JSTools-2017-papers
11:00 - 12:30: JSTools 2017 - Morning at Vertex WS218
Chair(s): Julian Dolby
JSTools-2017-papers149786280000011:00 - 11:30
Talk
File Attached
JSTools-2017-papers149786460000011:30 - 12:00
Talk
JSTools-2017-papers149786640000012:00 - 12:30
Talk
iwaco-2017-papers
11:00 - 12:30: IWACO 2017 - Morning Session at Vertex WS217
iwaco-2017-papers149786280000011:00 - 11:30
Talk
iwaco-2017-papers149786460000011:30 - 12:00
Talk
iwaco-2017-papers149786640000012:00 - 12:30
Talk
debs-2017-catering
12:30 - 14:00: Catering - Lunch at DEBS-CoffeeBreaks
debs-2017-catering149786820000012:30 - 14:00
Lunch
ecoop-2017-catering
12:30 - 14:00: Catering - Lunch at ECOOP-CoffeeBreaks
ecoop-2017-catering149786820000012:30 - 14:00
Lunch
pldi-2017-catering
12:30 - 14:00: Catering - Lunch (provided) at Lunch area
pldi-2017-catering149786820000012:30 - 14:00
Lunch
curryon-2017-catering
12:50 - 14:00: Catering - Lunch at CurryOn-CoffeeBreaks
curryon-2017-catering149786940000012:50 - 14:00
Lunch
JSTools-2017-papers
14:00 - 15:30: JSTools 2017 - Afternoon at Vertex WS218
Chair(s): Christian Hammer
JSTools-2017-papers149787360000014:00 - 14:30
Talk
File Attached
JSTools-2017-papers149787540000014:30 - 15:00
Talk
JSTools-2017-papers149787720000015:00 - 15:30
Talk
ICOOOLPS-2017-papers
14:00 - 15:30: ICOOOLPS 2017 - Afternoon I at Vertex WS216
Chair(s): Edd Barrett
ICOOOLPS-2017-papers149787360000014:00 - 15:00
Talk
ICOOOLPS-2017-papers149787720000015:00 - 15:30
Talk
Link to publication DOI File Attached
iwaco-2017-papers
14:00 - 15:30: IWACO 2017 - Afternoon Session at Vertex WS217
iwaco-2017-papers149787360000014:00 - 14:30
Talk
iwaco-2017-papers149787540000014:30 - 15:00
Talk
File Attached
iwaco-2017-papers149787720000015:00 - 15:30
Talk
File Attached
debs-2017-Doctoral-Symposium
14:00 - 15:30: DEBS Doctoral Symposium - Doctoral Symposium at Vertex WS219
debs-2017-Doctoral-Symposium149787360000014:00 - 14:20
Talk
debs-2017-Doctoral-Symposium149787480000014:20 - 14:40
Talk
debs-2017-Doctoral-Symposium149787600000014:40 - 15:00
Talk
debs-2017-Doctoral-Symposium149787720000015:00 - 15:20
Talk
curryon-2017-keynotes
14:00 - 14:50: Curry On Keynotes - Monday - 14:00 - 14:50 - Auditorium at Auditorium, Vertex Building
curryon-2017-keynotes149787360000014:00 - 14:50
Talk
ecoop-2017-Summer-School
14:00 - 15:40: ECOOP Summer School - S2A at Sala Agora
ecoop-2017-Summer-School149787360000014:00 - 15:40
Talk
curryon-2017-papers
15:00 - 15:40: Curry On Talks - Monday - 15:00 - 15:40 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers149787720000015:00 - 15:40
Talk
curryon-2017-papers
15:00 - 15:40: Curry On Talks - Monday - 15:00 - 15:40 - Sala Agora at Actes, Informatics Building
curryon-2017-papers149787720000015:00 - 15:40
Talk
curryon-2017-papers
15:00 - 15:40: Curry On Talks - Monday - 15:00 - 15:45 - Sala d'Actes at Sala d'Actes, Vertex Building
curryon-2017-papers149787720000015:00 - 15:40
Talk
debs-2017-catering
15:30 - 16:00: Catering - Coffee at DEBS-CoffeeBreaks
debs-2017-catering149787900000015:30 - 16:00
Coffee break
ecoop-2017-catering
15:30 - 16:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149787900000015:30 - 16:00
Coffee break
pldi-2017-catering
15:40 - 16:10: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149787960000015:40 - 16:10
Coffee break
curryon-2017-catering
15:40 - 16:10: Catering - Coffee break at CurryOn-CoffeeBreaks
curryon-2017-catering149787960000015:40 - 16:10
Coffee break
JSTools-2017-papers
16:00 - 18:00: JSTools 2017 - Afternoon 2 at Vertex WS218
JSTools-2017-papers149788080000016:00 - 16:30
Talk
debs-2017-Doctoral-Symposium
16:00 - 17:30: DEBS Doctoral Symposium - Doctoral Symposium at Vertex WS219
debs-2017-Doctoral-Symposium149788080000016:00 - 16:20
Talk
debs-2017-Doctoral-Symposium149788200000016:20 - 16:40
Talk
debs-2017-Doctoral-Symposium149788320000016:40 - 17:00
Talk
debs-2017-Doctoral-Symposium149788440000017:00 - 17:20
Talk
iwaco-2017-papers
16:00 - 18:00: IWACO 2017 - Keynote Session at Vertex WS217
iwaco-2017-papers149788080000016:00 - 16:45
Talk
curryon-2017-papers
16:10 - 18:30: Curry On Talks - Monday - 16:10 - 18:30 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers149788140000016:10 - 16:50
Talk
curryon-2017-papers149788440000017:00 - 17:40
Talk
curryon-2017-papers
16:10 - 18:30: Curry On Talks - Monday - 16:10 - 18:30 - Sala Agora at Actes, Informatics Building
curryon-2017-papers149788140000016:10 - 16:50
Talk
curryon-2017-papers149788440000017:00 - 17:40
Talk
curryon-2017-papers149788740000017:50 - 18:30
Talk
curryon-2017-papers
16:10 - 18:30: Curry On Talks - Monday - 16:10 - 18:30 - Sala d'Actes at Sala d'Actes, Vertex Building
curryon-2017-papers149788140000016:10 - 16:50
Talk
curryon-2017-papers149788440000017:00 - 17:40
Talk
curryon-2017-papers149788740000017:50 - 18:30
Talk
ecoop-2017-Summer-School
16:10 - 17:50: ECOOP Summer School - S2B at Sala Agora
ecoop-2017-Summer-School149788140000016:10 - 17:50
Talk
pldi-2017-keynotes
17:55 - 18:50: PLDI Invited Speakers - Joint Keynote ­– Martin Abadi at Auditorium, Vertex Building
pldi-2017-keynotes149788770000017:55 - 18:50
Talk
curryon-2017-keynotes
17:55 - 18:50: Curry On Keynotes - Monday - 17:50 - 18:30 - PLDI at Auditorium, Vertex Building
curryon-2017-keynotes149788770000017:55 - 18:50
Talk
pldi-2017-catering
19:30 - 22:00: Catering - Social Event with Curry On (dinner provided) at Moritz Brewery
pldi-2017-catering149789340000019:30 - 22:00
Dinner

Tue 20 Jun

debs-2017-Registration
08:00 - 09:00: Registration - Registration at DEBS-Registration
debs-2017-Registration149793840000008:00 - 09:00
Registration
debs-2017-Tutorials
09:00 - 10:30: DEBS Tutorials - Complex Event Recognition Languages at Vertex WS218
debs-2017-Tutorials149794200000009:00 - 10:30
Talk
pldi-2017-keynotes
09:00 - 09:50: PLDI Invited Speakers - Curry-On Keynote – José Valim at Auditorium, Vertex Building
pldi-2017-keynotes149794200000009:00 - 09:50
Talk
COP-2017-papers
09:00 - 10:30: COP-17 - Session 1 at Vertex WS216
COP-2017-papers149794200000009:00 - 09:15
Day opening
COP-2017-papers149794290000009:15 - 10:15
Talk
COP-2017-papers149794650000010:15 - 10:30
Other
debs-2017-Tutorials
09:00 - 10:30: DEBS Tutorials - Sliding-Window Aggregation Algorithms at Vertex WS206b
debs-2017-Tutorials149794200000009:00 - 10:30
Talk
curryon-2017-keynotes
09:00 - 09:50: Curry On Keynotes - Tuesday - 9:00 - 9:50 - Auditorium at Auditorium, Vertex Building
curryon-2017-keynotes149794200000009:00 - 09:50
Talk
pldi-2017-papers
09:50 - 10:25: PLDI Research Papers - 1' pitches of the day and the next day at Auditorium, Vertex Building
pldi-2017-papers149794500000009:50 - 10:25
Other
pldi-2017-catering
10:25 - 10:50: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149794710000010:25 - 10:50
Coffee break
curryon-2017-papers
10:25 - 12:45: Curry On Talks - Tuesday - 10:25 - 12:45 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers149794710000010:25 - 11:05
Talk
curryon-2017-papers149795010000011:15 - 11:55
Talk
curryon-2017-papers149795310000012:05 - 12:45
Talk
curryon-2017-papers
10:25 - 12:45: Curry On Talks - Tuesday - 10:25 - 12:45 - Sala Agora at Actes, Informatics Building
curryon-2017-papers149794710000010:25 - 11:05
Talk
curryon-2017-papers149795010000011:15 - 11:55
Talk
curryon-2017-papers149795310000012:05 - 12:45
Talk
curryon-2017-papers
10:25 - 12:45: Curry On Talks - Tuesday - 10:25 - 12:45 - Sala d'Actes at Sala d'Actes, Vertex Building
curryon-2017-papers149794710000010:25 - 11:05
Talk
curryon-2017-papers149795010000011:15 - 11:55
Talk
curryon-2017-papers149795310000012:05 - 12:45
Talk
debs-2017-catering
10:30 - 11:00: Catering - Coffee at DEBS-CoffeeBreaks
debs-2017-catering149794740000010:30 - 11:00
Coffee break
ecoop-2017-catering
10:30 - 11:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149794740000010:30 - 11:00
Coffee break
ecoop-2017-Summer-School
10:50 - 12:30: ECOOP Summer School - S3A at Sala Agora
ecoop-2017-Summer-School149794860000010:50 - 12:30
Talk
debs-2017-Tutorials
11:00 - 12:30: DEBS Tutorials - Complex Event Recognition Languages at Vertex WS218
debs-2017-Tutorials149794920000011:00 - 12:30
Talk
debs-2017-Tutorials
11:00 - 12:30: DEBS Tutorials - Data Streaming and its Application to Stream Processing at Vertex WS206b
debs-2017-Tutorials149794920000011:00 - 12:30
Talk
pmldc-2017-papers
11:00 - 12:30: PMLDC 2017 - Morning Session at Vertex WS208
pmldc-2017-papers149794920000011:00 - 12:00
Talk
pmldc-2017-papers149795280000012:00 - 12:30
Talk
File Attached
debs-2017-catering
12:30 - 14:00: Catering - Lunch at DEBS-CoffeeBreaks
debs-2017-catering149795460000012:30 - 14:00
Lunch
ecoop-2017-catering
12:30 - 14:00: Catering - Lunch at ECOOP-CoffeeBreaks
ecoop-2017-catering149795460000012:30 - 14:00
Lunch
pldi-2017-catering
12:30 - 14:00: Catering - Lunch (provided) at Lunch area
pldi-2017-catering149795460000012:30 - 14:00
Lunch
curryon-2017-catering
12:35 - 13:50: Catering - Lunch at CurryOn-CoffeeBreaks
curryon-2017-catering149795490000012:35 - 13:50
Lunch
curryon-2017-papers
13:50 - 15:30: Curry On Talks - Tuesday - 13:50 - 15:20 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers149795940000013:50 - 14:30
Talk
curryon-2017-papers149796240000014:40 - 15:20
Talk
curryon-2017-papers
13:50 - 15:30: Curry On Talks - Tuesday - 13:50 - 15:20 - Sala Agora at Actes, Informatics Building
curryon-2017-papers149795940000013:50 - 14:30
Talk
curryon-2017-papers149796240000014:40 - 15:20
Talk
curryon-2017-papers
13:50 - 15:30: Curry On Talks - Tuesday - 13:50 - 15:20 - Sala d'Actes at Sala d'Actes, Vertex Building
curryon-2017-papers149795940000013:50 - 14:30
Talk
curryon-2017-papers149796240000014:40 - 15:20
Talk
FTfJP-2017-papers
14:00 - 15:30: FTfJP 2017 - C at Vertex WS217
Chair(s): Martin Berger
FTfJP-2017-papers149796000000014:00 - 14:20
Talk
Pre-print
FTfJP-2017-papers149796120000014:20 - 14:55
Talk
FTfJP-2017-papers149796330000014:55 - 15:30
Talk
debs-2017-Tutorials
14:00 - 15:30: DEBS Tutorials - Human-body Related Event Processing at Vertex WS218
debs-2017-Tutorials149796000000014:00 - 15:30
Talk
debs-2017-Tutorials
14:00 - 15:30: DEBS Tutorials - Reflections on Almost Two Decades of Research into Stream Processing at Vertex WS206b
debs-2017-Tutorials149796000000014:00 - 15:30
Talk
ecoop-2017-Summer-School
14:00 - 15:40: ECOOP Summer School - S3B at Sala Agora
ecoop-2017-Summer-School149796000000014:00 - 15:40
Talk
debs-2017-catering
15:30 - 16:00: Catering - Coffee at DEBS-CoffeeBreaks
debs-2017-catering149796540000015:30 - 16:00
Coffee break
ecoop-2017-catering
15:30 - 16:00: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149796540000015:30 - 16:00
Coffee break
curryon-2017-catering
15:30 - 16:00: Catering - Coffee break at CurryOn-CoffeeBreaks
curryon-2017-catering149796540000015:30 - 16:00
Coffee break
pldi-2017-catering
15:40 - 16:10: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149796600000015:40 - 16:10
Coffee break
debs-2017-Tutorials
16:00 - 17:30: DEBS Tutorials - Human-body Related Event Processing at Vertex WS218
debs-2017-Tutorials149796720000016:00 - 17:30
Talk
COP-2017-papers
16:00 - 18:00: COP-17 - Session 4 at Vertex WS216
COP-2017-papers149796720000016:00 - 18:00
Other
curryon-2017-papers
16:00 - 18:20: Curry On Talks - Tuesday - 16:00 - 18:20 - Auditorium at Auditorium, Vertex Building
curryon-2017-papers149796720000016:00 - 16:40
Talk
curryon-2017-papers149797020000016:50 - 17:30
Talk
curryon-2017-papers149797320000017:40 - 18:20
Talk
curryon-2017-papers
16:00 - 18:20: Curry On Talks - Tuesday - 16:00 - 18:20 - Sala Agora at Actes, Informatics Building
curryon-2017-papers149796720000016:00 - 16:40
Talk
curryon-2017-papers149797020000016:50 - 17:30
Talk
curryon-2017-papers149797320000017:40 - 18:20
Talk
curryon-2017-papers
16:00 - 18:20: Curry On Talks - Tuesday - 16:00 - 18:20 - Sala d'Actes at Sala d'Actes, Vertex Building
curryon-2017-papers149796720000016:00 - 16:40
Talk
Media Attached File Attached
curryon-2017-papers149797020000016:50 - 17:30
Talk
curryon-2017-papers149797320000017:40 - 18:20
Talk
pldi-2017-keynotes
17:00 - 18:00: PLDI Invited Speakers - Program Chair report and SIGPLAN Town Hall meeting at Aula Master
pldi-2017-keynotes149797080000017:00 - 18:00
pldi-2017-student-research-competition
17:30 - 20:00: PLDI Student Research Competition - Reception and SRC posters (finger food provided) at Lunch area
pldi-2017-student-research-competition149797260000017:30 - 20:00
curryon-2017-keynotes
18:30 - 19:20: Curry On Keynotes - Tuesday - 18:30 - 19:20 - Auditorium at Auditorium, Vertex Building
curryon-2017-keynotes149797620000018:30 - 19:20
Talk

Wed 21 Jun

debs-2017-Registration
08:00 - 09:00: Registration - Registration at DEBS-Registration
debs-2017-Registration149802480000008:00 - 09:00
Registration
LCTES-2017-papers
09:00 - 09:15: LCTES 2017 - Opening at Vertex WS208
LCTES-2017-papers149802840000009:00 - 09:15
Day opening
debs-2017-Welcome
09:00 - 09:30: DEBS Welcome - Welcome at Sala d'Actes, Vertex Building
debs-2017-Welcome149802840000009:00 - 09:30
Day opening
LCTES-2017-papers
09:15 - 10:15: LCTES 2017 - Keynote 1 at Vertex WS208
Chair(s): Zili Shao
LCTES-2017-papers149802930000009:15 - 10:15
Talk
pldi-2017-catering
09:55 - 10:20: Catering - Coffee Break at Coffee Breaks area
pldi-2017-catering149803170000009:55 - 10:20
Coffee break
LCTES-2017-catering
10:15 - 10:50: Catering - Coffee Break at LCTES-CoffeeBreaks
LCTES-2017-catering149803290000010:15 - 10:50
Coffee break
pldi-2017-student-research-competition
10:20 - 12:00: PLDI Student Research Competition - SRC presentations at Vertex WS217
pldi-2017-student-research-competition149803320000010:20 - 12:00
debs-2017-catering
10:30 - 11:00: Catering - Coffee at DEBS-CoffeeBreaks
debs-2017-catering149803380000010:30 - 11:00
Coffee break
pldi-2017-papers
pldi-2017-papers149803920000012:00 - 12:15
Awards
pldi-2017-papers149804010000012:15 - 12:30
Day closing
LCTES-2017-catering
12:30 - 14:00: Catering - Lunch at LCTES-CoffeeBreaks
LCTES-2017-catering149804100000012:30 - 14:00
Lunch
debs-2017-catering
12:30 - 14:00: Catering - Lunch at DEBS-CoffeeBreaks
debs-2017-catering149804100000012:30 - 14:00
Lunch
ecoop-2017-catering
12:30 - 14:00: Catering - Lunch at ECOOP-CoffeeBreaks
ecoop-2017-catering149804100000012:30 - 14:00
Lunch
pldi-2017-catering
12:30 - 14:00: Catering - Lunch with ECOOP,LCTES (provided) + SRC Awards at Lunch area
pldi-2017-catering149804100000012:30 - 14:00
Lunch
ecoop-2017-Invited-Speakers
ecoop-2017-Invited-Speakers149804640000014:00 - 15:00
Talk
Media Attached
debs-2017-Keynotes
debs-2017-Keynotes149804640000014:00 - 15:00
Talk
LCTES-2017-papers
14:00 - 15:00: LCTES 2017 - Poster Session at Vertex WS217
LCTES-2017-papers149804640000014:00 - 15:00
Other
debs-2017-catering
15:00 - 15:30: Catering - Coffee at DEBS-CoffeeBreaks
debs-2017-catering149805000000015:00 - 15:30
Coffee break
LCTES-2017-catering
15:00 - 15:30: Catering - Coffee Break at LCTES-CoffeeBreaks
LCTES-2017-catering149805000000015:00 - 15:30
Coffee break
ecoop-2017-catering
15:00 - 15:30: Catering - Coffee Break at ECOOP-CoffeeBreaks
ecoop-2017-catering149805000000015:00 - 15:30
Coffee break
debs-2017-DEBS-10-Years-Time-Award
15:30 - 16:30: DEBS 10 Years Time Award - DEBS 10 Years Time Award at Sala d'Actes, Vertex Building
debs-2017-DEBS-10-Years-Time-Award149805180000015:30 - 16:30
Talk
ecoop-2017-Summer-School
15:30 - 17:10: ECOOP Summer School - S4 at Aula Master
ecoop-2017-Summer-School149805180000015:30 - 17:10
Talk
Pre-print File Attached
debs-2017-Poster-Demo-Papers
16:30 - 17:00: DEBS Posters & Demos - Demos and Poster Introduction at Sala d'Actes, Vertex Building
debs-2017-Poster-Demo-Papers149805540000016:30 - 17:00
Demonstration
debs-2017-Poster-Demo-Papers
17:00 - 20:00: DEBS Posters & Demos - DEBS Poster & Demo Reception at Coffee Breaks area
debs-2017-Poster-Demo-Papers149805720000017:00 - 20:00
Demonstration

Thu 22 Jun

debs-2017-Registration
08:00 - 09:00: Registration - Registration at DEBS-Registration
debs-2017-Registration149811120000008:00 - 09:00
Registration
pldi-2017-workshops-and-tutorials
09:00 - 10:00: PLDI Tutorials - Building your own modular static analyzer with Facebook Infer at Vertex WS219
pldi-2017-workshops-and-tutorials149811480000009:00 - 10:00
Other
ecoop-2017-Invited-Speakers
09:00 - 10:00: ECOOP Invited Speakers - Dahl-Nygaard Senior Prize at Auditorium, Vertex Building
Chair(s): Eric Jul
ecoop-2017-Invited-Speakers149811480000009:00 - 10:00
Talk
Media Attached
dsw-2017-papers
09:00 - 10:00: DSW 2017 - Intro & industry perspective on crypto at Vertex WS216
Chair(s): Andrew Appel
dsw-2017-papers149811480000009:00 - 09:15
Day opening
dsw-2017-papers149811570000009:15 - 10:00
Talk