Email Gateway (Aug 23 2022 at 09:14): Email Gateway (Aug 23 2022 at 09:14):From: Max Haslbeck <haslbema@in.tum.de>
Dear Isabelle enthusiasts,
we are organizing another edition of the proving competition workshop
"Proof Ground", which will take place virtually June 29, just before IJCAR
and the Isabelle workshop.
Please take note of our call for participation, and spread the word!
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
Organizers
Maximilian P. L. Haslbeck
Tobias Nipkow
Simon Wimmer
Last updated: Nov 21 2024 at 12:39 UTC