[Prev][Next][Index][Thread]
Workshop on Theories of Types and Proofs
Preliminary Program and Second Call for Contributed Papers
(The deadline for Contributed Papers: July 7th)
Workshop on Theories of Types and Proofs
Satellite Workshop of TACS'97
September 8 - 19, 1997
Tokyo Institute of Technology
Tokyo, Japan
<ttp@is.titech.ac.jp>
http://www.is.titech.ac.jp/ttp/
The aim of this two-week workshop is to exchange ideas and research results
in the area of Theories of Types and Proofs. Researchers interested in this
area are welcome to participate and make contributions to the workshop. The
workshop will consist of a series of lectures, contributed talks, and
discussion hours.
The workshop solicits for contributed papers in the field of theories of
types and proofs and related topics. On-going research works and
already published contributions are also
welcome. If you want to give a talk, please fill in the form below and
send us with an extended abstract (2 - 10 pages, in ps file) by e-mail
to <ttp@is.titech.ac.jp> by July 7. The authors who submit a paper will
be notified of the acceptance/rejection by July 25. If you want just
participate the workshop, please fill the first three lines of the form
below and send it by August 15, 1997. For more information, please send
an e-mail to <ttp@is.titech.ac.jp>.
The workshop period is just before the TACS'97 conference at Sendai, Japan
(September 23 - 27). See the Web at http://tacs97.ito.ecei.tohoku.ac.jp
/tacs97.html for the information on TACS'97. Our Web page is at
http://www.is.titech.ac.jp/ttp.
The following lectures will be given (the scheduling will be announced
later);
Henk Barendregt (Catholic University Nijmegen):
1. The methodology of proof-checking.
2. Systems for formmalizing proofs.
3. The technology of proof-checking.
Stefano Berardi (University of Torino):
1. Yet Another Constructivization of Classical Logic (part I)
2. Yet Another Constructivization of Classical Logic (part II)
Mariangiola Dezani (University of Torino, Tokyo Inst. of Technology)
Trees and Types
Ryu Hasegawa (University of Tokyo)
1. Applications of analytic functors to theoretical computer science (part I)
2. Applications of analytic functors to theoretical computer science (part II)
3. Applications of analytic functors to theoretical computer science (part III)
Susumu Hayashi (Kobe University)
1. Comparing constructive programming with practical formal methods
- Constructive programming is possible but not indispensable -
2. Towards Proof Animation from Constructive Programming
Sachio Hirokawa (Kyushu University)
1. Principal types of lambda-terms and their application to the
analysis of proofs
2. What is a lambda-caluclus for classical logic?
Mitsu Okada (Keio University)
1. A semantic framework for computation models based on classical
linear logic and classical linear type theory.
2. Inductive type theory + algebraic rewriting
Luke Ong (Oxford University)
Continuation semantics for call-by-value lambda mu
Masahiko Sato (Kyoto University)
Classical Brouwer-Heyting-Kolmogorov interpretation
Masako Takahashi (Tokyo Institute of Technology)
Lambda-representable functions over free structures revisited
Hirofumi Yokouchi (Gunma University)
Syntax and semantics of type assignment systems
The workshop is expecting to be sponsored by the Mathematical Society of
Japan as a part of the regional workshop program of the society. Upon the
formal approval, a lecture note (including lectures and original
papers selected from contributed talks) will be published as a
volume in a new lecture note series of the Mathematical Society of Japan.
Workshop Organizers:
Mariangiola Dezani (University of Torino, Tokyo Inst. of Technology)
Mitsu Okada (Keio University)
Masako Takahashi (Tokyo Institute of Technology, chair)
Program committee:
Henk Barendregt (Catholic University Nijmegen)
Mariangiola Dezani (University of Torino, Tokyo Inst. of Technology)
Ryu Hasegawa (University of Tokyo)
Mitsu Okada (Keio University)
Masako Takahashi (Tokyo Institute of Technology, chair)
Hirofumi Yokouchi (Gunma University)
Local Arrangement:
Yohji Akama (University of Tokyo)
Toshihiko Kurata (Tokyo Institute of Technology)
Important dates:
Submission of extended abstract Monday July 7, 1997
Notification of acceptance Friday July 25, 1997
registration for participants August 15, 1997
workshop September 8 - 19, 1997
.........................................................................
Name:
Affiliation:
Do you participate the whole period?
If not, specify the dates of your stay.
Title of Your Talk:
.........................................................................