Tentative programme LAP 2014

Monday, 22/09/2014

Zvonimir ŠikićOn probable conditionals
Dieter SpreenInformation Frames

Tuesday, 23/09/2014

Dragan Doder, John Grant, Zoran OgnjanovićLogics for probabilistic spatio-temporal reasoning
Max Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov, Carolyn TalcottTime-Bounding Needham-Schroeder Public Key Exchange Protocol
Mladen VukovićLindström theorem for modal logic
Tin PerkovNatural deduction for modal logic of judgment aggregation
Silvia GhilezanLambek's computational approach to conjugation

Wednesday, 24/09/2014

Thomas StuderJustification Logic
Pierre LescanneThe rationality of escalation an unexpected use of coinduction in economics

Thursday, 25/09/2014

Jose Martinez FernandezNon-monotonic extensions of the weak Kleene clone with constants
Jelena Ivetić, Silvia Ghilezan, Pierre Lescanne, Silvia LikavecApproaching substructural term calculi via the resource control calculus
Andre ScedrovProgressing Collaborative Systems and Bounded Memory Protocols
Giuseppe Greco, Sabine FrittellaDisplay-type calculi
Nenad SavićCertain applications of ultraproducts series
Darko BiljakovićArithmetical aspects of generalized power

Friday, 26/09/2014

Round table discussion