Write a Blog >>
CoqPL 2017
Sat 21 Jan 2017
co-located with POPL 2017
VenueParis Jussieu
Room nameAuditorium
Floor0
Room numberAAA
Capacity500
Additional informationThere is no additional information of this room available.
Program

Mon 16 Jan

CPP-2017
09:00 - 10:00: - Invited Talk at Auditorium
CPP-2017148455360000009:00 - 10:00
Talk

Tue 17 Jan

CPP-2017
09:00 - 10:00: - Invited Talk at Auditorium
CPP-2017148464000000009:00 - 10:00
Talk

Wed 18 Jan

POPL-2017-papers
09:00 - 09:05: - Opening at Auditorium
Chair(s): Giuseppe Castagna, Andrew D. Gordon
POPL-2017-papers148472640000009:00 - 09:05
Day opening
POPL-2017-papers
09:05 - 10:00: - Invited speaker at Auditorium
Chair(s): Andrew D. Gordon
POPL-2017-papers148472670000009:05 - 10:00
Talk
POPL-2017-papers
10:30 - 12:10: - Type Systems 1 at Auditorium
Chair(s): Avik Chaudhuri
POPL-2017-papers148473180000010:30 - 10:55
Talk
POPL-2017-papers148473330000010:55 - 11:20
Talk
POPL-2017-papers148473480000011:20 - 11:45
Talk
POPL-2017-papers148473630000011:45 - 12:10
Talk

Thu 19 Jan

POPL-2017-papers
09:00 - 09:15: - ACM and SIGPLAN Awards at Auditorium
Chair(s): Satnam Singh
POPL-2017-papers148481280000009:00 - 09:05
Awards
POPL-2017-papers148481310000009:05 - 09:10
Awards
POPL-2017-papers148481340000009:10 - 09:15
Awards
POPL-2017-papers
09:15 - 10:00: - Invited speaker at Auditorium
Chair(s): Roberto Giacobazzi
POPL-2017-papers148481370000009:15 - 10:00
Talk
POPL-2017-papers
10:30 - 12:10: - Type Systems 2 at Auditorium
Chair(s): Andrew D. Gordon
POPL-2017-papers148481820000010:30 - 10:55
Talk
POPL-2017-papers148481970000010:55 - 11:20
Talk
POPL-2017-papers148482120000011:20 - 11:45
Talk
POPL-2017-papers148482270000011:45 - 12:10
Talk
POPL-2017-papers
14:20 - 16:00: - Functional Programming with Effects at Auditorium
Chair(s): Kathleen Fisher
POPL-2017-papers148483200000014:20 - 14:45
Talk
POPL-2017-papers148483350000014:45 - 15:10
Talk
POPL-2017-papers148483500000015:10 - 15:35
Talk
Pre-print
POPL-2017-papers148483650000015:35 - 16:00
Talk
POPL-2017-papers
16:30 - 17:20: - Logic and Programming at Auditorium
Chair(s): Nada Amin
POPL-2017-papers148483980000016:30 - 16:55
Talk
POPL-2017-papers148484130000016:55 - 17:20
Talk
POPL-2017-papers
17:20 - 18:20: - Business meeting at Auditorium
Chair(s): Andrew D. Gordon
POPL-2017-papers148484280000017:20 - 17:40
Talk
POPL-2017-papers148484400000017:40 - 17:50
Talk
POPL-2017-papers148484460000017:50 - 18:20
Meeting

Fri 20 Jan

POPL-2017-src
09:00 - 09:05: - Student Competition Award at Auditorium
Chair(s): Kim Nguyễn
POPL-2017-src148489920000009:00 - 09:05
Awards
POPL-2017-papers
09:05 - 10:00: - Invited speaker at Auditorium
Chair(s): Giuseppe Castagna
POPL-2017-papers148489950000009:05 - 10:00
Talk
POPL-2017-papers
10:30 - 12:10: - Type Systems 3 at Auditorium
Chair(s): Derek Dreyer
POPL-2017-papers148490460000010:30 - 10:55
Talk
POPL-2017-papers148490610000010:55 - 11:20
Talk
POPL-2017-papers148490760000011:20 - 11:45
Talk
POPL-2017-papers148490910000011:45 - 12:10
Talk

Sat 21 Jan

main
09:00 - 10:00: CoqPL 2017 - Opening Session at Auditorium
Chair(s): Emilio Jesús Gallego Arias
main148498560000009:00 - 10:00
Talk

Mon 16 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Auditorium
09:00 - 10:00
10:30 - 12:00
14:00 - 15:30
16:00 - 18:00

Tue 17 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Auditorium
09:00 - 10:00
10:30 - 12:00
14:00 - 15:30
16:00 - 17:30

Wed 18 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Auditorium
09:00 - 09:05
09:05 - 10:00
10:30 - 12:10
14:20 - 16:00
16:30 - 17:45

Thu 19 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Auditorium
09:00 - 09:15
09:15 - 10:00
10:30 - 12:10
14:20 - 16:00
16:30 - 17:20
17:20 - 18:20

Fri 20 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Auditorium
09:00 - 09:05
09:05 - 10:00
10:30 - 12:10
14:20 - 16:00
16:30 - 17:45

Sat 21 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:0030
Auditorium