ogradica_gornja

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.

Monday 26.06.2023.
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
Tuesday 27.06.2023.
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"
Wednesday 28.06.2023.
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)
Thursday 29.06.2023.
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
Friday 30.06.2023.
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
abt_conf
ns
inv_sp
prog_com
org_com
abstract
con_prog
reg_details
post_conf
sectionII
ogradica_srednja
about_nis
about_abbottabad
about_cotonou
about_lahore
contact
bgd
conf_friends
archive
ogradica
3