AWARD-2002
Argonne Workshop on Automated Reasoning and Deduction
Mathematics and Computer Science Division
Argonne National Laboratory
July 11-13, 2002
The focus of the the workshop is applications of automated
reasoning to problems in foundational logic and algebra.
Participants
- Michael Beeson,
San Jose State University
- Johan Belinfante,
Georgia Tech
- Zac Ernst, University of Wisconsin
- Branden Fitelson,
San Jose State University
- Kenneth Harris, University of Chicago
- Olga Matlin,
Argonne National Laboratory
- Bill McCune,
Argonne National Laboratory
- Ross Overbeek, Integrated Genomics
- R Padmanabhan,
University of Manitoba
- Mike Rose, Argonne National Laboratory
- Ted Ulrich, Purdue University
- Bob Veroff,
University of New Mexico
- Larry Wos,
Argonne National Laboratory
Talks
Presentations filled about half of the workshop.
- Larry Wos, XCB is a Single Axiom for the Equivalential Calculus
- Bill McCune,
Yet Another Single Law for Lattice Theory
- R. Padmanabhan, Cancellative Semigroups and Unique Complementation in LT
- Branden Fitelson,
- Johan Belinfante, Defining Addition and Multiplication of Natural
Numbers in NBG Set Theory: A Progress Report
(Mathematica Notebook)
- Ted Ulrich, Eleven-symbol Single Axioms for the Classical Equivalential
Calculus: What We Know, and What We Don't
- Zac Ernst, Lattices of Implicational Logics
Miscellaneous Links