Program for IJCAR is out. Somewhat surprisingly, Coq has its own session (chaired by Leo de Moura): https://easychair.org/smart-program/IJCAR2020/2020-07-03.html#session:46059
so along these lines CS topics of the future might be: Verification, Satisfiability Modulo Theories, Coq, Induction
There's also an Isabelle session, but at least this one is chaired by an Isabelle person (Lawrence Paulson).
And the "Interactive Theorem Proving" session also has one Coq paper
Clément Pit-Claudel said:
And the "Interactive Theorem Proving" session also has one Coq paper
looks like two Coq papers to me, Affeldt et al. and yours?
audience-wise, our paper benefits from that (hopefully) a Coq-interested audience is already tuned in to the Coq session, so in the end no complaints from me
Karl Palmskog said:
looks like two Coq papers to me, Affeldt et al. and yours?
Oh, nice, I missed that one! :)
The "Formalization" session after the Coq session has another Coq related paper, but I hope its methodology is also applicable to Lean and Matita. :)
Note that the Coq IJCAR session is starting now 1pm CEST, first off with a talk on the CoqHammer reconstruction tactic (sauto): http://www.mimuw.edu.pl/~lukaszcz/sauto.pdf
Streaming: https://fscd-ijcar-2020.org/streaming/diaporama
IJCAR proceedings seem to be open access for the moment: https://link.springer.com/book/10.1007%2F978-3-030-51054-1
This link says "buy e-book" for me.
Théo Zimmermann said:
This link says "buy e-book" for me.
The ebook is available for free if you follow the link from ijcar webpage: https://ijcar2020.org/topics/
Last updated: Dec 01 2023 at 04:01 UTC