ИСТОРИЈАТ ЛОГИКЕ У СРБИЈИ

14. и 15. јун 2010.

Математички факултет

Студентски трг 16

сала 706

ПРОГРАМ

ПРВИ ДАН	14. 06. 2010
10.00-10.15	Миодраг Матељевић Зоран Марковић Жарко Мијајловић	Отварање
10.20-10.35	Андреј Шуман	Main Tendencies of History of Logic in Central and Eastern Europe
10.40-10.55	Звонимир Шикић	Logic in Croatia in XX century
11.00-11.15	Миомир Станковић Радомир Станковић	Teaching and Research in Mathematical Logic at the University of Niš
11.20-12.00	П А У З А
12.00-12.15	Жарко Мијајловић	Đuro Kurepa (1907-1993)
12.20-12.35	Слободан Вујошевић	Aleksandar Kron in Relevance Logic
12.40-12.55	Драгић Банковић	Note on Slaviša Prešić
13.00-13.15	Милан Божић	Mihailo Marković
13.20-13.35	Светлана Књазев-Адамовић	Dialectic and logic
13.40-14.00	П А У З А
14.00-14.15	Смиле Марковски	Algebra and Logic in Macedonia - a tribute to Prof. G. Čupona (1930 - 2009)
14.20-14.35	Ђорђе Вукомановић	A brief history of the Logic Seminar in Serbia
14.40-14.55	Мирјана Борисављевић	Doctoral Dissertations in Logic

ДРУГИ ДАН	15. 06. 2010
10.00-10.15	Миодраг Рашковић	Development of Nonstandard Analysis and Probability Logics in Serbia
10.20-10.35	Зоран Марковић	Intuitionism
10.40-10.55	Милош Курилић	On Contribution of Serbian Mathematicians to Set Theory
11.00-11.15	Силвија Гилезан	Logic, Computation and Communication
11.20-12.00	П А У З А
12.00-12.15	Предраг Тановић	Model theory in Serbia
12.20-12.35	Зоран Петрић	Categorial Proof Theory in Serbia
12.40-12.55	Миодраг Капетановић Александар Крапеж	Semantic tableaux method and its application in automated theorem provers in logical systems
13.00-13.15	Предраг Јаничић	Overview of Automated Reasoning in Serbia
13.20-13.40	П А У З А
13.40-13.55	Драгана Тодорић	Multi-valued logics and Gröbner bases
14.00-14.15	Зоран Петровић	An overview of development of Algebra in Serbia
14.20-14.35	Бранислав Боричић	Textbooks and monographs in logic
14.40-14.55	Стево Тодорчевић	Set Theory in Serbian diaspora
15.00-15.15		Затварање