Sve veća aktualnost i značaj logike kao znanstvene discipline

Treća međunarodna konferencija Logic and Applications (LAP 2014), održava se ovaj tjedan u Interuniverzitetskom centru Dubrovniku od 22. do 26. 9. 2014. god. Okupila je više od dvadeset istaknutih znanstvenika sa tri kontinenta, koji se bave istraživanjima u području matematičke logike i njenih primjena.Tokom pet dana trajanja konferencije, prezentirati će se i diskutirani rezultati istraživanja koji nedvosmisleno ukazuju na sve veću aktualnost i značaj logike kao znanstvene discipline. Posebno treba istaći radove iz područja primjene logike na mnoga područja znanosti i tehnologije – od računarstva i informacijskih tehnologija, preko formalizacije sustava za globalno pozicioniranje i sigurnosnih protokola, pa sve do ekonomije, lingvistike i društvenih znanosti (primjena logičkih metoda je zastupljena u situacijama u kojima se javlja potreba za formalizacijom i automatizacijom procesa i sustava koji sadrže elemente rezoniranja i odlučivanja). Pojedina izlaganja će dijelom biti koncipirana kao tutorijali, prvenstveno namjenjena prisutnim studentima doktorskih studija, te je LAP 2014 ove godine ostvario dvojaku funkciju – znanstvene konferencije i škole. DV