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

Send questions to [email protected].

Expressed Interest in Attending


Miscellaneous Links