Specification, Algebra, and Software

Specification, Algebra, and Software

A Festschrift Symposium in Honor of Kokichi Futatsugi
2014/04/14 (Mon) to 2014/04/16 (Wed)
Kanazawa, Japan
Research Center for Software Verification

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.

Nao Aoki