Symposium: Developing Powerful, yet Reliable Software Systems
Coordinator & Moderator:
Akinori Yonezawa, Member of the Kyoto Prize Screening Committee; Professor, Graduate School of Science, University of Tokyo
13:00 |
Opening |
|
|
Greeting |
Toyomi Inamori, Managing Director, The Inamori Foundation |
|
Greeting |
Katsuo Ikeda, Chairman of the Kyoto Prize Screening Committee; Dean, Professor, Graduate School of Informatics, Kyoto University |
|
Greeting |
Makoto Nagao, Special Advisor, The Inamori Foundation; President, Kyoto University and President, IPSJ |
|
Introduction of Laureate |
Akinori Yonezawa |
|
Laureate Lecture |
Antony Hoare Laureate
Assertions |
|
Lecture |
Atsushi Ohori, Professor, Japan Advanced Institute of Science and Technology
A Logical Approach to Compilation and Machine Code Analysis |
|
Intermission |
|
|
Lecture |
Naoki Kobayashi, Lecturer, Graduate School of Science, University of Tokyo
Types as Abstract Programs: A Generic Type System for Concurrent Programming Languages |
|
Lecture |
Kazuhiko Kato, Associate Professor, Institute of Information Sciences and Electronics, University of Tsukuba
Mobile Object Computing Based on the Mobile Substrate Approach |
|
Question - and - Answer |
|
17:10 |
Closing |
|
Workshop Program and Abstract(PDF)
