CoqPL 2024
Sat 20 Jan 2024 London, United Kingdom
co-located with POPL 2024
VenueInstitution of Engineering and Technology
Room nameMaxwell Library
Floor1
Room InformationNo extra information available
Program

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

12:30 - 14:00
12:30
90m
Lunch
Lunch
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
12:30 - 14:00
12:30
90m
Lunch
Lunch
POPL Catering

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

Wed 17 Jan

Displayed time zone: London change

18:10 - 20:00
POPL Networking ReceptionPOPL at Maxwell Library
18:10
1h50m
Social Event
POPL Networking Reception
POPL

Sat 20 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

Sun 14 Jan

Displayed time zone: London change

Room10:003011:003012:003013:003014:003015:0030
Maxwell Library

Mon 15 Jan

Displayed time zone: London change

Room10:003011:003012:003013:003014:003015:0030
Maxwell Library

Tue 16 Jan

Displayed time zone: London change

Room10:003011:003012:003013:003014:003015:0030
Maxwell Library

Wed 17 Jan

Displayed time zone: London change

Sat 20 Jan

Displayed time zone: London change

Room10:003011:003012:003013:003014:003015:0030
Maxwell Library

Sun 14 Jan

Displayed time zone: London change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Maxwell Library
POPL Catering
Break
10:30 - 11:00
POPL Catering
Lunch
12:30 - 14:00
POPL Catering
Break
15:30 - 16:00

Mon 15 Jan

Displayed time zone: London change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Maxwell Library
POPL Catering
Break
10:30 - 11:00
POPL Catering
Lunch
12:30 - 14:00
POPL Catering
Break
15:30 - 16:00

Tue 16 Jan

Displayed time zone: London change

Room12:0015304513:0015304514:0015304515:00153045
Maxwell Library
POPL Catering
Lunch
12:30 - 14:00
POPL Catering
Break
15:30 - 16:00

Wed 17 Jan

Displayed time zone: London change

Room18:0015304519:00153045
Maxwell Library

Sat 20 Jan

Displayed time zone: London change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:00153045
Maxwell Library
POPL Catering
Break
10:30 - 11:00
POPL Catering
Lunch
12:30 - 14:00
POPL Catering
Break
15:30 - 16:00