[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