# 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

### Talks

About half of the workshop was talks, and slides are available for some.
- 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*