|
|
| My Account · My Cart · Customer Services · FAQ |
Constructive Mathematics: Foundations and PracticeMonth: June 2013 Date: June 24--28 Name: Constructive Mathematics: Foundations and Practice Location: University of Nis (Faculty of Mechanical Engineering), Nis, Serbia. AimThe 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. SubjectsThe 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. Information |
