CADE-15 Workshop on

STRATEGIES IN AUTOMATED DEDUCTION

Sunday, July 5, 1998
Lindau, Germany

• Invited Talks
• Program (with individual ps.gz contributions)
• Proceedings (ps.gz)
• Participants
• Organizers
• Submission Information (outdated)
• CADE-14 Workshop on STRATEGIES IN AUTOMATED DEDUCTION (1997)

Organizers

Bernhard Gramlich                              Frank Pfenning
Inst. f. Computersprachen, TU Wien             Department of Computer Science, CMU
Resselg. 3/I/3, A-1040 Wien, Austria           Pittsburgh, PA 15213-3891, U.S.A.
phone:  +43 1 58801 18544                      phone:  +1 412 268 6343
fax:    +43 1 58801 18597                        fax:    +1 412 268 5576 
e-mail: gramlich@logic.at                      e-mail: fp@cs.cmu.edu
www:    http://www.logic.at/staff/gramlich     www:    http://www.cs.cmu.edu/~fp/ 

Workshop Web Site