Stream: Miscellaneous

Topic: Coq session at IJCAR 2020


view this post on Zulip Karl Palmskog (Jun 09 2020 at 08:06):

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

view this post on Zulip Karl Palmskog (Jun 09 2020 at 08:09):

so along these lines CS topics of the future might be: Verification, Satisfiability Modulo Theories, Coq, Induction

view this post on Zulip Théo Zimmermann (Jun 09 2020 at 14:07):

There's also an Isabelle session, but at least this one is chaired by an Isabelle person (Lawrence Paulson).

view this post on Zulip Clément Pit-Claudel (Jun 12 2020 at 14:00):

And the "Interactive Theorem Proving" session also has one Coq paper

view this post on Zulip Karl Palmskog (Jun 12 2020 at 14:18):

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?

view this post on Zulip Karl Palmskog (Jun 12 2020 at 14:23):

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

view this post on Zulip Clément Pit-Claudel (Jun 14 2020 at 23:52):

Karl Palmskog said:

looks like two Coq papers to me, Affeldt et al. and yours?

Oh, nice, I missed that one! :)

view this post on Zulip Kazuhiko Sakaguchi (Jun 29 2020 at 10:08):

The "Formalization" session after the Coq session has another Coq related paper, but I hope its methodology is also applicable to Lean and Matita. :)

view this post on Zulip Karl Palmskog (Jul 03 2020 at 10:58):

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

view this post on Zulip Karl Palmskog (Jul 03 2020 at 11:01):

Streaming: https://fscd-ijcar-2020.org/streaming/diaporama

view this post on Zulip Karl Palmskog (Jul 03 2020 at 12:05):

IJCAR proceedings seem to be open access for the moment: https://link.springer.com/book/10.1007%2F978-3-030-51054-1

view this post on Zulip Théo Zimmermann (Jul 03 2020 at 12:45):

This link says "buy e-book" for me.

view this post on Zulip Cyril Cohen (Jul 03 2020 at 13:10):

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