Please find enclosed the Call for Contributions for the CADE-15
Workshop on "Proof search in Type-Theoretic Languages", 5th July,
1998 (Lindau, Germany).
Deadline: May 14, 1998.
CALL FOR CONTRIBUTIONS
CADE-15 Workshop on
PROOF SEARCH IN TYPE-THEORETIC LANGUAGES
July 5, 1998
DEADLINE FOR SUBMISSION: May 14, 1998
A one day workshop on "Proof Search in Type-Theoretic Languages"
will be held the 5th July 1998 in conjunction with the 15th Conference
in Automated DEduction (CADE-15, Lindau, Germany).
Attendance is by invitation only: authors of accepted submissions
will be invited. Informal proceedings will be supplied by the CADE-15
Much recent work has been devoted to type theory and its applications
to proof and program development in various logical frameworks.
This workshop focuses on proof search in type-theoretic languages and
their underlying logics(e.g., classical, intuitionistic, linear
logics). Such languages are logical frameworks for representing
proofs and in some cases formalize connections between proofs and
programs that support program synthesis.
The objective of the workshop is to provide an integrated forum for
the presentation of research and the exchange of ideas and
experiences in proof search in type-theoretic languages and related
logics or logical frameworks.
Topics of interest, in this context, include (but are not restricted
- foundations and semantics of proof search,
- methods, techniques and concepts related to proof construction,
- logic programming as search-based computation, integration of
- proof synthesis vs program synthesis,
- equational theories and rewriting,
- decision procedures, complexity results,
- environments for formal proof development.
Researchers interested in presenting their works are invited to send an
extended abstract (8-10 pages)} by e-mail submissions of Postscript
files to the Program Chair (Didier.Galmiche@loria.fr) before May 14,
1998. Researchers interested in attending the workshop (without giving
a presentation) should send a position paper (1-2 pages) presenting
Papers will be reviewed by peers, typically members of the program committee.
Additional information will be available through WWW address:
D. Galmiche (LORIA & UHP, Nancy) - Program Chair
P. Lincoln (SRI, Stanford)
F. Pfenning (CMU, Pittsburgh)
D. Pym (Queen Mary & Westfield College, Univ. London)
T. Tammet (Chalmers Univ, Goeteborg)
Deadline for submissions: May 14, 1998
Notification of acceptance: May 30, 1998
Workshop handouts ready: June 12, 1998
Workshop date: July 5, 1998
LORIA - CNRS & UHP Nancy I
Phone: +33 3 83 59 20 15
Fax: +33 3 83 41 30 79