cvs logo

2nd CVS/AIST WORKSHOP

21st Oct. 2004

ONE-DAY WORKSHOP ON
VERIFICATION AND REWRITING


Workshop Speakers

( Please click a framed picture to get an abstruct respectively. )

Dr. Meseguer Q&A
Dr. Ohsaki Q&A
Dr. Takeyama Q&A
Prof. Dr. Jose Meseguer


Dr. Hitoshi Ohsaki


Dr. Makoto Takeyama

Dr. Buchberger Q&A
Dr. Sato Q&A

Dr. Kinoshita/MC
Prof. Dr. Bruno Buchberger


Prof. Dr. Masahiko Sato



Dr. Kinoshita, MC for the day

Dr. Iwami Lecture
Tanabe Q&A

Tea Break
Dr. Muinehiro Iwami


Yoshinori Tanabe



Tea Break








Gathering

( Please click  pictures to get bigger ones. )
Cheers! Gathering

Group Picture1 Group Picture2 Gruop Picture3 Group Picture4
Extended Workshop1 Extended Workshop2 Extended Workshop3
During the gathering, an extended workshop started.