Tentative program LAP 2013

Monday, 16/09/2013, 16:00-18:30

Zoran OgnjanovićHierarchies of probability logics
Zvonimir ŠikićGoedel's incompleteness theorem and Man-machine non-equivalence

Tuesday, 17/09/2013, 10:00-12:30

Silvia GhilezanReducibility method: an overview
Branislav Boričić, Mirjana IlićProblems in formulating the consecution calculus of contraction-less relevant logics

Tuesday, 17/09/2013, 16:00-18:30

Tajana Ban KiriginTimed Collaborative Systems with Real Time
Thomas StuderCut elimination for modal fixed point logics

Wednesday, 18/09/2013, 10:00-12:30

Mladen VukovićInterpretability logic
Vedran ČačićCombinatorial aspects of interpretability logic

Wednesday, 18/09/2013, 16:00-18:00 Round table discussion

Thursday, 19/09/2013, 10:00-13:00

Marcel MaretićMultiple conclusion deductions in classical logic
Petar MaksimovićLFP - a logical framework with external predicates
Ante ĐerekProtocol composition logic
Dragiša ŽunićThe unessential in classical logic and computation

Friday, 20/09/2013, 10:00-12:30

Andre ScedrovCollaborative systems
Miodrag MihaljevićOn certain problems of cryptology and computational complexity of processing over uncertain data