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)
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
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.
of the area around FEC.
FEC is Building #119, near the lower-left (southwest) corner of this map.
- 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
- Kinyon - Six Contributed Problems (see below)
- Lawless - Generating All Modular Lattices of a Given Size
- 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
Near-rings and inverse semigroups (challenge problem)
Generalized Near-domains (open problem)
Lattice-ordered Pregroups (open problem)
Mikheev's Identity in Strongly Right Alternative Rings (challenge problem)
The Circle Operation in Strongly Right Alternative Rings (open problem)
Units in Strongly Right Alternative Rings (open problem)
Uniquely Complemented Lattices
Return to ADAM Home Page
Last Modified: June 9, 2013 by firstname.lastname@example.org