Date: 14 September 2024, colocated with the 15th Conference on Interactive Theorem Proving (ITP’24) on September 9-13, the Coq workshop and the Isabelle workshop on September 14.

Venue: Tbilisi State University, Chavchavadze ave. 1, 0179 Tbilisi, Georgia

Call for talk proposals: If you are interested in giving a talk, send a mail to Frédéric Blanqui with a title and short abstract before July 16. We welcome talks, tutorials, demos, on library descriptions or on methodologies, algorithms and tools trying to tackle the challenges raised by the development, maintenance, refactoring and search of large libraries of proofs.

Registration: Registration is free but mandatory. To attend the workshop, please send a mail to Frédéric Blanqui.

Funding application: If you want to be reimbursed of your transport to Tbilisi, and of your accommodation and meals during the workshop (including a day before/after), following the COST reimbursement rules, with a daily allowance of 80 euros, you need to:

  • check your eligibility
  • register to at least one EuroProofNet working group
  • send a mail to Frédéric Blanqui with the following information: departure date from home, return date at home, and estimation in EUROS of the transport to Tbilisi with a screen capture, before July 16

Scientific organizers: Frédéric Blanqui, Angeliki Koutsoukou Argyraki and Claudio Sacerdoti

Local organizer: Besik Dundua

Previous workshop: 1st EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs