AWARD-2001

Argonne Workshop on Automated Reasoning and Deduction

July 13-14, 2001

Participants

• Michael Beeson, San Jose State, Logic
• Mike Dunn, Indiana University, Logic
• Zac Ernst, Wisconsin, Logic
• Branden Fitelson, Wisconsin, Logic
• Mark Fuller, Wisconsin, Mathematics
• Ken Harris, Wisconsin, Logic
• Bill McCune, Argonne, Automated Deduction
• Bob Meyer, Australian National University, Logic
• Ross Overbeek, Integrated Genomics, Bioinformatics
• R Padmanabhan, University of Manitoba, Mathematics
• Mike Rose, Argonne, Mathematics
• Ted Ulrich, Purdue, Logic
• Bob Veroff, New Mexico, Automated Reasoning
• Kristin Wilkinson, Argonne, Mathematics
• Larry Wos, Argonne, Automated Reasoning

Some (drafts of) papers by Larry Wos

• Hilbert's 24th
• Cramming
• Book 7 Preface
• Book 7 Chapter 1
• Book 7 Chapter 2
• Book 7 Chapter 3

Talks

• Larry Wos, Hilbert's 24th
• Mike Dunn, Tonoids
• Branden Fitelson, Logic Calculi
• Bill McCune, Lattice Axioms
• Michael Beeson, Double Negation Elimination
• R. Padmanabhan, Tarski Theorems for Self-Dual Axioms
• Bob Meyer, Fool's Model, Release 2