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
- ADAM 2006,
University of New Mexico
- ADAM 2007,
University of New Mexico
- ADAM 2008,
University of New Mexico
- ADAM 2009,
University of Denver
- ADAM 2011,
Banff International Research Station for Mathematical Innovation and Discovery
- ADAM 2012,
Northern Michigan University
- ADAM 2013,
University of New Mexico
- ADAM 2014,
University of North Alabama
- ADAM 2015,
University of New Mexico
- ADAM 2016,
University of New Mexico
Last Modified: June 10, 2016 by veroff@cs.unm.edu