European Research Network on Formal Proofs
COST action CA20111
COST logo
EU flag and COST acknowledgement
COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.

Organizer: Pedro Quaresma

Local Organizer: Anna Petiurenko

Date: 3-5 June 2025

Remark: the official dates of the meeting taken into account for reimbursements are from 2 to 5 of May (3 days). However, since most people will arrive on the 1st and leave on the 6th, some planning for those days is foressen.

Venue: Institute of Mathematics, UKEN Instytut Matematyki University of the National Education Commission, Krakow; 30-084 Kraków ul.

How to get there? T.B.A.

Programme: Building a common database of theorems. The need for a common database of theorems for geometric automated theorem provers is felt for many years now. Efforts like the TGTP, Thousand of Geometric problems for geometric Theorem Provers and the different set of examples contained in the various GATP currently available, must be rethink, fused, remade or a new system should emerge. A common format for geometry, interGeo, was the output of a former COST action, but it didn’t support geometric problems, only geometric constructions, and in any case is now defunct. Instead, we want to define a signature on top of the (widely used) FOF (first-order-format) of TPTP, Thousands of Problems for Theorem Provers problem library, a second step a browsable library of problems must be specified, and then filters from/to the library and the GATPs must be built.

Objectives/Deliverables:

  • to define a signature on top of the (widely used) FOF (first-order-format) of TPTP, Thousands of Problems for Theorem Provers problem library rules.

  • a browsable library of problems for geometric automated theorem provers

Application procedure: The number of participants is limited. If you want to be funded, check the eligibility rules and send a mail to Pedro Quaresma with the following information and documents:

  • URL of your homepage
  • planned date and time of arrival
  • planned date and time of departure
  • cost of travel in euros with quote (screen capture)
  • work plan: describe what you would like to do

Application deadline: 8/3/2025

Cost: Participants have to organize their travel by themselves. The hotel rooms are 80euros per night including breakfast, lunch is 8 euros. See the reimbursement rules for more details. The daily allowance is fixed at 110 euros.