Write a Blog >>
Sat 25 Jan 2020 16:05 - 16:35 at Maurepas - Contributed Talks & Coq Developers

We propose a talk on our library of mechanised reductions to establish undecidability results in Coq. The library is a collaborative effort, growing constantly and we are seeking more outside contributors willing to work on undecidability results in Coq.

Sat 25 Jan

CoqPL-2020-papers
15:35 - 17:45: CoqPL - Contributed Talks & Coq Developers at Maurepas
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