AWARD-2003
Argonne Workshop on Automated Reasoning and Deduction
Mathematics and Computer Science Division
Argonne National Laboratory
July 10--12, 2003 (Thursday 9AM -- Saturday noon).
The focus of the workshop will be on practical applications of
automated reasoning to problems in axiomatics of algebras and logics.
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
Send any questions to
mccune@mcs.anl.gov or
wos@mcs.anl.gov.
Invitees
- Michael Beeson,
San Jose State University
"I'll be there."
- Johan Belinfante,
Georgia Tech
"I intend to attend."
- Bob Boyer,
UT at Austin
declined
- Stan Burris,
University of Waterloo
declined
- Mike Dunn,
Indiana University
declined
- Zac Ernst,
Florida State University
"My answer is an enthusiastic 'Yes'."
- Branden Fitelson,
UC Berkeley
"I'll be there!"
- Kenneth Harris,
University of Chicago
"I am very interested in attending."
- Ken Keefe,
Southern Illinois University and Argonne National Laboratory
accepted
- Kenneth Kunen,
University of Wisconsin
declined
- Olga Matlin,
Argonne National Laboratory
declined
- Bill McCune,
Argonne National Laboratory
accepted
- Norm Megill,
Metamath
"I accept. Thanks!"
- Bob Meyer,
Australian National University
"Looks good! HOPE I can make it! NO promises!"
- Ross Overbeek,
Argonne National Laboratory
"I will certainly try to attend."
- J. D. Phillips,
Wabash College
"Sounds like fun; count me in!"
- R Padmanabhan,
University of Manitoba
accepted
- Mike Rose,
University of Wisconsin
declined
- John Slaney,
Australian National University
no response
- Mark Stickel,
SRI
"Sounds like fun; I intend to attend."
- Ted Ulrich,
Purdue University
"Sure, I'll be there."
- Bob Veroff,
University of New Mexico
accepted
- Larry Wos,
Argonne National Laboratory
accepted
Talks
Thursday Morning
- Fitelson: A Probability Machine with Applications
- Beeson: Second Order Proofs in Otter
Thursday Afternoon
- Padmanabhan: Analogs of Levy's Problems for Cancellative Semigroups and Loops
- Phillips: Using Otter to Solve Problems in Loop Theory
- McCune: Argonne Deduction Software Update
Friday Morning
Friday Afternoon
- Stickel: Finding Very Short Proofs
- Ulrich: Beyond the 1- and 1-2 Properties: Finding Single Axioms that are D-complete
- Ernst: Fun with YQE
Saturday Morning
Miscellaneous Links