 |
|
 |
|
 |
|
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 connective-free manner |
|
| 14:30 - 15:30 | Invited Talk:
Christian Urban (University of Cambridge) Revisiting Zucker's work on the Correspondence between Cut-Elimination 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: Jean-Baptiste 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 (PUC-Rio) Proof and Logical Deduction |
|
| Wednesday, July 04 | ||
| 09:00 - 10:00 |
Invited Talk: Gilles Dowek (INRIA) About folding-unfolding 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 (PUC-Rio) 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 Proof-theoretical Conception of Logic. |
|
| 15:00 - 15:30 | Break | |
| 15:30 - 16:30 | Invited Talk: Peter Schröder-Heister (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 Multiple-Conclusion 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 | Invited Talk: Roy Dyckhoff (University of St. Andrews) Herbelin's Calculus of Explicit Substitutions as a Sequent Calculus Isomorphic to Natural Deduction |
|
|