[Prev][Next][Index][Thread]
Theory of Types and Proofs (TTP) --- Kyoto Meeting, sept. 19-20
Theory of Types and Proofs (TTP) --- Kyoto Meeting
Kyoto, September 19-20, 1997
Between the main TTP workshop (Tokyo, sept. 8-18) and TACS (Sendai,
sept. 23-26), this workshop intends to provide a forum for free
exchanges on type theory, logic, applications and related topics,
including for instance programming languages and theorem proving.
Access to the workshop is free. Participants who want to give talks
shall fill the registration form and return it by e-mail to the
contact person by august 10. Participants of TTP-Tokyo may also
answer through TTP-Tokyo organizers.
Full or partial support for domestic travel expenses will be
available for a limited number of participants.
(This workshop was previously called Type Theory and Applications to
Computer Systems. Please notice also the change in the dates)
Venue: Kyoto University Research Insitute for Mathematical Sciences
Kitashirakawa-oiwakecho, Sakyo-ku, KYOTO 606
Contact: Jacques Garrigue
E-mail garrigue@kurims.kyoto-u.ac.jp
Tel (075)753-7211 FAX (075)752-7272
TTP-Kyoto program comittee:
Jacques Garrigue (Kyoto Univesity)
Hideki Tsuiki (Kyoto Industrial University)
Hirofumi Yokouchi (Gunma University)
URL: http://wwwfun.kurims.kyoto-u.ac.jp/ttp-kyoto/
You can also get information about TTP-Tokyo and TACS at the following
URLs: http://www.is.titech.ac.jp/ttp/
http://www.ito.ecei.tohoku.ac.jp/tacs97/
----------------------------------------------------------------------
TTP-Kyoto Registration form
Name:
E-mail:
Affiliation:
Do you intend to give a talk? If yes, give the title:
Would you like us to book an hotel in the area for you?
Prices range around 7000 yen / $60 by person for hotels, 1500-2500 yen
for university accomodation (if available).
If yes, indicate the type of accomodation you want, and the nights you
will be staying in Kyoto:
Do you need support for your travel expenses inside Japan ?
Indicate the trip you are going to do:
(Possibility and amount will be decided by the organizers)