PROVISIONAL PROGRAM - CM:FP 2023 NIŠ
The conference was held at the Faculty of Mehcanical Engineering, University of Niš, Serbia (June 26-30, 2023). All sessions were streamed live for the online participants. The session recordings will be available soon. Presentation slides can be found within the conference programme bellow.
The following recording is a presentation of the Center for Applied Mathematics of the Faculty of Mechanical Engineering, CAM-FMEN, given by Professor Melanija Mitrović, the Head of CAM-FMEN during the Opening ceremony of the conference.
The following recording is the opening word given by prof. Mahouton Norbert Hounkonnou from the University of Abomey-Calavi.
0930 - 1000 | Registration – participants and guests |
1000 - 1100 | OPENING CEREMONY |
1100 - 1130 | Cocktail |
KEYNOTE TALKS | |
1130 - 1210 | Anil Nerode: Errett Bishop - Memories |
1210 - 1250 | Karly Kehoe: Rethinking the Enlightenment: A Humanities Perspective |
1250 - 1400 | Lunch break |
1400 - 1440 | Michael Rathjen: Reflections on the "Handbook of Constructive Mathematics" Project |
SECTION I | |
1440 - 1515 | Laura Crosilla: Errett Bishop: A Philosophical Perspective |
1515 - 1525 | Coffee break |
1525 - 1600 | Iosif Petrakis: Strong Constructive Mathematics |
1600 - 1635 | Branislav Dobrasin Vlahovic: Cardinality of Real Numbers and Set Axiomatization |
1635 - 1710 | Helmut Schwichtenberg: A Theory of Computable Functionals |
1930 CONCERT |
SECTION II | |
0900 - 0935 | Alexei Semenov: Constructionism for the Primary Education of Digitally Extended Individual |
0935 - 1010 | Alexander Shen: Constructive Mathematics and Teaching |
1010 - 1030 | Coffee break |
1030 - 1105 | Maurice Chiodo: Teaching Ethics to AI Developers |
1105 - 1140 | Alexandre Borovik: School Maths for the Era of AI: Arithmetic, Algorithmic, Algebra |
1140 - 1200 | Coffee break |
1200 - 1235 | Ali Nesin: My Experiences and Thoughts About Education |
1235 - 1435 | Lunch break |
SECTION I | |
1435 - 1510 | Brendan Larvor: AI: Bad News for Bad Teachers |
1510 - 1545 | Zoltan A. Kocsis: Degree of Satisfiabiltiy in (Algebras Related to) the Intuitionistic Propositional Calculus |
1545 - 1600 | Coffee break |
1600 - 1635 | Ingo Blechschmidt: Constructive Mathematics for Mathematical Phantoms: A Report on the Emerging Synthetic Account of Algebraic Geometry |
1830 NTP EXHIBITION "Dialogues with Artificial Intelligence" |
SECTION I | |
0800 - 0835 | Robert Lubarsky: On The Necessity of Some Topological Spaces |
0835 - 910 | Davorin Lešnik: Natural Topology and Covering Subgroups |
0910 - 0930 | Coffee break |
0930 - 0950 | Frédéric Paugam: Towards a Constructive Version of Berkovich’s Analytic Geometry |
0950 - 1025 | Maria Emilia Maietti: Distinctive Features of the Minimalist Foundation for Constructive Mathematics |
1025 - 1040 | Coffee break |
SECTION II | |
1040 - 1115 | Alex Marland: Bridging the Divide Between Mathematics and Social Science |
1115 - 1150 | Raymond Sewell: Re-storying Lands: Storytelling, Pantheon, Language, Song |
1150 - 1200 | Coffee break |
1200 - 1235 | Cesare D. Ardito: Large Language Models and Mathematics Higher Education |
1235 - 1430 | Lunch break |
1500 EXCURSION and House of Old
Crafts (gatherning in front of the Faculty of Mechanical Engineering) |
SECTION I | |
0900 - 0935 | Alexei Semenov: OA Constructivism Line in Mathematics and Computing of XX– XXI Century |
0935 - 1015 | Yuri I. Ozhigov: Сonstructivism of the Microcosm |
1015 - 1035 | Coffee break |
1035 - 1110 | Sam Sanders: The Biggest Five of Reverse Mathematics and the Limits of Constructivisation |
1110 - 1145 | Tatsuji Kawai: WKL Implies UCT |
1145 - 1155 | Coffee break |
1155 - 1230 | Takako Nemoto: De Morgan’s Law and Related Principles in Constructive Reverse Mathematics |
1230 - 1430 | Lunch break |
SECTION II | |
1430 - 1505 | Connie V. Nshemereirwe: When A is not for Apple |
1505 - 1540 | Yagmur Denizhan: Conflict of Interest Between Education and Automation |
1540 - 1555 | Coffee break |
1555 - 1630 | Vladimir Pavlović: The Application of AI and Quantum Computing in STEM Education |
1630 - 1650 | Shkelqim Hajrulla: The Impact of Constructive Learning Applied to the Teaching of Numerical Methods |
1930 CONFERENCE DINNER |
SECTION II | |
0900 - 0935 | Alexandre Borovik: Black Box Algebra |
0935 - 1010 | Ian Benson: Mathematizing, Language/Action and System Development |
1010 - 1030 | Coffee break |
1030 - 1050 | Zoran Vidović: Posterior Analysis of Gompertz Distribution Based on Records |
1050 - 1100 | Coffee break |
SECTION I | |
1100 - 1135 | Silvia Ghilezan: Kripke-Style Semantics for Computation |
1135 - 1210 | Zoran Petrić: Intuitionistic Logic and Proof Theory |
1210 - 1400 Discussion and CLOSING CEREMONY |