ADAM 2013
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 2013 is sponsored by the
Computer Science Department of the
University of New Mexico, Albuquerque.
Dates: June 6 -- 8, 2013 (Thursday -- Saturday)
Location: University of New Mexico, Albuquerque, New Mexico
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.
Site is under construction.
Local Arrangements
We're working on the hotel info ...
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.
Map
of the area around FEC.
Campus map.
FEC is Building #119, near the lower-left (southwest) corner of this map.
Participants (tentative)
Talks
Contributed Problems and Other Material
Return to ADAM Home Page
Last Modified: March 31, 2013 by veroff@cs.unm.edu