Programme
| 09:00 |
Opening |
Section 1 -- Chairs: Fairouz Kamareddine and Mauricio Ayala-Rincón |
|
| 09:00-10:00 |
Jonathan Seldin - Invited Talk A Reduction in Combinatory Logic Equivalent to λβ-Reduction |
| 10:00-10:30 |
Ricardo Fernandes and Edward Haeusler. A Topos-Theoretic Approach to Counterfactual Logic |
10:30-11:00 |
Coffee break |
Section 2 -- Chair: Edward Hermann Haeusler |
|
| 11:00-11:30 |
Adolfo Neto, Celso Kaestner and Marcelo Finger. Towards an efficient prover for the C1 paraconsistent logic |
| 11:30-12:00 |
Rafael del Vado Vírseda. A Logical Framework for Debugging in Declarative Constraint Programming |
| 12:00-12:30 |
Fulya Horozal and Florian Rabe. Representing Model Theory in a Type-Theoretical Logical Framework |
12:30-14:30 |
Lunch |
Section 3 -- Chair: Eduardo Bonelli |
|
| 14:30-15:30 |
Luis Fariñas del Cerro - Invited Talk Deduction and Abduction of Information about an Entity |
| 15:30-16:00 |
Mario Benevides and Luis Menasché Schechter. Product of Graphs and Hybrid Logic |
16:00-16:30 |
Coffee break |
Section 4 -- Chair: Luca Paolini |
|
| 16:30-17:30 |
Delia Kesner - Invited Talk Untyped Pattern Calculi |
| 17:30-18:00 |
Favio Ezequiel Miranda-Perea and Lourdes Del Carmen González-Huesca. Selective Memoization with Box Types |
| 18:00-18:30 |
Vaston Costa, Wagner Sanz, Edward Hermann Haeusler and Luiz Pereira. Peirce's rule in a full Natural Deduction system |
18:30 |
Closing |
| Scientific Sponsorship | Sponsors |
 |