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 Ghilezan	Reducibility 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 Kirigin	Timed Collaborative Systems with Real Time
Thomas Studer	Cut 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 Đerek	Protocol composition logic
Dragiša Žunić	The unessential in classical logic and computation

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

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