Lunch, Diner, Coffee-breaks

Accepted Papers

Title
Dates

Mon 18 Jun

pldi-2018-catering
08:00 - 09:00: Catering - Breakfast at Columbus Ballroom Foyer
pldi-2018-catering08:00 - 09:00
Other
pldi-2018-catering
10:30 - 11:00: Catering - Coffee Break at Columbus Ballroom Foyer
pldi-2018-catering10:30 - 11:00
Coffee break
pldi-2018-catering
12:15 - 14:00: Catering - Lunch at Grand Ballroom BCD
pldi-2018-catering12:15 - 14:00
Lunch
pldi-2018-catering
15:40 - 16:10: Catering - Coffee Break at Columbus Ballroom Foyer
pldi-2018-catering15:40 - 16:10
Coffee break
pldi-2018-catering
18:00 - 19:00: Catering - Social Hour at Grand Ballroom Foyer

Tue 19 Jun

pldi-2018-catering
08:00 - 09:00: Catering - Breakfast at Columbus Ballroom Foyer
pldi-2018-catering08:00 - 09:00
Other
pldi-2018-catering
10:30 - 11:00: Catering - Coffee Break at Columbus Ballroom Foyer
pldi-2018-catering10:30 - 11:00
Coffee break
pldi-2018-catering
12:15 - 14:00: Catering - Lunch at Grand Ballroom CD
pldi-2018-catering12:15 - 14:00
Lunch
pldi-2018-catering
15:40 - 16:10: Catering - Coffee Break at Columbus Ballroom Foyer
pldi-2018-catering15:40 - 16:10
Coffee break
pldi-2018-catering
17:30 - 18:30: Catering - Social Hour at Grand Ballroom Foyer

Wed 20 Jun

pldi-2018-catering
08:00 - 08:45: Catering - Breakfast at Grand Ballroom Foyer
pldi-2018-catering08:00 - 08:45
Other
pldi-2018-catering
10:30 - 11:00: Catering - Coffee Break at Grand Ballroom Foyer
pldi-2018-catering10:30 - 11:00
Coffee break
pldi-2018-catering
12:15 - 14:00: Catering - Lunch at Columbus Ballroom
pldi-2018-catering12:15 - 14:00
Lunch
pldi-2018-catering
15:40 - 16:10: Catering - Coffee Break at Grand Ballroom Foyer
pldi-2018-catering15:40 - 16:10
Coffee break

Thu 21 Jun

pldi-2018-catering
08:00 - 09:00: Catering - Breakfast at Grand Ballroom Foyer
pldi-2018-catering08:00 - 08:45
Other
pldi-2018-catering
10:30 - 11:00: Catering - Coffee Break at Grand Ballroom Foyer
pldi-2018-catering10:30 - 11:00
Coffee break
pldi-2018-catering
12:30 - 14:00: Catering - Lunch (note late start) at Columbus Ballroom
pldi-2018-catering12:30 - 14:00
Lunch
pldi-2018-catering
15:40 - 16:10: Catering - Coffee Break at Grand Ballroom Foyer
pldi-2018-catering15:40 - 16:10
Coffee break
pldi-2018-catering
17:00 - 18:00: Catering - Social Hour at Grand Ballroom Foyer

Fri 22 Jun

pldi-2018-catering
08:00 - 09:00: Catering - Breakfast at Grand Ballroom Foyer
pldi-2018-catering08:00 - 09:00
Other
pldi-2018-catering
10:30 - 11:00: Catering - Coffee Break at Grand Ballroom Foyer
pldi-2018-catering10:30 - 11:00
Coffee break
pldi-2018-catering
12:15 - 14:00: Catering - Lunch at Columbus Ballroom
pldi-2018-catering12:15 - 14:00
Lunch
pldi-2018-catering
15:40 - 16:10: Catering - Coffee Break at Grand Ballroom Foyer
pldi-2018-catering15:40 - 16:10
Coffee break

Not scheduled yet

pldi-2018-cateringNot scheduled yet
Dinner