At the first speech of the seminar which specialist academicians in their fields were quest, Galatasaray University Lecturer Prof. Muhammed Uludağ Ph.D. expressed that it is possible to verify the proofs of math theories with computer programs, but that will not carry out in full, and even the part that can be realized requires a number of commands, on the presentation titled “Topological Surfaces and Homotopy Types”. Second speaker Hakan Ayral Ph.D. from Galatasaray University mentioned bitcoin and other crypto money, one of the most current and interesting topics nowadays. Ayral Ph.D. informed on what kind of advantages there is at crypto money compared to existing money and e-banking technology and how the system works.

At the second day of the activity, first speaker Lecturer Prof. Yusuf Ünlü Ph.D. from Yeditepe University told Farey series, and the existence and geometrical shapes of the terms of these series with the computer program. The last speaker of our university, retired Lecturer Prof. Nurettin Ergun Ph.D. offered two proofs of different methods of geometric shape named trapezoidal in his talk titled “About Convex Quadrilaterals”. He is a common writer in the first of the proofs.