Programme
August 31th, 2010
09:00 Opening
Section 1
09:00-10:00 Ruy de Queiroz (CIN-UFPE, Brasil) - Invited Talk: The Functional Interpretation of Direct Computations
10:00-10:30 Sheila Veloso, Paulo Veloso and Paula Veloso: A Tool for Analysing Logics
10:30-11:00 Coffee break
Section 2
11:00-11:30 Mario Benevides, Renata de Freitas and Jorge Viana: Propositional Dynamic Logic with Storing, Recovering and Parallel Composition
11:30-12:00 Vivek Nigam, Elaine Pimentel and Giselle Reis: Specifying proof systems in linear logic with subexponentials
12:00-12:30 Flavio L. C. de Moura, Alex V. Barbosa, Mauricio Ayala-Rincon and Fairouz Kamareddine: A Flexible Framework for Visualisation of Computational Properties of General Explicit Substitutions Calculi
12:30-14:30 Lunch
Section 3
14:30-15:30 Natarajan Shankar (SRI International, USA) - Invited Talk: The Kernel of Truth
15:30-16:00 Valeria de Paiva: Bridges from Language to Logic: Concepts, Contexts and Ontologies
16:00-16:30 Coffee break
Section 4
16:30-17:30 Freek Wiedijk (Radboud University Nijmegen, Netherlands) - Invited Talk: The next generation of proof assistants: ten questions
17:30-18:00 Cibele Matos Freire and Ana Teresa Martins: The Descriptive Complexity of the Deterministic Exponential Time Hierarchy
18:00-18:30 Rafael del Vado Vírseda: A Theoretical Framework for the Higher-Order Cooperation of Numeric Constraint Domains
18:30 Closing