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