this is a triangle
Room 1: Auditorium Loyola | Room 2: Foscolo | |
---|---|---|
8:45-9:00 |
Curry On opening remarks
Jan Vitek and Heather Miller
|
|
9:00-9:50
Keynote Room:Auditorium Loyola
|
keynote
David Nolen
Cognitect
|
|
9:50-10:05 | Coffee break, served outside of lecture hall | |
10:05-10:45 |
Peter O'Hearn
Facebook
|
Michael Sperber
Active Group
|
10:55-11:35 |
James Noble
Victoria University of Wellington
|
Andrey Kuzmin & Kolja Wilcke
Zalando
|
11:45-12:25 |
Manuel Chakravarty
UNSW Australia & Applicative
|
Ron Pressler
Parallel Universe
|
12:35-13:50 | Lunch | |
13:50-14:30 |
Caitie McCaffrey
Twitter
|
chess timer talk
Frank Wang
MIT
|
14:40-15:20 |
Úlfar Erlingsson
Google
|
Tijs van der Storm
Centrum Wiskunde & Informatica (CWI)
|
15:30-16:00 | Coffee break, served outside of lecture hall | |
16:00-16:40 |
chess timer talk
Simon Belak
GoOpti
|
Kelley Robinson
Sharethrough
|
16:50-17:30 |
Oskar Wickström
Empear
|
Crista Lopes
UC Irvine
|
17:40-18:30
Keynote Room: Auditorium Loyola
|
keynote
Matthias Felleisen
Northeastern University
|
|
19:30-22:00 | Curry On Party! |
Room 1: Auditorium Loyola | Room 2: Foscolo | |
---|---|---|
9:00-9:50
Keynote Room:Auditorium Loyola
|
keynote
Larry Wall
|
|
9:50-10:05 | Coffee break, served outside of lecture hall | |
10:05-10:45 |
Kasper Lund
Google
|
chess timer talk
Jörgen Brandt
Humboldt University
|
10:55-11:35 |
Ross Tate
Cornell University
|
Sean McDirmid
Microsoft Research
|
11:45-12:25 |
Francesco Logozzo
Facebook
|
chess timer talk
Sean Grove
|
12:35-13:50 | Lunch | |
13:50-14:30 |
Dmitry Ivanov & Nami Nasserazad
TomTom
|
chess timer talk
Silvia Crafa
University of Padova
|
14:40-15:20 |
Yuan Yu
Google
|
Jaroslav Tulach
Oracle Labs
|
15:30-16:00 | Coffee break, served outside of lecture hall | |
16:00-16:40 |
Renzo Borgatti
Mailonline
|
Juan Lulkin
|
16:50-17:30 |
Cristina Cifuentes
Oracle Labs
|
Julien Richard-Foy
Zengularity
|
17:40-18:20 |
Andrea Magnorsky
|
Eugene Burmako
EPFL
|
18:30-19:20
Keynote Room:Auditorium Loyola
|
keynote
Dave Herman
Mozilla Research
|