Within  conference series 

 

CONSTRUCTIVE MATHEMATICS

as a  BRIDGE BETWEEN CLASSICAL MATHEMATICS, MATHEMATICAL EDUCATION,

PHILOSOPHY OF MATHEMATICS  and COMPUTER SCIENCES

- AN APPEALING INTELECTUAL UNIFICATION

 

we are pleased to announce the second edition of the series, entitled  

************************************************************************************

Constructive Mathematics: Foundations and Practice

CM:FP 2023

In the memory of Errett Bishop  (July 14, 1928 – April 14, 1983)

June, 26 – 30, 2023

cmfp2023.masfak.ni.ac.rs

****************************************************

CM:FP 2023 - First  Announcement
----------------------------------------------------------------

The main aims of the conference are:

• To provide an opportunity for selected experts to present and discuss their recent research in seminars that relate to the various aspects and implications of constructive mathematics.
• To hold a mini-series of lectures, presented by experts in the various fields and designed to inform academics from STEM disciplines and Humanities (including graduate students) of the recent developments in constructive mathematics and its applications. 

Topics include, but are not limited to:

          * the foundations of constructive mathematics (logic, type theory, and set theory);

          * the practice of constructive analysis, algebra, and topology;

          * constructive reverse mathematics;

          * the implications of constructive mathematics to mathematics education today;

          * the relationship of constructive mathematics to the computer science and AI;

          * the implications for the psychology of mathematics.

 

 The conference CM:FP 2023  will take place in Niš, Serbia, at the Faculty of Mechanical  Engineering.

Join us at this important conference CM:FP 2023 on June 2023, in Niš!

                         Melanija Mitrović,  Mahouton Norbert Hounkonnou, Marcel Danesi and Dragana Martinovic