[ Kyoto University
| KURIMS
| WWWFun
] ......................
![[English]](/icons/us-s.gif)
![[Japanese]](/icons/japan-s.gif)
Theories of Types and Proofs (TTP) - Kyoto Meeting
Kyoto, September 19-21, 1997
Proceedings available soon as RIMS Lecture Notes 1023.
Program is here.
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.
(This workshop was previously called Type Theory and Applications to
Computer Systems. Please notice also the change in the dates)
- Venue:
- 4th floor, room 420
- Kyoto University Research Insitute for Mathematical Sciences
Kitashirakawa-oiwakecho, Sakyo-ku, KYOTO 606
- Access:
- City bus 203 (from Imadegawa station), 11 (from Shijo street),
17 (from Kyoto station).
Get off at Kitashirakawa or Nogakubumae.
- 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:
- TTP-Tokyo
- TACS'97
September 19th (Friday)
- 11:00-11:30
- Satoshi Matsuoka (Nagoya Institute of Technology)
- Towards a Higher Order Unification based on Proof Nets
- 11:30-12:10
- Mario Coppo (Universita di Torino)
- Recursive Types: the Syntactic and Semantic Approach
- 14:00-14:40
- Mitsuhiro Okada (Keio University)
- Masahiro Hamano ( '' )
- Type-Theoretic Completion from Algebraic Specifications
- 14:40-15:20
- Mariangiola Dezani (TIT - Universita di Torino)
- A Filter Model for Mobile Processes
- 15:50-16:30
- Yukiyoshi Kameyama (Kyoto University)
- Strong Normalizability of Classical Catch/Throw Calculus
- 16:30-17:10
- Benjamin Werner (INRIA-Rocquencourt)
- Bruno Barras ( '' )
- Towards Certified Proof-checkers
- 17:10-17:50
- Philippa Gardner (University of Cambridge)
- Andrew Barber, Masahito Hasegawa, Gordon Plotkin
- From Action Calculi to Linear Logic
September 20th (Saturday)
- 10:50-11:30
- Kazushige Terui (Keio University)
- Mitsuhiro Okada ( '' )
- Some Semantics of Linear Logic (tentative title)
- 11:30-12:10
- Giorgio Ghelli (Universita di Pisa)
- Complexity of Kernel Fun Subtype Checking
- 14:00-14:40
- Masatomo Hashimoto (Kyoto University)
- Atsushi Ohori ( '' )
- A Typed Context Calculus
- 14:40-15:20
- Didier Remy (INRIA-Rocquencourt)
- Object Extension Unifies Objects with Classes
- 15:50-16:30
- Yoji Akama (University of Tokyo)
- Intersection Typing System and Partial Combinatory Algebras
- 16:30-17:10
- Erik Poll (University of Kent)
- Subtyping and Inheritance for Inductive Types
- 18:30-
- Dinner at restaurant Misora
September 21st (Sunday)
- 9:30-10:10
- Susumu Nishimura (Kyoto University)
- Static Typing for Dynamic Messages
- 11:10-10:50
- Koji Kagawa (Kagawa University)
- Simplification of Subtyping Constraints and Its Application
- 10:50-11:30
- Yasuhiko Minamide (Kyoto University)
- A Functional Representation of Data Structures with a Hole
JG 97.12.24.