Preliminary Conference Programme

Monday, 9. 9. 2019

1200- 1700

Arrival and registration

1700

Conference opening

1710

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 single-criteria triangulations and we demonstrate how to solve any multi-criteria problem by genetic optimization.

1800

Dinner

1900

Get-together party

Tuesday, 10. 9. 2019

800 Breakfast
900- 1200 Presentation section 1
900- 945 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.

1200- 1400 Lunch
1400- 1800 Presentation section 2

1800

Dinner

1900

Meetings of societies SSGG, ÈSGG

Wednesday, 11. 9. 2019

800 Breakfast
900- 1200 Presentation section 3
900- 945 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.

1200- 1300 Lunch
1300 Excursion (with possible shift on Thursday based on weather forcast)

1800

Dinner

1900

Conference dinner

Thursday, 12. 9. 2019

800 Breakfast
900- 1100 Presentation section 4
1200- 1300 Lunch
1300 Departure