Međunarodna konferencija Logic and Applications 2018 (LAP 2018)


25.09.2018. - 07:14 

Sedma međunarodna konferencija Logic and Applications 2018 (LAP 2018) http://imft.ftn.uns.ac.rs/math/cms/LAP2018 se održava u Dubrovniku, Hrvatska od 24. do 28. septembra 2018 godine. LAP konferencija okuplja istraživače i naučnike iz različitih oblasti logike sa akcentom na primene u računarskim naukama.

LAP 2018 ove godine organizuje i radionicu Formal Reasoning and Semantics (FORMALS 2018), U okviru LAP-a, biće organizovana i studentska sesija.

Konferenciju organizuje Matematički institut Srpske akademije nauka i umetnosti, u saradnji sa Fakultetom tehničkih nauka, Univerziteta u Novom Sadu.

LAP 2018 je podržan finansijskim sredstvima od strane Central European Initiative – CEI-a (grant RN 1202.018-18)  koja su namenjena troškovima smeštaja i putovanja određenog broja studenata doktorskih studija i mladih postdoktoranata u svim oblastima matematičke logike i primene.


Radni jezik konferencije je engleski.

Rukovodioci konferencije LAP:
Silvia Ghilezan , Univerzitet u Novom Sadu, Srbija
Zvonimir Šikić, Univerzitet u Zagrebu, Hrvatska
Andre Scedrov, University of Pennsylvania, Philadelphia, United States
Thomas Studer, University of Bern, Switzerland
Zoran Ognjanović, Matematički institut SANU, Beograd, Srbija