LSFA'09

Fourth Workshop on Logical and Semantic Frameworks, with Applications

28th June, 2009 - Brasília, Brazil

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