



PROGRAM



Monday, July 02 
09:00  09:30 
Opening Session 
09:30  10:30 
Invited Talk:
Grigori Mints (University of Stanford)
Natural Deduction and its Neighbors 
10:30  11:00 
Break 
11:00  12:00 
Invited Talk:
Ruy de Queiróz (Universidade Federal de Pernambuco)
Natural Deduction for Equality 
12:00  14:00 
Lunch break 
14:00  14:30 
Neil Leslie
Characterizing the difference between NJ and NK in a connectivefree manner

14:30  15:30 
Invited Talk:
Christian Urban (University of Cambridge)
Revisiting Zucker's work on the Correspondence between CutElimination and Normalization.

15:30  16:00 
Break 
16:00  17:00 
Invited Talk:
Jan von Plato (University of Helsinki)
Natural Deduction and Sequent Calculus




Tuesday, July 03 
09:30  10:30 
Invited Talk:
Valéria de Paiva (Xerox Parc)
Soundness and Completeness are not enough: Linear Type Theory and their Models.

10:30  11:00 
Break 
11:00  11:30 
Ernst Zimmermann (IBM  Germany)
Peirce's Rule in Natural Deduction

11:30  12:00 
Daniel Durante Pereira Alves and Wagner Sanz
Denial, Relevance and Information

12:00  14:00 
Lunch break 
14:00  14:30 
José Eduardo Moura
TBA

14:30  15:30 
Invited Talk: JeanBaptiste Joinet (Univ. Paris I  Sorbonne)
From Natural Deduction to the Nature of Reasoning

15:30  16:00 
Break 
16:00  17:00 
Invited Talk: Oswaldo Chateaubriand Filho (PUCRio)
Proof and Logical Deduction 



Wednesday, July 04 
09:00  10:00 
Invited Talk: Gilles Dowek (INRIA)
About foldingunfolding cuts and cuts modulo (the quest for a theory independent notion of cut).

10:00  10:30 
Break 
10:30  11:00 
Christian Renteria, Edward H. Haeusler, Paulo Veloso
A Natural Deduction System for the Logic of Ultrafilters

11:00  12:00 
Invited Talk: Dag Prawitz (University of Stockholm)
Natural Deduction and the Concept of Proof 



Thursday, July 05 
09:30  10:30 
Invited Talk: Andrea Masini (University of Trento)
An Indexed Approach to Modalities 
10:30  11:00 
Break 
11:00  11:30 
Eduardo Ochs (PUCRio)
A System of Natural Deduction for Categories

11:30  12:00 
Wagner Sanz
Big Bound

12:00  14:00 
Lunch break 
14:00  15:00 
Invited Talk: Xavier Legris (Universidad de Buenos Aires)
Paul Hertz' Systems of Propositions as a Prooftheoretical Conception
of Logic. 
15:00  15:30 
Break 
15:30  16:30 
Invited Talk: Peter SchröderHeister (University of Tübingen)
Some Remarks on the Origins of Gentzen's Logical Systems. 



Friday, July 06 
09:30  10:30 
Invited Talk: Jonathan Seldin
Type Theories from Barendregt's Cube for Theorem Provers 
10:30  11:00 
Break 
11:00  11:30 
Dale Miller and Elaine Pimentel
Linear Logic as a Framework for Specifying Sequent Calculus

11:30  12:00 
Anjolina G. de Oliveira and Ruy J.G.B. de Queiroz (UFPe)
Soudness in MultipleConclusion Logic

12:00  14:00 
Lunch break 
14:00  15:00 
Invited Talk: Sara Negri (University of Helsinki)
A Uniform Calculus for Linear Logic 
15:00  15:30 
Roy Dyckof (University of St. Andrews)
Heberlin's Calculus of Explicit Substitutions as a Sequent Calculus Isomorphic to Natural Deduction



