POPL 2020 (series) / CoqPL 2020 (series) / The Sixth International Workshop on Coq for Programming Languages /
A Coq Library of Undecidable Problems
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.
| (coqpl20-final6.pdf) | 354KiB |
Sat 25 Jan
| 15:35 - 16:05 Talk | Aurèle BarrièreUniv Rennes, IRISA, Sandrine BlazyUniv Rennes- IRISA, David PichardieUniv Rennes, ENS Rennes, IRISA File Attached | |||||||||||||||||||||||||||||||||||||||||
| 16: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 | |||||||||||||||||||||||||||||||||||||||||
| 16:35 - 16:50 Break | ||||||||||||||||||||||||||||||||||||||||||
| 16:50 - 17:35 Demonstration | ||||||||||||||||||||||||||||||||||||||||||