ADAM 2009
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.
Dates: July 12 -- 14, 2009 (Sunday -- Tuesday)
Location: University of Denver, Denver, Colorado
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 or
Bill McCune.
Local Arrangements
Recommended hotel:
Doubletree Hotel Denver Tech
(Contact Michael Kinyon for details.)
The RTD light rail system
(system map)
provides convenient transportation between the
Doubletree (Orchard station) and the workshop (University of Denver station).
The workshop will take place in the East Wing of the Boettcher Center in
Room 102.
Additional local information includes
details about getting between the hotel and the workshop and information
about transportation from the Denver airport to the hotel.
Participants
Talks
- Ernst - Infinite Models
- Kinyon - Presentation of Several Open Problems
- McCune - LADR updates
- Padmanabhan - Presentations of the Trivial Semigroup (abstract)
- Stanovsky - The Equational Theory of Group Conjugation
- Veroff - Prover9 Settings and Multiple Runs for "Serious" Proof Finding
- Vojtechovsky - Loop Cosets
- Zhang - Commutativity Problems
Contributed Problems and Other Material
-
Slides from a course that Michael Kinyon taught in Lisbon in June.
Comment from Michael: There are some obvious gaps in the slides,
particularly in Lectures II and III. This is because the slides
were presented in conjunction with demonstrations using the
Prover9-Mace4 GUI.
- Goodearl's Separativity Conjecture
(Kinyon)
- Input file aim.in
(Kinyon)
- Input file mfelements.in
(Kinyon)
- Input file suf.in
(Kinyon)
- Input file osborn.in
(Kinyon)
- Trivial CS examples
(RP)
- Austin examples
(RP)
Return to ADAM Home Page
Last Modified: July 13, 2009 by veroff@cs.unm.edu