AWARD-2004
Argonne Workshop on Automated Reasoning and Deduction
Mathematics and Computer Science Division
Argonne National Laboratory
August 5--7, 2004 (Thursday 9AM -- Saturday noon).
The 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.
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.
Local Arrangements
- 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 ([email protected])
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
[email protected].
Invitees
- 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
Talks
Thursday Morning
Thursday Afternoon
- Norm Megill,
Hilbert Lattice Equations
- Larry Wos, "Purity With Respect To Dependent Axioms"
- Simon Colton, "Automated Reasoning for Classifying Finite Algebras"
Friday Morning
- 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"
Friday Afternoon
- 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
Saturday Morning
- Bob Meyer, "E P Martin and the Powers Conjecture"
Miscellaneous Links