ADAM 2014

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. 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 Mark Greer or Bob Veroff.


Local Arrangements

Here is some local information from Mark.

Participants


Links


Last Modified: August 20, 2014 by veroff@cs.unm.edu