CADE-15
The 15th International Conference on Automated Deduction
July 5-10, 1998, Lindau, Germany
INTEGRATION OF DEDUCTION SYSTEMS
Call for Participation
Submission deadline:
May 20, 1998
Notification of acceptance: May 29, 1998
Camera-ready copy due:
June 12, 1998
Workshop date:
July 5-6, 1998
Organizers
Topics
Schedule
Submissions
should be send as postscript documents of at most 6 pages prepared with
LATEX and Springer-Verlag's llncs
document class to
wsIntegration@ira.uka.de
Registration
Participants to the workshop should register using the electronic form
on the CADE home page:
Phone:
+49 721 608 4000
FAX:
+49 721 608 4211
E-mail: wsIntegration@ira.uka.de
Peter H. Schmitt
1998-04-14