Specification, Algebra, and Software
About the symposium
Kokichi Futatsugi is a leading researcher in formal methods and software engineering, where he has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice.
The Symposium "Specification, Algebra, and Software", honoring Kokichi will be held April 14-16, 2014 in Kanazawa, Japan. It will be the Cherry Blossom period in Kanazawa, a happy and festive time to suit the occasion.
Please see the web page of the symposium: http://www.ldl.jaist.ac.jp/futatsugifest/ for details.
Please see : https://www.dropbox.com/sh/ryus0lzm6adui24/mWtk9XlO7a for photos of the symposium.