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

No Subject



BAD MSG:
	S.Hayashi, Univ Kobe 
N.Kobayashi, Univ Tokyo 
	M.Kanazawa, Univ Chiba 
	K.Honda, Univ Manchester/Keio Univ  
	M.Nagayama, TWCU 
	M.Okada, Keio Univ  
	H.Ono, JAIST  
	A.Yonezawa, Univ Tokyo


Scientific Program Comittee:
Jean-Yves Girard (LMD-CNRS, Marseille, France)
Mitsu Okada (Keio Univ, Japan)
Andre Scedrov (Univ. of Pennsylvania, USA).

Local Organizing Comittee:
Y. Fujiwara (Toshiba Lab)
K. Mukai (Keio Univ)
M. Nagayama (TWCU)
M. Okada (Keio Univ)
M. Takahashi-Horai (Titech)

---------------------------------------------------------------------------
Post-Conference Activities

Apr 2,  1:00pm -- 6:00pm   "Philosophy of Mathematics" Symposium,
                           (the International Meeting Room of the fourth 
                           floor of the "Kitashinkan" building)
                           organizers: H. Ishiguro(Keio Univ) 
                                       and M. Okada(Keio Univ)
                           speakers: J-Y. Girard(CNRS, France), 
                                     T. Iida(Chiba Univ), 
                                     M. Okada(Keio Univ), 
                                     C. Parsons(Harvard Univ, USA), 
                                     D. Prawitz(Stockholm Univ, Sweden), 
                                     G. Takeuti(Illinois Univ, USA), 
                                     D. van Dalen(Utrecht Univ, Netherlands)
        6:00pm -- 8:00pm   Reception (Faculty Club)

Apr 3,  10:00am-- 3:00pm   "History of Logic" Symposium,
                           (the International Meeting Room of the fourth
                           floor of the "Kitashinkan" building)
                           organizers: H. Ishiguro(Keio Univ) 
                                       and M. Okada(Keio Univ)
                           speakers: J.J. Katz(New York Univ, USA),
                                     H. Sinaceur(CNRS, France),
                                     D. van Dalen(Utrecht Univ, Netherlands)
                          
Apr 3,  3:30pm --          ALGI96 Seminar (the AV-Hall of the Mail Library)
                           organizer: Y. Akama(Univ. Tokyo)

Apr 4,  10:00am--          ALGI96 Seminar (the AV-Hall of the Mail Library)
                           organizer: Y. Akama(Univ. Tokyo)

Apr 5,  10:00am--          ALGI96 Seminar (the AV-Hall of the Mail Library)
                           organizer: Y. Akama(Univ. Tokyo)

Apr 4,  9:30am -- 4:00pm   Protcol Verification System Workshop
                           (room 102, building 1)
                           (organized by SRI-International,
                            organizer: N. Shankar,
                            lecturer:  P. Lincoln