-
International
Chair in Mathematical Physics and Applications
(ICMPA-UNESCO Chair), University of
Abomey-Calavi, Benin
http://www.cipma.net/
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****************************************************
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 
