Automated Deduction and its Application to Mathematics

ADAM 2008

Automated Deduction and its Application to Mathematics

The ADAM workshop covers applications of automated deduction to problems in abstract logic and algebra, focusing primarily on algebra and equational problems. ADAM 2008 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.

Questions? Contact Bob Veroff or Bill McCune.

Local Arrangements

Likely Participants (so far)

Zac Ernst, University of Missouri-Columbia
Michael Kinyon, University of Denver
William McCune, University of New Mexico
R Padmanabhan, University of Manitoba
J. D. Phillips, Wabash College
Kyle Pula, University of Denver
Bob Veroff, University of New Mexico
Petr Vojtechovsky, University of Denver

Talks

Contributed Problems and Other Material

Return to ADAM Home Page

Last Modified: May 12, 2008 by veroff@cs.unm.edu