Rule based automated provers for geometry, 3-5 June 2025, Krakow, Poland

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: Novotel Krakow City West Novotel Krakow City West, Al. Armii Krajowej 11, 30-150 CRACOW, Poland.

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

Registered participants:

Nuno Baeta (U. Coimbra, Portugal); Predrag Janičić (U. Belgrade, Serbia); Zoltán Kovács (Private U. of Education Diocese Linz, Austria); Filip Marić (U. Belgrade Serbia); Julien Narboux (U. Paris, France); Pedro Quaresma (U. Coimbra, Portugal); Alexander Vujic (Private U. of Education Diocese Linz, Austria) Anna Petiurenko (U. of the National Education Commission, Krakow, Poland) and also joining the group Philip Hallwirth (Private U. of Education Diocese Linz, Austria); Adam Trybus (Jagiellonian University, Krakow, Poland).

Photographies of the Event:

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.