ADAM 2007

Automated Deduction and its Application to Mathematics

ADAM Home Page

The ADAM workshop covers applications of automated deduction to problems in abstract logic and algebra, focusing primarily on algebra and equational problems. ADAM 2007 is sponsored by the Computer Science Department of the University of New Mexico, 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 always including at least a few people who have not participated in previous workshops.

Questions? Contact Bob Veroff or Bill McCune.

Local Arrangements

Recommended hotel: Fairfield Inn, Albuquerque University Area (Contact Bob for details.)

The Computer Science Department office is on the first floor of Farris Engineering Center (FEC). The workshop will be in the CS Department conference room, FEC 141.



Contributed Problems and Other Material

Return to ADAM Home Page

Last Modified: November 18, 2007 by