Write a Blog >>
VenueJW Marriott New Orleans
Room nameCoqPL
Floor0
Room number
Capacity0
Additional informationThere is no additional information of this room available.
Program

This program is tentative and subject to change.

Sat 25 Jan

CoqPL-2020-papers
09:00 - 10:00: CoqPL - Invited Talk at CoqPL
CoqPL-2020-papers09:00 - 10:00
Talk
Chantal KellerLRI, Université Paris-Sud
CoqPL-2020-papers
10:30 - 12:30: CoqPL - Contributed Talks at CoqPL
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 CoqPL
CoqPL-2020-papers14:00 - 15:00
Talk
Kathrin StarkSaarland University, Germany
CoqPL-2020-papers
15:35 - 17:45: CoqPL - Contributed Talks & Coq Developers at CoqPL
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

This program is tentative and subject to change.

Sat 25 Jan 2020

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
CoqPL
09:00 - 10:00
14:00 - 15:05

This program is tentative and subject to change.

Sat 25 Jan 2020