Specification, Algebra, and Software
A Festschrift Symposium in Honor of Kokichi Futatsugi
(SAS 2014)

Apr. 14 (Mon) - 16 (Wed), 2014
Kanazawa, Japan


About the symposium

Portrait of Prof. Futatsugi

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

Important dates (tentative)


Authors must submit their abstracts and manuscripts through EasyChair system.

Proceedings of the symposium will be published in the series of Springer LNCS Festschrift.


Online Edition

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.

About Kanazawa

Cherry blossoms in Kenrokuen
© Kanazawa city

It is expected to enjoy "Sakura" (cherry blossom) at Kenrokuen before or after the symposium. Kenrokuen is located within walking distance from the venue.


Map around the venue

View Hotels in a larger map


Program Committee

Publicity/Publication Chair

Local Arrangements Chair


This web page is maintained by Yuki Chiba (chiba(domain of mail address: at jaist.ac.jp))