Међународна конференција Logic and Applications 2018 (LAP 2018)


25.09.2018. - 07:14 

Седма међународна конференција Logic and Applications 2018 (LAP 2018) http://imft.ftn.uns.ac.rs/math/cms/LAP2018 се одржава у Дубровнику, Хрватска од 24. до 28. септембра 2018 године. LAP конференција окупља истраживаче и научнике из различитих области логике са акцентом на примене у рачунарским наукама.

LAP 2018 ове године организује и радионицу Formal Reasoning and Semantics (FORMALS 2018), У оквиру LAP-а, биће организована и студентска сесија.

Конференцију организује Математички институт Српске академије наука и уметности, у сарадњи са Факултетом техничких наука, Универзитета у Новом Саду.

LAP 2018 је подржан финансијским средствима од стране Central European Initiative – CEI-a (grant RN 1202.018-18)  која су намењена трошковима смештаја и путовања одређеног броја студената докторских студија и младих постдоктораната у свим областима математичке логике и примене.


Радни језик конференције је енглески.

Руководиоци конференције LAP:
Силвиа Гхилезан , Универзитет у Новом Саду, Србија
Звонимир Шикић, Универзитет у Загребу, Хрватска
Andre Scedrov, University of Pennsylvania, Philadelphia, United States
Thomas Studer, University of Bern, Switzerland
Зоран Огњановић, Математички институт САНУ, Београд, Србија