FGCS'92 CONFERENCE REPORT
COVER
Photos
Table of Contents
Opening Address	1
Tadashi Sekizawa, President, ICOT
Opening Address	3
Hidehiko Tanaka, Conference Chairperson, Tokyo University
Greetings	5
Kozo Watanabe, Minister of International Trade and Industry
Keynote Speech
"Perspective on Information Technology Policy"	7
Hideaki Kumano, Director General, Machinery and Information Industries Bureau, 　　　Ministry of International Trade and Industry
Keynote Speech
"Launching the New Era"	11
Kazuhiro Fuchi, Director, ICOT Research Center
Report from the Program Committee	18
Hozumi Tanaka, Program Chairperson, Tokyo Institute of Technology
Invited Lecture
"Logic, Computer Science and Artificial Intelligence: A Historical Perspective"	22
J.A.Robinson
Invited Lecture
"Algorithmic and Knowledge Based Methods: Do They 'Unify'?" 　 - With Some Programme Remarks for UNU/IIST -　　　Dines  Bjφrner	42
Invited Lecture
"Programs are Predicates"　　　　　　　　　　　　　　　　　　C.A.R.Hoare	55
Panel Discussion
"A Springboard for Information Processing in the 21st Century"	69
General Information	95
Program	96
Conference Organization	100