coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] ITP 2024 Call for Participation (September 9-14 2024, Tbilisi, Georgia)
Chronological Thread
- From: Yves Bertot <yves.bertot AT inria.fr>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] ITP 2024 Call for Participation (September 9-14 2024, Tbilisi, Georgia)
- Date: Thu, 13 Jun 2024 11:36:10 +0200
- Authentication-results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=yves.bertot AT inria.fr; dmarc=fail (p=none dis=none) d=inria.fr
=============================== ITP 2024 Call for Participation https://www.viam.science.tsu.ge/itp2024/ =============================== The Fifteenth International Conference on Interactive Theorem Proving (ITP 2024) will take place on September 9-14, 2024 in Tbilisi, Georgia. It is planned as a hybrid meeting. It will mostly be a face-to-face (physical) meeting but facilities will be provided for remote presentation and remote attendance. The ITP conference series is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics. This will be the 15th conference in the ITP series, while predecessor conferences from which it has evolved have been going since 1988. =============================== Registration =============================== - Early Registration Deadlines ITP - 19th July Workshops/School: 2nd August - Late Registration Deadlines ITP - 16th August Workshops/School: 30th August https://www.viam.science.tsu.ge/itp2024/registration =============================== Invited Speakers =============================== Frédéric Blanqui, INRIA Tobias Nipkow, Technical University of Munich =============================== Tutorial =============================== Evgenia Karunus, Visualising Mathematical Proof: Paperproof =============================== Accepted papers =============================== https://www.viam.science.tsu.ge/itp2024/program =============================== Workshops =============================== The EuroProofNet 2nd Workshop on the Development, Maintenance, Refactoring and Search of Large Libraries of Proofs https://europroofnet.github.io/wg4-tbilisi24/ The Isabelle Workshop 2024 https://sketis.net/isabelle/isabelle-workshop-2024 The Coq Workshop 2024 https://coq-workshop.gitlab.io/2024/ =============================== School =============================== Seventeenth International Tbilisi Summer School in Logic and Language https://www.logic.at/tbilisi24/
- [Coq-Club] ITP 2024 Call for Participation (September 9-14 2024, Tbilisi, Georgia), Yves Bertot, 06/13/2024
Archive powered by MHonArc 2.6.19+.