Tentative programme LAP 2014
Monday, 22/09/2014
| Zvonimir Šikić | On probable conditionals |
| Dieter Spreen | Information 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 Talcott | Time-Bounding Needham-Schroeder Public Key Exchange Protocol |
| Mladen Vuković | Lindström theorem for modal logic |
| Tin Perkov | Natural deduction for modal logic of judgment aggregation |
| Silvia Ghilezan | Lambek's computational approach to conjugation |
Wednesday, 24/09/2014
| Thomas Studer | Justification Logic |
| Pierre Lescanne | The rationality of escalation an unexpected use of coinduction in economics |
Thursday, 25/09/2014
| Jose Martinez Fernandez | Non-monotonic extensions of the weak Kleene clone with constants |
| Jelena Ivetić, Silvia Ghilezan, Pierre Lescanne, Silvia Likavec | Approaching substructural term calculi via the resource control calculus |
| Andre Scedrov | Progressing Collaborative Systems and Bounded Memory Protocols |
| Giuseppe Greco, Sabine Frittella | Display-type calculi |
| Nenad Savić | Certain applications of ultraproducts series |
| Darko Biljaković | Arithmetical aspects of generalized power |
Friday, 26/09/2014
| Round table discussion |