gornji_deo
ogradica_gornja




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 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.
           -To enable selected speakers to present one-hour seminars on their recent research in aspects of constructive mathematics.

            Submissions  

The 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 address:

            cmfp2013@masfak.ni.ac.rs

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 Milan, which was signed by emperors Constantine and Licinius in 313 AD and which initiated the era of religious toleration for the Christian faith in the Roman Empire. Constantine ("The Great") was born in the Roman city of Naissus, present-day Niš, in 272 AD.


abt_conf
inv_speak
conf_prog
participants
org_comm
contact
ogradica_srednja
NIŠ
acc
usf_nfo
act_nfo
abt_site
conf_friends
ogradica
3