Book of abstracts
The main aims of the meeting are:
-To provide mini-series of lectures, presented by experts and designed
to lead mathematicians (including graduate students) from the basic
constructive mathematics to a level where they can appreciate recent
developments in the area. Each mini-series will comprise between 2 and
one-hour lectures. The subjects covered will cover the foundations of
constructive mathematics (logic, type theory, and set theory); the
constructive analysis, algebra, and topology; and constructive reverse
-To enable selected speakers to present one-hour
seminars on their
recent research in aspects of constructive mathematics.
schedule of the meeting will have slots for a small number of short
talks by non-invited speakers. Abstracts, of most two pages, for such
talks may be submitted, only as pdf files, to the following email
The closing date for submission of abstracts is 30 April 2013.
The abstracts will be refereed, and it is expected that the outcome on
refereeing process will be communicated to the authors by 10 May 2013.
A registration desk will be set up during the
conference. The registration fee is payable in cash upon arrival; it covers printed
materials (such as the booklet of submitted abstracts), refreshments and snacks:
Registration fee: 50 EUR
Conference dinner: 20 EUR
Excursion: 10 EUR
The meeting will be sponsored by the University of Niš,
Faculty of Mechanical Engineering of University of Niš and Ministry of Education, Science and Technological Development of the Republic of Serbia and will be
part of the celebration of the 1700th anniversary of the Edict of
was signed by emperors Constantine and Licinius in 313 AD and which
the era of religious toleration for the Christian faith in the Roman
Constantine ("The Great") was born in the Roman city of Naissus,
present-day Niš, in 272 AD.