Znanstvena radionica

Sustavi dokazivanja 2012

28. lipanj 2012, Dubrovnik, Hrvatska

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.

Radionica je počevši od 2013. godine prerasla u seriju godišnjih konferencija LAP - Logic and Applications.

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

• Mladen Vuković
• Zvonimir Šikić
• Silvia Ghilezan
• Zoran Ognjanović
• Jovanka Pantović

Organizacioni odbor

• Mladen Vuković
• Zvonimir Šikić
• Jelena Ivetić

Organizatori

• Fakultet strojarstva i brodogradnje u Zagrebu
• Matematički odsjek Prirodoslovno-matematičkog fakulteta u Zagrebu