[TYPES] Professor Eiichi Goto

Bruno Buchberger Bruno.Buchberger at risc.uni-linz.ac.at
Thu Jun 16 14:39:02 EDT 2005

Previous message: [TYPES] CFP --- LPAR 2005 WS: Empirically Successful Automated Reasoning in Higher-Order Logic (ESHOL)
Next message: [TYPES] CPSec 2005: Extended Submission Deadline
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Dear members of the international Symbolic Computation community,
 
I just received a note that Professor Eiichi Goto passed away on June
12, 
2005, due to sudden heart attack. He was one of the Japanese pioneers in

the area of symbolic computation and a truly interdisciplinary
scientist.
 
Regards,  Bruno Buchberger.

Previous message: [TYPES] CFP --- LPAR 2005 WS: Empirically Successful Automated Reasoning in Higher-Order Logic (ESHOL)
Next message: [TYPES] CPSec 2005: Extended Submission Deadline
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-list mailing list