The Coq mailing list

[Fabian Kunze <fabian.kunze AT cs.uni-saarland.de>]

------------------------------------------------------

Call for Participation

------------------------------------------------------

------------------------------------------------------

Proof Ground 2020

Interactive Proving Contest

June 29, 2020

https://www21.in.tum.de/~wimmers/proofground/

------------------------------------------------------

at IJCAR 2020

International Joint Conference on Automated Reasoning

June 29 - July 5, 2020,  (originally in) Paris, France, now fully virtual

https://ijcar2020.org/

------------------------------------------------------

This workshop brings together researchers of the ITP community to compete in a "proving contest".

While programming contests (e.g. ACM ICPC, International Olympiad in

Informatics) challenge large numbers of participants to solve

algorithmic problems within a short time, we envision proving contests

to entice proof engineers to formally prove small but interesting

problems from mathematics or computer science.

Proof Ground 2020 will employ a contest system (https://competition.isabelle.systems/), which is currently used for teaching and hosting proving contests in Coq, Isabelle, and Lean.

Proof Ground 2020 is part of the Paris Nord Summer of LoVe 2020 (https://lipn.univ-paris13.fr/summer-of-love-2020/), a joint event on LOgic and VErification at Université Paris 13,

made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events.

As the main conferences of Paris Nord Summer of LoVe will happen as virtual conferences due to the Covid-19 outbreak, Proof Ground will also take a purely virtual format.

The first edition (https://www21.in.tum.de/~wimmers/proofground2019/) of the workshop has been held at ITP 2019 (https://itp19.cecs.pdx.edu/).

Important Dates

- The registration is now open (https://ijcar2020.org/registration/)

- Workshop and Competition:  June 29, 2020

Organizers

   Maximilian P. L. Haslbeck

   Tobias Nipkow

   Simon Wimmer