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

TecMF: LSFA/Programme (last edited 2010-08-11 15:16:52 by localhost)