Constructive Mathematics: Foundations and Practice
Month: June 2013
Date: June 24--28
Name: Constructive Mathematics: Foundations and Practice
Location: University of Nis (Faculty of Mechanical Engineering), Nis, Serbia.
The aims of the meeting are: (i) To offer mini-series of lectures presented by experts and designed to lead mathematicians (including graduate students) from the basic elements of constructive mathematics to a level where they can appreciate recent developments in the area. Each mini-series will comprise between 2 and 4 one-hour lectures.
The subjects covered will cover the foundations of constructive mathematics (logic, type theory, and set theory); the practice of constructive analysis, algebra, and topology; and constructive reverse mathematics. (ii) To enable selected speakers to present one-hour seminars on their recent research in aspects of constructive mathematics.