CADE-13 Workshop on

Proof Search in Type-Theoretic Languages

Rutgers University, New Brunswick, USA - 30 July, 1996

A one day workshop on Proof Search in Type-Theoretic Languages is planned the 30 th July 1996 in conjunction with CADE-13 , held as part of the Federated Logic Conference FLoC'96. Attendance is by invitation only: authors of accepted submissions will be invited. Informal proceedings will be supplied by the CADE-13 organizing committee.

Main information

Call for contributions (.ps file)

Accepted Contributions (.ps file)

Programme (.ps file)


Many recent works have 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. Such languages are logical frameworks for representing proofs and in some cases formalize connections between proofs and programs that support program synthesis.

The workshop is intended to bring together researchers interested in all aspects of proof search in type-theoretic languages. The objective is to provide an integrated forum for the presentation of research and the exchange of ideas and experiences in the topics concerned with proof search in type theory, logical frameworks and their underlying (classical, intuitionistic and linear) logics.

Topics of interest, in this context, include (but are not restricted to):


Researchers interested in presenting their works, particularly in the previous areas, are invited to send an extended abstract (5-8 pages) by e-mail submissions of Postscript files to the Organizing-Program Chair before May 19, 1996 at the following address

Organizing and Program Chair

Didier Galmiche 
Campus Scientifique, B.P. 239 
54506 Vand\oe uvre-l\`es-Nancy, France 
fax: [+33] 83 41 30 79 
Researchers interested in attending the workshop (without giving a presentation) should send a position paper (1-2 pages) presenting their interest. Papers will be reviewed by peers, typically members of the program committee

Organizing and Program Committee

The cover page should include a return mailing address and, if possible, an electronic mail address and a fax number.

Authors of accepted research papers are expected to give a presentation of 20 minutes plus 5 minutes for questions and discussion. We can expect 3 sessions of 3 talks with time that will be scheduled at the end of each session and also for open discussion at the end of the day about future research directions. This format might be revised depending on the quality and quantity of submissions.

Important dates:
For any further information please contact:
Didier Galmiche 
TYPES Project
Batiment LORIA - BP 239
54506 Vandoeuvre-les-Nancy, France
Direct phone: (+33) 83 59 20 15
Fax: (+33) 83 41 30 79