[Prev][Next][Index][Thread]
Workshop on Theories of Types and Proofs
Call for Contributed Papers and Participation
Workshop on Theories of Types and Proofs
September 8 - 19, 1997
Tokyo Institute of Technology
Tokyo, Japan
<ttp@is.titech.ac.jp>
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 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 also 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.
Lectures will be given by;
Henk Barendregt (Catholic University Nijmegen)
Stefano Berardi (University of Torino)
Mariangiola Dezani (University of Torino, Tokyo Inst. of Technology)
Ryu Hasegawa (University of Tokyo)
Susumu Hayashi (Kobe University)
Sachio Hirokawa (Kyushu University)
Mitsu Okada (Keio University)
Luke Ong (Oxford University)
Masahiko Sato (Kyoto University)
Masako Takahashi (Tokyo Institute of Technology)
Hirofumi Yokouchi (Gunma University)
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 papers selected
from the 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:
.........................................................................