Automated Deduction and its Application to Mathematics

ADAM 2012

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.

Dates: June 12 -- 14, 2012 (Tuesday -- Thursday)
Location: Northern Michigan University, Marquette, Michigan

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 J.D. Phillips or Bob Veroff.

Local Arrangements

Travel and Hotel Information

Participants

Ales Drapal, Charles University in Prague
Michael Kinyon, University of Denver
Jenya Kirshtein, University of Denver
J.D. Phillips, Northern Michigan University
David Stanovsky, Charles University in Prague
Bob Veroff, University of New Mexico
Petr Vojtechovsky, University of Denver

Talks

Drapal - LDTS via Mace4 (talk)
Kinyon
Kirshtein - Subloops of Size 32 of Caley-Dickson Loops (talk)
Phillips - AIM and Related Problems
Stanovsky - Solvable Loops
Veroff - Some Applications of Prover9: Status Report (abstract, talk, AIM problem)
Veroff - Support Utilities for Clause Generation and Processing
Vojtechovsky - Solvable Loops (continued)

Contributed Problems and Other Material

Last Modified: June 19, 2012 by veroff@cs.unm.edu