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 2008 is sponsored by the
Computer Science Department of the
University of New Mexico, Albuquerque.
Dates: July 24 -- 26, 2008 (Thursday -- Saturday)
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.
Location: University of New Mexico, Albuquerque, New Mexico
Bob Veroff or
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.
of the area around FEC.
FEC is Building #119, near the lower-left (southwest) corner of this map.
We will post information as it becomes available.
- Syntax of the Finite Model Property
- Computational Mathematics Research Via the Integration of Computer
Algebra Systems with Theorem Provers and Model Finders
- The Structure of Commutative A-loops, Part 2
- LADR/Prover9/Mace4 Update, Identifying Isomorphic Models
- Equational Spectra of Some Equational Classes
- The Moufang Laws, Global and Local
- Two Problems About Transverals in Multiplication Tables
- The Structure of Commutative A-loops, Part 1
Contributed Problems and Other Material
Return to ADAM Home Page
Last Modified: August 5, 2008 by email@example.com