Mathematics and Computer Science DivisionThe focus of the workshop will be on practical applications of automated reasoning to problems in algebra and logic. The workshop will be very informal, with about half of the time given to short (20 minutes or less) talks, with plenty of time for discussion.

Argonne National Laboratory

August 5--7, 2004 (Thursday 9AM -- Saturday noon).

The goal is to have a mix of mathematicians, logicians, and automated deduction experts so that we can exchange problems and automated reasoning techniques.

As for the previous AWARD workshops, we will probably have no budget, except maybe for coffee and cookies.

- Most out-of-towners will be staying at the Argonne Guest House, which is a 10-minute walk to the workshop site (Building 221, Room A216).
- Judy Beumer (beumer@mcs.anl.gov)
will be arranging gate passes for participants,
booking rooms at the Guest House, and
handling some of the other paperwork.
*Thanks Judy!* - Arrival data.

Send questions to mccune@mcs.anl.gov.

- Michael Beeson,
San Jose State University

unable to attend - Johan Belinfante,
Georgia Tech

unable to attend - Robert J. Bignall,
Monash University and Minnesota State University

I am happy to attend. - Simon Colton,
Imperial College London

accepted - Mike Dunn,
Indiana University

uable to attend - Zac Ernst,
Florida State University

Those dates are fine with me. - Branden Fitelson,
UC Berkeley

arriving Friday morning - Kenneth Harris,
University of Chicago

no response yet - Ken Keefe,
Southern Illinois University and Argonne National Laboratory

accepted - Michael Kinyon,
Indiana University South Bend

I will probably come. - Kenneth Kunen,
University of Wisconsin

no response yet - Bill McCune,
Argonne National Laboratory

accepted - Norm Megill,
Metamath

accepted - Bob Meyer,
Australian National University

Marvelous! See you (I trust) in Aug! - Ross Overbeek,
Argonne National Laboratory

probably - R Padmanabhan,
University of Manitoba

perfectly OK for me - J. D. Phillips,
Wabash College

works for me - Mark Stickel,
SRI

accepted - Ted Ulrich,
Purdue University

Yes, absolutely, I'll be there. - Bob Veroff,
University of New Mexico

Sure. That sounds great. - Larry Wos,
Argonne National Laboratory

accepted

- Larry Wos, keynote address
- Bill McCune, Ring Models for Group Candidates Web Page

- Norm Megill, Hilbert Lattice Equations
- Larry Wos, "Purity With Respect To Dependent Axioms"
- Simon Colton, "Automated Reasoning for Classifying Finite Algebras"

- R. Padmanabhan, "Betweenness Relation in Lattice-like Algebras"
- J.D. Phillips, "xy.z = y.zx, Variations on a Familiar Theme"
- Zac Ernst, "Logics Without the Finite Model Property"

- Ted Ulrich, "Formulas Useful in Constructing Single Axioms for Implicational R, R-Mingle, L-aleph-0, S3, and Some Classes of Related Systems"
- Bob Bignall, "Discriminator Logics and Symbolic Computation"
- Bob Veroff, Environments for Proving Hard Conjectures

- Bob Meyer, "E P Martin and the Powers Conjecture"

- Weather Forecast
- Restaurants
- Previous workshops