Automated Deduction
and its Application to Mathematics
(ADAM)
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 ADAM Workshops
Last Modified: March 22, 2013 by veroff@cs.unm.edu