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

Argonne National Laboratory

August 11--13, 2005 (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!*

Send questions to mccune@mcs.anl.gov.

- Michael Beeson,
San Jose State University

yes - Johan Belinfante,
Georgia Tech

That should be fine. - Mike Dunn,
Indiana University

cannot attend - Zac Ernst,
Florida State University

cannot attend - Branden Fitelson,
UC Berkeley

I think anything should be OK - Michael Kinyon,
Indiana University South Bend

those dates work quite well for me - Bill McCune,
Argonne National Laboratory

yes - Norm Megill,
Metamath

yes - Bob Meyer,
Australian National University

cannot attend - R Padmanabhan,
University of Manitoba

cannot attend - Grant Passmore,
UT Austin

Wonderful ... I'll be looking forward to August! - J. D. Phillips,
Wabash College

works for me - Yury Puzis,
University of Miami

I am pleased to be able to accept. - Stephan Schulz,
TU München

cannot attend - Matthew Spinks

cannot attend - Geoff Sutcliffe,
University of Miami

Yes, I'll be there - Ted Ulrich,
Purdue University

OK with me - Bob Veroff,
University of New Mexico

yes - Petr Vojtechovsky,
University of Denver

yes - Larry Wos,
Argonne National Laboratory

yes

- Thursday Morning
- Larry Wos,
Argonne National Laboratory
*Solving Mysteries: Better Proofs and First Proofs*(paper, problems) - William McCune,
Argonne National Laboratory

*Prover9 is Better than Otter!*

- Larry Wos,
Argonne National Laboratory
- Thursday Afternoon
- Branden Fitelson,
UC Berkeley

*Applying OTTER/MACE/PARADOX to some recent philosophical applications of modal logics* - Michael Beeson,
San Jose State University

*Lambda unification ... Calling external simplification ... Implicit typing* - Johan Belinfante,
Georgia Tech

*Arithmetic and abstract algebra in Goedel's class theory*

- Branden Fitelson,
UC Berkeley
- Friday Morning
- Geoff Sutcliffe,
University of Miami

*Proofs of Equivalence in Modal Logic Systems* - Michael Kinyon,
Indiana University South Bend

*I'm Not Sure If It Is Or Isn't, But Here Is What I Have Done With It So Far*

- Geoff Sutcliffe,
University of Miami
- Friday Afternoon
- Norm Megill,
Metamath

*Existential Uniqueness*

*Emulating Hilbert's Epsilon in ZFC* - Grant Passmore,
UT Austin
*Automated Reasoning in LabVIEW, and Some Elementary Thoughts on Proof Theoretic Methods for Automating Interpretability* - Bob Veroff,
University of New Mexico

Hoops, Loops, and Groups: You Can Do It Too! - Ted Ulrich,
Purdue University
*Some odd ways of looking for new single axioms*

- Norm Megill,
Metamath
- Saturday Morning
- Petr Vojtechovsky,
University of Denver

*Linear identities and the associated wreath products*

- Petr Vojtechovsky,
University of Denver

- Weather Forecast
- Restaurants
- Wednesday: Giordano's Willowbrook
- Thursday: Shree
- Friday: Siam Kitchen
- Argonne APS List
- Argonne Cafeteria
- Argonne 401 Grill
- Argonne Guest House Restaurant

- Previous workshops in this series