Write a Blog >>
Filter
Dates
Rooms
Tracks
Badges
Your Program

Sat 25 Jan

CoqPL-2020-papers
09:00 - 10:00: CoqPL - Invited Talk at Maurepas
Chair(s): Robbert KrebbersDelft University of Technology
CoqPL-2020-papers09:00 - 10:00
Talk
Chantal KellerLRI, Université Paris-Sud
CoqPL-2020-papers
10:30 - 12:30: CoqPL - Contributed Talks at Maurepas
Chair(s): Amin Timanyimec-Distrinet KU-Leuven
CoqPL-2020-papers10:30 - 11:00
Talk
Arthur Azevedo de AmorimCarnegie Mellon University, USA
File Attached
CoqPL-2020-papers11:00 - 11:30
Talk
File Attached
CoqPL-2020-papers11:30 - 12:00
Talk
Tej ChajedMassachusetts Institute of Technology, USA, Joseph TassarottiBoston College, M. Frans KaashoekMassachusetts Institute of Technology, USA, Nickolai ZeldovichMassachusetts Institute of Technology, USA
File Attached
CoqPL-2020-papers12:00 - 12:30
Talk
File Attached
CoqPL-2020-papers
14:00 - 15:05: CoqPL - Invited Talk at Maurepas
Chair(s): Yves BertotINRIA
CoqPL-2020-papers14:00 - 15:00
Talk
Kathrin StarkSaarland University, Germany
CoqPL-2020-papers
15:35 - 17:45: CoqPL - Contributed Talks & Coq Developers at Maurepas
Chair(s): Joseph TassarottiBoston College, Robbert KrebbersDelft University of Technology
CoqPL-2020-papers15:35 - 16:05
Talk
Aurèle BarrièreUniv Rennes, IRISA, Sandrine BlazyUniv Rennes- IRISA, David PichardieUniv Rennes, ENS Rennes, IRISA
File Attached
CoqPL-2020-papers16:05 - 16:35
Talk
Yannick ForsterSaarland University, Dominique Larchey-WendlingCNRS, LORIA, Andrej DudenhefnerSaarland University, Edith HeiterSaarland University, Dominik KirstSaarland University, Fabian KunzeSaarland University, Gert SmolkaSaarland University, Simon SpiesSaarland University, Dominik WehrSaarland University, Universiteit van Amsterdam, Maximilian WuttkeSaarland University
File Attached
CoqPL-2020-papers16:35 - 16:50
Break
CoqPL-2020-papers16:50 - 17:35
Demonstration

Sat 25 Jan 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Maurepas
09:00 - 10:00
14:00 - 15:05
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)