Symposium on Proving, Solving and Computing
On the Occasion of Prof. Igarashi's Retirement from
the University of Tsukuba
Thursday June 28, 2001
Tsukuba International Congress Center (EPOCHAL Tsukuba)
Japanese
The symposium is over. We would like to thank all invited
speakers and participants. Some (quite incomplete list of) photos
are here. Photos of party are here.
"Proving, solving and computing", coined by Bruno Buchberger, symbolizes
the essence of intellectual activities of mathematicians and computer
scientists. As the discipline of computing matures, we are getting
more and more concerned with the quality of computing. The quality
of computing is enhanced by solving challenging problems and is
ultimately attained by proving correctness of our statements in computing.
In this symposium, we would like to share with you this important shift
of paradigms in computing. To this aim, leading scientists in the
filed are invited. This symposium is organized to commemorate
the 25 years' service of Prof. Igarashi at the University of Tsukuba,
who has made great contribution in the area of theoretical computer science.
We welcome all interested scientists and citizens to this symposium.
Together with you we would like to deepen and widen our understanding
of the subject.
Symposium Information
We plan to have a party after the symposium.
Those who want to participate in the party are kindly asked to
take contact with
us .
Inquiry: spsc@ailab.is.tsukuba.ac.jp