Invited Talks

• Predrag Janicic, Faculty of Mathematics, University of Belgrade

Title: "Geometrization of Geometry"

Abstract: Coherent logic (CL) or geometry logic is a (semi-decidable) fragment of FOL that can be considered to be an extension of resolution logic. CL is suitable for formalization and automation of various mathematical theories, including geometry. This talk will give an overview of developments in geometry based on CL: automated theorem provers for CL, CL-based formalizations of geometry, CL-based proof representation for geometry, links between CL and geometry construction problems, links between CL and geometrical illustrations, etc.

• Dominique Michelucci, University of Bourgogne.

Title: TBA