9:00 am–9:25 am |
Coffee and Check In |
|
9:25 am–9:30 am |
Opening Remarks |
|
9:30 am–10:15 am |
Rahul Santhanam (Oxford) |
|
10:15 am–10:30 am |
Break |
|
10:30 am–11:15 am |
Shuichi Hirahara (National Institute of Informatics) |
|
11:15 am–11:30 am |
Break |
|
11:30 am–12:15 pm |
Rahul Ilango (MIT) |
|
12:15 pm–2:15 pm |
Lunch |
|
2:15 pm–3:00 pm |
Halley Goldberg (Simon Fraser University) |
|
3:00 pm–3:25 pm |
Break |
|
3:25 pm–4:10 pm |
Michal Koucky (Charles University) |
|
4:10 pm–4:30 pm |
Neekon Vafa (MIT) |
|
4:30 pm–5:30 pm |
Reception |
9:00 am–9:30 am |
Coffee and Check In |
|
9:30 am–10:15 am |
Ryan Williams (MIT) |
|
10:15 am–10:30 am |
Break |
|
10:30 am–11:15 am |
Shay Moran (Technion) |
|
11:15 am–11:30 am |
Break |
|
11:30 am–12:15 pm |
Jessica Sorrell (UCSD) |
|
12:15 pm–2:15 pm |
Lunch |
|
2:15 pm–3:00 pm |
Hanlin Ren (University of Oxford) |
|
3:00 pm–3:30 pm |
Break |
|
3:30 pm–4:15 pm |
Alex Grilo (CNRS/Sorbonne Université) |
9:00 am–9:30 am |
Coffee and Check In |
|
9:30 am–10:15 am |
Mikito Nanashima (Tokyo Institute of Technology) |
|
10:15 am–10:30 am |
Break |
|
10:30 am–11:15 am |
Zhenjian Lu (University of Oxford) |
|
11:15 am–11:30 am |
Break |
|
11:30 am–12:15 pm |
Nai-Hui Chia (Rice University) |
|
12:15 pm–2:15 pm |
Lunch |
|
2:15 pm–3:15 pm |
Brendan Juba (Washington University in St. Louis) |
|
3:15 pm–3:30 pm |
Break |
|
3:30 pm–4:15 pm |
Lijie Chen (MIT) |
9:00 am–9:30 am |
Coffee and Check In |
|
9:30 am–10:15 am |
Adam Kalai (Microsoft Research) |
|
10:15 am–10:30 am |
Break |
|
10:30 am–11:15 am |
Ari Karchmer (Boston University) |
|
11:15 am–11:30 am |
Break |
|
11:30 am–12:15 pm |
Andrej Bogdanov (University of Ottawa) |
|
12:15 pm–2:15 pm |
Lunch |
|
2:15 pm–3:15 pm |
Emanuele Viola (Northeastern University) |
|
3:15 pm–3:30 pm |
Break |
|
3:30 pm–4:15 pm |
Gal Yehuda (Technion) |
9:00 am–9:30 am |
Coffee and Check In |
|
9:30 am–10:15 am |
Yanyi Liu (Cornell) |
|
10:15 am–10:30 am |
Break |
|
10:30 am–11:15 am |
Roi Livni (Tel Aviv University) |
|
11:15 am–11:30 am |
Break |
|
11:30 am–12:15 pm |
Marco Carmosino (IBM Research) |
|
12:15 pm–2:15 pm |
Lunch |
|
2:15 pm–3:00 pm |
Roei Tell (Institute for Advanced Study) |