AWARD-2005
Argonne Workshop on Automated Reasoning and Deduction
Mathematics and Computer Science Division
Argonne National Laboratory
August 11--13, 2005 (Thursday 9AM -- Saturday noon).
The 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.
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!
Send questions to
[email protected].
Expressed Interest in Attending
- 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
Talks
- Thursday Morning
- Thursday Afternoon
- Friday Morning
- Friday Afternoon
- Saturday Morning
Miscellaneous Links