The 2000 Kyoto Prize Workshops

Developing Powerful, yet Reliable Software Systems

Antony Hoare

/  Computer Scientist

Advanced Technology

Information Science

2000

11 /12 Sun

13:00 - 17:10

Place: Kyoto International Conference Center

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

Finished

Program

13:00
Opening
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
”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

Laureates

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.

Details

Related information

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