LAP 2015 CONFERENCE ANNOUNCEMENT
LOGIC AND APPLICATIONS - LAP 2015
September 21-25, 2015, Dubrovnik, Croatia
http://imft.ftn.uns.ac.rs/math/cms/LAP2015
The conference brings together researchers from various fields of logic with applications in computer science.
Topics of interest include, but are not restricted to:
- Formal systems of classical and non-classical logic;
- Category theory;
- Proof theory;
- Lambda calculus;
- Type theory
- Process algebras and calculi;
- Behavioural types;
- Systems of reasoning in the presence of incomplete, imprecise and/or contradictory information;
- Computational complexity;
- Interactive theorem provers.
Student sessions will be organized.
The first conference Proof Systems was held in Dubrovnik on June 28, 2012, co-located with the conference LICS 2012.
LAP 2013 was held in Dubrovnik, September 16-20, 2013
LAP 2014 was held in Dubrovnik, September 22-26, 2014
IMPORTANT DATES
Abstract Submission: June 1, 2015
Author Notification: June 25, 2015
Final version: July 5, 2015
SUBMISSION
Authors should submit an abstract in LaTeX format, not exceeding three pages, to
vlp@mi.sanu.ac.rs
(with the subject "LAP 2015").
LOCATION:
IUC - Inter University Center Dubrovnik
COURSE DIRECTORS
- Zvonimir Šikić, University of Zagreb
- Andre Scedrov, University of Pennsylvania
- Silvia Ghilezan, University of Novi Sad
- Zoran Ognjanović, Mathematical Institute SANU, Belgrade
детаљније
Наредни састанак семинара одржаће се у уторак 10. марта 2015, од 14 до 16 сати, у сали 844 на Математичком факултету у Београду.
Предавач: Ђорђе Баралић
Наслов предавања: Лебегова димензија, прости политопи и квазиторусне многострукости
Апстракт:
Показаћемо како се класичне теореме Лебега (о покривању коцке) и Кнастера-Куратовског-Мазуркиевича (о покривању симплекса) генералишу на широке класе простих политопа.
Излагање је базирано на чланку, Colorful versions of the Lebesgue, KKM, and Hex theorem http://arxiv.org/abs/1412.8621
детаљније
Амбасада Индије позива Вас на интерактивну презентацију Бирада Раџарама Јаџника о Махатми Гандију.
Кроз интерактивни медијални разговор омогућиће се глобалним грађанима да у данашњем времену поистовете своје животе са животом Гандија. Даће им инспирацију да крену путем Мира, Истине и Ахимсе.
На презентацији ће бити подељена сећања о Гандију водећих светских државника и утицајних личности данашњице као доказ да је Ганди још увек присутан међу нама.
Више о предавању на веб-сајту Центра Сава
детаљније
Наредни састанак Семинара из астрономије и астрофизике одржаће се у уторак 10. марта 2015. године, у 18 сати, у учионици 809.
Предавач: др Бранислав Вукотић (научни сарадник Астрономске опсерваторије)
Наслов предавања: "Модели Галактичке настањивости"
детаљније
Књига „Нестандардна анализа”, у издању Математичког факултета, аутора Жарка Мијајловића, Миодрага Рашковића, Радосава Ђорђевића и покојног Драгољуба Аранђеловића може се купити у књижари на Студентском тргу.
детаљније
Математички факултет ће се и ове године представити потенцијалним будућим студентима и њиховим родитељима на 12. Међународном сајму образовања у петак 6. марта и суботу 7. марта 2015.
На заједничком штанду Универзитета у Београду заинтересовани ће моћи да добију бесплатни штампани материјал, а за одговоре на питања посетилаца биће задужени наши представници.
Дешавање: http://www.edufair.rs/
Место: Хотел Краун Плаза (Crowne Plaza, бивши Континентал) Нови Београд
Датум: петак 6. и субота 7. март 2015.
Време: 10 - 18 сати
Посетите нас и информишите се о студијским програмима Математичког факултета на заједничком штанду Универзитета у Београду на Међународном сајму образовања.
Фотографије са претходних сајмова
2009.
2010.
2012.
2013.
детаљније
Семинар Биоинформатика наставља са радом у овом семестру са намером да укључи већи број и шири спектар институција и учесника који се баве сродним темама. Планирано је да се семинар одржава сваке друге среде од 18 часова у сали 718/IV на Математичком факултету, а први састанак у овом семестру биће у среду, 4. марта 2015. Тема првог састанка је уводног карактера, "Биоинформатика на Математичком факултету", предавач професор др Ненад Митић.
Организатори семинара су проф. др Гордана Павловић-Лажетић, проф. др Бранко Драговић и проф. др Ненад Митић, руководилац.
детаљније
Наредни састанак семинара биће одржан у среду 4. марта 2015. у сали 301ф Математичког института САНУ у 15 сати.
Предавач: Владимир Јанковић, Математички факултет, Београд
Наслов предавања: Увод у оптимално управљање - Понтрјагинов принцип максимума, специјални курс
*****
Састанци Семинара одржавају се у Математичком институту САНУ, Кнеза Михаила 36, трећи спрат, сала 301ф.
*****
http://www.mi.sanu.ac.rs/mmm/
детаљније
The Cyprus Mathematical Society and the Thales Foundation, in cooperation with the Le-MATH Project Focus Group, the Hellenic Mathematical Society and the Mathematical Society of the South Eastern Europe and the European Mathematical Society are organizing the European Student Conference in Mathematics - EUROMATH 2015.
The event is growing and at the moment we have more than 300 registered students and teacher and our goal is to increase it to 400+.
Since we will have more than 90 presentations from students and more than 10 workshops for students, we cannot accept more contributions for the program, as it is full, but we will be happy to have conference participants.
Gregory Makrides, Chair, EUROMATH 2015
детаљније
