Preliminary Conference Programme
Monday, 9. 9. 2019
12^{00} 17^{00}

Arrival and registration 
17^{00 } 
Conference opening 
17^{10 } 
Invited lecture
Andrej Ferko (Slovakia), Ivana Kolingerová (Czech Republic): On specializing triangulations
Triangulation of the given point set in the plane is frequently solved for diverse applications. Many criteria have been developed to provide specialized meshes, namely weight and angular criteria. We study how to compute a triangulation which satisfies more than one criterion or which contains parts according to several various criteria. We discuss selected results and applications of multiple singlecriteria triangulations and we demonstrate how to solve any multicriteria problem by genetic optimization.

18^{00} 
Dinner 
19^{00} 
Gettogether party 
Tuesday, 10. 9. 2019
8^{00} 
Breakfast 
9^{00} 12^{00} 
Presentation section 1 
9^{00} 9^{45} 
Invited lecture
Jan Vršek (Czech Republic):
Computing projective equivalences of algebraic varieties
The talk is devoted to the investigation of the computation of projective (and other) equivalences of algebraic varieties. In particular, we will focus on the cases when the problem can be reduced to the detection of equivalences between finite sets on the projective line. The functionality of the designed method is presented for computing projective equivalences of rational curves, on determining projective equivalences of rational ruled surfaces, on the detection of affine transformations between planar curves, and on computing similarities between two implicitly given algebraic surfaces. When possible, symmetries of given shapes are also discussed as special cases.

12^{00} 14^{00} 
Lunch 
14^{00} 18^{00} 
Presentation section 2 
18^{00} 
Dinner 
19^{00} 
Meetings of societies SSGG, ÈSGG 
Wednesday, 11. 9. 2019
8^{00} 
Breakfast 
9^{00} 12^{00} 
Presentation section 3 
9^{00} 9^{45} 
Invited lecture
Zlatan Magajna (Slovenia): Automated observation of dynamic geometric constructions in school geometry
It is very hard to predict the role of new technologies once they are introduced in school mathematics. Dynamic geometry systems are by no means an example of successful implementation of a new technology, for today they are widely used in schools all over the world. In last decade new types of software with potentials in school geometry came to light, in particular programs for automated proving and, less known, programs for automated observation. While dynamic geometry software is aimed at conceptual understanding and exploration in geometry, the other two types of programs are focused on proving and argumentation in geometry.
We shall present the very basic principles of automatic proving in geometry and, in greater detail, OK Geometry, a software for automated observation of dynamic constructions. OK Geometry generates plausible hypotheses, but does not prove them. The research on the use of these programs in school setting (at any school level) is very limited as is their use in schools. These programs, in particular those for automated proving of geometry statements, introduce new paradigms in proving, thus it is hard to predict their trajectory in school mathematics. However, they raise important questions and dilemmas on concepts related to proofs and proving, ways of working out proofs, ways of presenting proofs. 
12^{00} 13^{00} 
Lunch 
13^{00} 
Excursion (with possible shift on Thursday based on weather forcast) 
18^{00} 
Dinner 
19^{00} 
Conference dinner 
Thursday, 12. 9. 2019
8^{00} 
Breakfast 
9^{00} 11^{00} 
Presentation section 4 
12^{00} 13^{00} 
Lunch 
13^{00} 
Departure 
