Automated Deduction and its Application to Mathematics

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)
Location: University of New Mexico, Albuquerque, New Mexico

Questions? Contact Bob Veroff or Bill McCune.

Local Arrangements

Google map of the area around the Fairfield Inn.

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

• Zac Ernst, University of Missouri-Columbia
• Peter Jipsen, Chapman University
• Michael Kinyon, University of Denver
• William McCune, University of New Mexico
• R Padmanabhan, University of Manitoba
• J. D. Phillips, Wabash College
• Kyle Pula, University of Denver
• Bob Veroff, University of New Mexico
• Petr Vojtechovsky, University of Denver

Talks

• Ernst
  • Syntax of the Finite Model Property (pdf)
• Jipsen
  • Computational Mathematics Research Via the Integration of Computer Algebra Systems with Theorem Provers and Model Finders
• Kinyon
  • The Structure of Commutative A-loops, Part 2 (abstract, pdf)
• McCune
  • LADR/Prover9/Mace4 Update, Identifying Isomorphic Models
• Padmanabhan
  • Equational Spectra of Some Equational Classes (abstract)
• Phillips
  • The Moufang Laws, Global and Local (pdf)
• Pula
  • Two Problems About Transverals in Multiplication Tables (pdf)
• Veroff
  • A Survey of Failures (abstract)
• Vojtechovsky
  • The Structure of Commutative A-loops, Part 1 (abstract)

Contributed Problems and Other Material

Return to ADAM Home Page