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/

TTP-Kyoto	Registration form


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)