The 2000 Kyoto Prize Workshops

Developing Powerful, yet Reliable Software Systems

Antony Hoare

/  Computer Scientist

Advanced Technology

Information Science


11 /12 Sun

13:00 - 17:10

Place: Kyoto International Conference Center

Address:Takaragaike, Sakyo-ku, Kyoto 606-0001 Japan



Greeting Toyomi Inamori, Managing Director, The Inamori Foundation
Katsuo Ikeda, Chairman of the Kyoto Prize Screening Committee; Dean, Professor, Graduate School of Informatics, Kyoto University
Makoto Nagao, Special Advisor, The Inamori Foundation; President, Kyoto University and President, IPSJ
Introduction of Laureate Akinori Yonezawa
Laureate Lecture Antony Hoare Laureate
Lecture Atsushi Ohori, Professor, Japan Advanced Institute of Science and Technology
”A Logical Approach to Compilation and Machine Code Analysis”
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


Antony Hoare

Computer Scientist

From the early 1960s, at the beginning of the shift to large-scale, large-capacity computers, Professor Hoare presented Hoare’s Logic on the definition and design of programming languages and a number of other papers on specification, design, implementation and maintenance of programs, applying his axiomatic approach for better computer performance and greater software reliability. He is a computer scientist who has made significant contributions to the development of software science.


Related information

Nov. 12, 2000 13:00-17:10
Kyoto International Conference Center 
Coordinator and Moderator
Akinori Yonezawa, Member of the Kyoto Prize Screening Committee; Professor, Graduate School of Science, University of Tokyo