Proof Search in Type-Theoretic Languages
Rutgers University, New Brunswick, USA - 30 July, 1996
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 CRIN-CNRS & INRIA Lorraine Campus Scientifique, B.P. 239 54506 Vand\oe uvre-l\`es-Nancy, France email: Didier.Galmiche@loria.fr fax: [+33] 83 41 30 79 URL: http://www.loria.fr/~galmicheResearchers 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.
Didier Galmiche
CRIN-CNRS, UHP Nancy I
TYPES Project
Batiment LORIA - BP 239
54506 Vandoeuvre-les-Nancy, France
Email: Didier.Galmiche@loria.fr
Direct phone: (+33) 83 59 20 15
Fax: (+33) 83 41 30 79
URL: http://www.loria.fr/~galmiche