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.
Local Arrangements
Recommended hotel:
MCM Elegante Hotel
(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.
Map
of the area around FEC.
Campus map.
FEC is Building #119, near the lower-left (southwest) corner of this map.
Participants
Talks
- Bonacina (both talks)
- A New Style of Reasoning
- Speculative Inferences for Decision Procedures
- Jipsen - Prover9 and Other Provers with Sage/Python/LaTeX Input and Output
(talk)
- Kinyon - Six Contributed Problems (see below)
- Lawless - Generating All Modular Lattices of a Given Size
(talk)
- Phillips - Are Commutants in Moufang Loops Normal? (talk)
- Urban - Proving over Mizar, Flyspeck and Isabelle
- Veroff - Status Report on the AIM Problem
- Vojtechovsky - Connected Quandles
Contributed Problems and Other Material
Return to ADAM Home Page
Last Modified: June 9, 2013 by veroff@cs.unm.edu