2020-06-11 14:16:33 (GMT)
This is the week before IJCAR and after PODS and during the FMCAD rebuttal. If you intend to attend this meeting please upvote this message or downvote if you are too busy that week!
2020-06-11 14:18:58 (GMT)
Some proposals (vote before Monday 15th):
2020-06-11 14:19:8 (GMT)
A metaprogramming framework for formal verification
Gabriel Ebner and Sebastian Ullrich and Jared Roesch and Jeremy Avigad and Leonardo de Moura
ICFP 2017
https://leanprover.github.io/papers/tactic.pdf
2020-06-11 14:19:58 (GMT)
Bohua Zhan
AUTO2, a saturation-based heuristic prover for higher-order logic
ITP 2016
https://arxiv.org/pdf/1605.07577.pdf