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.
As usual in these events, researchers who have known Kokichi over the years will present various papers in his honor. The organizers are also editing a Festschrift volume that will be published by Springer in its LNCS Festschrift series and will be available at the Symposium in Kanazawa. Papers for this volume will go through a standard refereeing process. The Symposium organizers welcome participation by any members of the scientific community who would like to take part in this important event.
Photo of the Symposium : please click to see the photos
Authors must submit their abstracts and manuscripts through EasyChair system.
Proceedings of the symposium will be published in the series of Springer LNCS Festschrift.
Proceedings of SAS 2014 is published as LNCS vol. 8373. It is available online. You can find information about it at http://www.springer.com/978-3-642-54623-5 or access the online version at http://link.springer.com/openurl.asp?genre=issue&issn=0302-9743&volume=8373
The symposium is held at Kanazawa Excel Hotel Tokyu.
It is expected to enjoy "Sakura" (cherry blossom) at Kenrokuen before or after the symposium. Kenrokuen is located within walking distance from the venue.
View Hotels in a larger map
This web page is maintained by Yuki Chiba (chiba)