CoqPL 2024
Sat 20 Jan 2024 London, United Kingdom
co-located with POPL 2024

Lunch, Dinner, Coffee-breaks

Dates
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 14 Jan

Displayed time zone: London change

10:30 - 11:00
10:30
30m
Coffee break
Break
POPL Catering

10:30 - 11:00
10:30
30m
Coffee break
Break
POPL Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
POPL Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
POPL Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
POPL Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
POPL Catering

Mon 15 Jan

Displayed time zone: London change

10:30 - 11:00
10:30
30m
Coffee break
Break
POPL Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
POPL Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
POPL Catering

Tue 16 Jan

Displayed time zone: London change

10:30 - 11:00
10:30 - 11:00
10:30
30m
Coffee break
Break
POPL Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
POPL Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
POPL Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
POPL Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
POPL Catering

Sat 20 Jan

Displayed time zone: London change

10:30 - 11:00
10:30
30m
Coffee break
Break
POPL Catering

10:30 - 11:00
10:30
30m
Coffee break
Break
POPL Catering

10:30 - 11:00
10:30
30m
Coffee break
Break
POPL Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
POPL Catering

12:30 - 14:00
12:30 - 14:00
12:30
90m
Lunch
Lunch
POPL Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
POPL Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
POPL Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
POPL Catering

Not scheduled yet

Not scheduled yet
Dinner
Dinner
POPL Catering

Events

Title
Break
POPL Catering

Dinner
POPL Catering

Lunch
POPL Catering