1 | Sunday 22 January | ||
---|---|---|---|
2 | Registration | VMCAI | |
3 | Ballroom Foyer | Ballroom B | |
4 | 8:00 | Continental Breakfast* | |
5 | 9:00 | Session 1 | |
6 | 10:00 | Refreshments* | |
7 | 10:30 | Session 2 | |
8 | 12:00 | Lunch* | |
9 | 13:30 | Session 3 | |
10 | 15:30 | Refreshments* | |
11 | 16:00 | Session 4 | |
12 | 17:30 | Business Meeting | |
13 | 18:00 | ||
14 | *Breakfast and refreshments in the Ballroom Foyer; lunch in Hamilton |
1 | Monday 23 January | |||||
---|---|---|---|---|---|---|
2 | Registration | VMCAI | LADA | PEPM | PADL | |
3 | Ballroom Foyer | Ballroom B | Ballroom A | Ballroom E | Bromley | |
4 | 8:00 | Continental Breakfast* | ||||
5 | 9:00 | Session 1 | Session 1 | Session 1 | Session 1 | |
6 | 10:00 | Refreshments* | ||||
7 | 10:30 | Session 2 | Session 2 | Session 2 | Applications | |
8 | 12:00 | Lunch outing** (Karma) | ||||
9 | 13:30 | Session 3 | Session 3 | Session 3 | Logic Programming | |
10 | 15:30 | Refreshments* | ||||
11 | 16:00 | Session 4 | Session 4 | Session 4 | Parallelism & Concurrency | |
12 | 17:00 | Reception | ||||
13 | 19:00 | Dinner outing** (Morimoto) | ||||
14 | ||||||
15 | *Breakfast and refreshments in the Ballroom Foyer; lunch in Hamilton | |||||
16 | **See LADA program for details |
1 | Tuesday 24 January | |||||||
---|---|---|---|---|---|---|---|---|
2 | Registration | VMCAI | LADA | PEPM | PADL | PLPV | PLMW | |
3 | Ballroom Foyer | Ballroom B | Ballroom A | Ballroom E | Claypoole | Ballroom D | Ballroom C | |
4 | 8:00 | Continental Breakfast* | Continental Breakfast* | Continental Breakfast* | Continental Breakfast* | Continental Breakfast* | Continental Breakfast* | |
5 | 8:25 | Session 1 | ||||||
6 | 9:00 | Session 1 | Session 1 | Session 1 | Session 1 | Session 1 | ||
7 | 10:00 | Refreshments* | ||||||
8 | 10:30 | Session 2 | Session 2 | Session 2 | DSLs I | Session 2 | Session 2 | |
9 | 12:00 | Lunch outing** (Han Dynasty) | Lunch* | |||||
10 | 13:30 | Session 3 | Session 3 | Session 3 | DSLs II | Session 3 | ||
11 | 14:00 | Session 3 | ||||||
12 | 15:30 | Refreshments* | ||||||
13 | 16:00 | Session 4 | Session 4 | Session 4 | Numerics | Session 4 | Session 4 | |
14 | 17:30 | Reception*** | ||||||
15 | *Breakfast and refreshments in Ballroom Foyer, lunch in Hamilton | |||||||
16 | **See LADA program for details | |||||||
17 | ***Hamilton |
1 | Wednesday 25 January | |||||
---|---|---|---|---|---|---|
2 | Registration | POPL Track A | POPL Track B | Lightning Talk Breakouts | NSF BoF | |
3 | Ballroom Foyer | Ballroom CDE | Ballroom AB | Flower, Reynolds, Whitpen, Shippen | Cook | |
4 | 8:00 | |||||
5 | 8:30 | Continental Breakfast* | ||||
6 | 9:20 | Welcome | ||||
7 | 9:30 | Tony Hoare | ||||
8 | 10:30 | Refreshments* | ||||
9 | 11:00 | Verification | Semantics | |||
10 | 12:30 | Lunch* | ||||
11 | 14:00 | Privacy & Access Control | Decision Procedures | |||
12 | 15:30 | Refreshments* | ||||
13 | 16:00 | |||||
14 | 16:15 | Security | Complexity for Concurrency | |||
15 | 17:15 | Breakouts | ||||
16 | 17:30 | Reception** | ||||
17 | 18:00 | (Music by the Principles of Jazz) | Meeting | |||
18 | 18:30 | Student Lightning Talks | ||||
19 | 19:00 | |||||
20 | 20:00 | |||||
21 | *Breakfast and refreshments in Ballroom Foyer; lunch in Hamilton | |||||
22 | **Ballroom; hors d'oeuvres and drinks will be served |
1 | Thursday 26 January | ||||||
---|---|---|---|---|---|---|---|
2 | Registration | POPL Track A | POPL Track B | POPL Banquet | POPL Banquet Buses | ||
3 | Ballroom Foyer | Ballroom CDE | Ballroom AB | Pennsylvania Academy of Fine Arts (PAFA) | |||
4 | 8:30 | Continental Breakfast* | |||||
5 | 9:20 | Most Influential POPL Paper | |||||
6 | 9:30 | Jennifer Rexford | |||||
7 | 10:30 | Refreshments* | |||||
8 | 11:00 | Medley | Mechanized Proofs | ||||
9 | 12:30 | Lunch* | |||||
10 | 14:00 | Concurrency | Type Theory | ||||
11 | 15:30 | Refreshments* | |||||
12 | 16:00 | ||||||
13 | 16:15 | Dynamic Analysis | Names and Binders | ||||
14 | 17:15 | Program Committee chair report | |||||
15 | 17:30 | SIGPLAN business meeting: The future of POPL | |||||
16 | 18:15 | ||||||
17 | 18:30 | Sheraton ➝ PAFA buses run continuously | |||||
18 | 19:00 | Hors d'oeuvres and drinks | |||||
19 | 19:30 | ||||||
20 | 20:00 | Dinner | |||||
21 | 21:00 | PAFA ➝ Sheraton buses run continuously | |||||
22 | 22:00 | ||||||
23 | *Continental breakfast and refreshments in Ballroom Foyer; lunch in Hamilton |
1 | Friday 27 January | ||||
---|---|---|---|---|---|
2 | Registration | POPL Track A | POPL Track B | SIGPLAN EC | |
3 | Ballroom Foyer | Ballroom CDE | Ballroom AB | Flower | |
4 | 8:30 | Continental Breakfast* | |||
5 | 9:20 | POPL 13 Preview | |||
6 | 9:30 | J Strother Moore | |||
7 | 10:30 | Refreshments* | |||
8 | 11:00 | Verified Transformations | Functional Programming | Meeting | |
9 | 12:30 | Lunch* | |||
10 | 14:00 | C/C++ Semantics | Type Systems | ||
11 | 15:30 | Closing and Raffle | |||
12 | 16:00 | Refreshments* | |||
13 | 16:30 | ||||
14 | *Breakfast and refreshments in Ballroom Foyer; lunch in Hamilton |
1 | Saturday 28 January | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|
2 | Registration | TLDI | OBT | DAMP | TutorialFest! | VSTTE | PLDI PC | ||||
3 | Ballroom Foyer | Ballroom B | Ballroom D | Ballroom A2 | Ballroom A1 | Ballroom E1 | Ballroom E2 | Flower | Ballroom C | Cook | |
4 | 8:00 | Continental Breakfast* | Continental Breakfast* | Continental Breakfast* | Continental Breakfast* | Continental Breakfast* | Continental Breakfast* | ||||
5 | 8:30 | W. Cook | Escardo | Chroboczek | |||||||
6 | 9:00 | Session 1 | Session 1 | Session 1 | Invited Talk (Paul) | Meeting | |||||
7 | 10:00 | Refreshments* | |||||||||
8 | 10:30 | Session 2 | Session 2 | Session 2 | Gal | O'Hearn | Leino | Theory 1 | Meeting | ||
9 | 12:00 | Lunch* | Lunch* | ||||||||
10 | 12:30 | Lunch outing** (Positano Coast) | |||||||||
11 | 13:30 | Session 3 | |||||||||
12 | 14:00 | Session 3 | Session 3 | Gal | Escardo | Leino | Chroboczek | Tutorial (Logozzo) | |||
13 | 15:30 | Refreshments* | |||||||||
14 | 16:00 | Session 4 | Session 4 | Session 4 | W. Cook | O'Hearn | B. Cook | Tools | Meeting | ||
15 | 17:30 | ||||||||||
16 | 18:00 | 5-min madness | |||||||||
17 | |||||||||||
18 | 19:30 | Banquet** (Fork) | |||||||||
19 | *Continental breakfast and refreshments in Ballroom Foyer; lunch in Hamilton | ||||||||||
20 | **See VSTTE program for details |
1 | Sunday 29 January | ||
---|---|---|---|
2 | VSTTE | PLDI PC | |
3 | Ballroom C | Cook | |
4 | 8:00 | Meeting* | |
5 | 8:30 | Invited Talk: Majumdar | |
6 | 9:00 | ||
7 | 9:30 | Refreshments** | Refreshments** |
8 | 10:00 | Experiments | |
9 | 10:30 | Meeting | |
10 | 12:00 | Lunch outing*** (Han Dynasty) | |
11 | 13:30 | Tutorial (Leino) | |
12 | 14:30 | Refreshments** | |
13 | 15:00 | Theory II | Meeting |
14 | 17:00 | Closing Remarks | |
15 | 17:30 | ||
16 | *Continental breakfast will be served | ||
17 | **Refreshments in Ballroom Foyer | ||
18 | ***See VSTTE program for details |