Automated Deduction
and its Application to Mathematics
The ADAM workshop is a successor to a series of workshops held at Argonne National Laboratory beginning the summer of 2001 (AWARD-2001 -- AWARD-2005). The Argonne workshops covered applications of automated deduction to problems in abstract logic and algebra. The ADAM workshops will focus mainly on algebra and equational problems. The first ADAM workshop, ADAM 2006, was held at the University of New Mexico in Albuquerque.

The workshops typically consist of several informal and semi-formal presentations with a great deal of discussion. To help foster a productive working atmosphere, the workshop is limited each year to 10 to 15 people. Participation is by invitation only. Diversity is encouraged from year to year by including at least a few people who have not participated in previous workshops.

The AWARD Workshops at Argonne National Laboratory

The ADAM Workshops

Last Modified: June 10, 2016 by