[Prev][Next][Index][Thread]

TTP-Kyoto program

                  Theories of Types and Proofs - Kyoto meeting
                                       
                             September 19-21, 1997
                                       
   Venue
          4th floor, room 420
          Kyoto University Reasearch Institute for Mathematical Sciences
          North Campus (Faculty of Agronomy)
          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 +81-75-753-7211 FAX +81-75-752-7272

   TTP-Kyoto program commitee
          Jacques Garrigue (Kyoto University)
          Hideki Tsuiki (Kyoto Sangyo University)
          Hirofumi Yokouchi (Gunma University)

   URL    http://wwwfun.kurims.kyoto-u.ac.jp/ttp-kyoto/

Program

 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
          Kameyama Yukiyoshi (Kyoto University)
          Strong Normalizability of Classical Catch/Throw Calculus
          
   16:30-17:10
          Benjamin Werner (INRIA-Rocquencourt)
          Bruno Barras ( '' )
          Towards Certified Proof-checkers
          
 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)
          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
          
 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

---------------------------------------------------------------------------
Jacques Garrigue	Kyoto University      garrigue@kurims.kyoto-u.ac.jp
		<A HREF=http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/>JG</A>