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

Send questions to [email protected].



Thursday Morning Thursday Afternoon Friday Morning Friday Afternoon Saturday Morning

Miscellaneous Links