Write a Blog >>
CoqPL 2017
Sat 21 Jan 2017
co-located with POPL 2017
Filter
Dates
Rooms
Tracks
Badges
Your Program

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
main
19:00 - 21:00: CoqPL 2017 - Social Event at CoqPL-social-event-room
main148502160000019:00 - 21:00
Social Event

Sat 21 Jan 2017

Room9:003010:003011:003012:003013:003014:003015:003016:003017:003018:003019:003020:003021:0030
Auditorium
CoqPL-social-event-room
iCalendar subscription service for your personal schedule
You first need to have starred events () in order to use the iCalendar subscription service.
Currently Viewed Program
Downloads the currently viewed program (with filters applied) in iCal format
Session Calendar (ical)
Detailed Event Calendar (ical)