Znanstvena radionica
Sustavi dokazivanja 2012
28. lipanj 2012, Dubrovnik, Hrvatska
![](http://imft.ftn.uns.ac.rs/math/cms/uploads/Main/Dubrovnik.jpg)
Znanstvena radiona "Sustavi dokazivanja" okuplja istraživače iz oblasti logike sa primenama u računarstvu. Prva radionica će se održati u Dubrovniku, 28. lipnja 2012. godine, paralelno sa konferencijom LICS2012.
Lokacija
IUC-Inter University Center Dubrovnik
Predavači
Vedran Čačić | Generalizirani trag i normalne forme za logiku interpretabilnosti![]() |
Marko Doko | Računanje generaliziranog traga za zatvoreni fragment logike interpretabilnosti![]() |
Silvia Ghilezan | Računske interpretacije intuicionističke i klasične logike![]() |
Jelena Ivetić | Formalni računi sa eksplicitnom kontrolom resursa![]() |
Svetlana Jakšić | Tipski sistemi u računarstvu![]() |
Marcel Maretić | Algoritamska ekvivalencija multiplarnih prirodnih dedukcija i semantičkih stabala![]() |
Zoran Ognjanović | Logike sa verovatnosnim operatorima![]() |
Tin Perkov | Teoremi karakterizacije u modalnoj logici![]() |
Program
Program u pdf formatu možete naći ovde.
Programski odbor
Organizacioni odbor
Organizatori
- Fakultet strojarstva i brodogradnje u Zagrebu
- Matematički odsjek Prirodoslovno-matematičkog fakulteta u Zagrebu