| Wednesday – 26th September | |||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 9:00 | Registration | ||||||||||||||||||
| 9:30 | Yiannis Moschovakis Some foundational questions (and some answers) about algorithms |
||||||||||||||||||
| 10:30 | Coffee-Break | ||||||||||||||||||
| 11:00 | An abstract framework for logic programming semantics Thanos Tsouanas |
||||||||||||||||||
| 11:30 | On Three-Valued Acceptance Conditions of Abstract Dialectical Frameworks João Alcântara and Samy Sá |
||||||||||||||||||
| 12:00 | Lunch | ||||||||||||||||||
| 14:00 | Amy Felty A Linear Logical Framework for Reasoning about Quantum Programming Languages |
||||||||||||||||||
| 15:00 | A Formalisation of Nominal C-Matching through Unification with Protected Variables Mauricio Ayala-Rincon, Maribel Fernandez, Washington de Carvalho Segundo and Daniele Nantes-Sobrinho |
||||||||||||||||||
| 15:30 | Coffee-Break | ||||||||||||||||||
| 16:00 | Some Applications of the Formalization of the Pumping Lemma for Context-Free Languages Marcus Ramos, José Bacelar Almeida, Nelma Moreira and Ruy De Queiroz |
||||||||||||||||||
| 16:30 | First steps towards a formalization of Forcing Emmanuel Gunther, Miguel Pagano and Pedro Sánchez Terraf |
||||||||||||||||||
| 17:00 | Proper Multi-Type Display Calculi for Rough Algebras Giuseppe Greco, Fei Liang, Krishna Manoorkar and Alessandra Palmigiano |
||||||||||||||||||
| Thursday – 27th September | |||||||||||||||||||
| 9:00 | |||||||||||||||||||
| 9:30 | Andreas Herzig Dynamic logic of propositional assignments as a framework for knowledge representation |
||||||||||||||||||
| 10:30 | Coffee-Break | ||||||||||||||||||
| 11:00 | Dynamic Epistemic Logic with Communication Actions Mario Roberto Folhadela Benevides and Isaque Macalam Saab Lima |
||||||||||||||||||
| 11:30 | Epistemic Logics with Structured Knowledge Alexandre Madeira, Manuel A. Martins and Mario Benevides |
||||||||||||||||||
| 12:00 | Lunch | ||||||||||||||||||
| 14:00 | A proof theoretical view of ecumenical systems Luiz Carlos Pereira, Valeria de Paiva and Elaine Pimentel |
||||||||||||||||||
| 14:30 | Topological Graphs and Combinators Bruno de Assis Delboni, Mauricio Ayala-Rincon and Daniele Nantes-Sobrinho |
||||||||||||||||||
| 15:00 | Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types Sandra Alves and Sabine Broda |
||||||||||||||||||
| 15:30 | Coffee-Break | ||||||||||||||||||
| 16:00 | Consistency in Justification Theory Simon Marynissen, Niko Passchyn, Bart Bogaerts and Marc Denecker |
||||||||||||||||||
| 16:30 | A concrete categorical semantics of Lambda-S Alejandro Díaz-Caro and Octavio Malherbe |
||||||||||||||||||
| 17:00 | LSFA Business Meeting | ||||||||||||||||||
| Friday – 28th September | |||||||||||||||||||
| 9:00 | |||||||||||||||||||
| 9:30 | Alessandra Palmigiano Logical Foundations of Categorization Theory |
||||||||||||||||||
| 10:30 | Coffee-Break | ||||||||||||||||||
| 11:00 | Quasi-Nelson algebras Umberto Rivieccio and Matthew Spinks |
||||||||||||||||||
| 11:30 | On Distinguishing Sets of Structures by First-Order Sentences of Minimal Quantifier Rank Thiago Rocha, Ana Teresa Martins and Francicleber Ferreira |
||||||||||||||||||
| 12:00 | Closing | ||||||||||||||||||
| 12:30 | Lunch | ||||||||||||||||||
|
|||||||||||||||||||