JAIST Advanced School on
Formal Specification and Systems Verification 2010

March 1st-5th, 2010
JAIST, Nomi, Ishikawa, Japan
Kanazawa Excel Hotel Tokyu, Kanazawa, Ishikawa, Japan

JAIST (Japan Advanced Institute of Science and Technology) has provided an advanced school which is designed to give a series of lectures on recent activities about formal specification and systems verification with CafeOBJ and Maude. CafeOBJ and Maude are sister languages of OBJ language, and two of the most advanced formal specification languages for systems verification.

This was the first JAIST advanced school on this subject and lectures of the school covered the following topics:

Lecturers (in alphabetical order):

Participants list

Students' Slides

Lecture Materials




Opening and introductory sessions was held at Japan Advanced Institute of Science and Technology, and the main body of the advanced school (a series of lectures) was organized at Kanazawa Excel Hotel Tokyu. Internet access was available from the hotel rooms.

Preparation for Participation

Participants were expected to install CafeOBJ and Maude systems into their own laptop computers by looking into the web pages of CafeOBJ and Maude. It was also expected for participants to get minimal knowledge about CafeOBJ and Maude languages/systems before attending the advanced school by looking into the web pages of CafeOBJ Intro and Maude Primer.

Travel Information


JAIST is Japanese first graduate university without undergraduate division, and is now growing into a leading research and higher education institution in Japan, with the goal of making serious contributions to the development of modern society. We create an educational and research environment for future leaders, who will advance science and technology for future generations.

Entrance of JAIST


The city of Kanazawa inherits the most matured parts of old Japanese culture and is considered to be one of the most beautiful Japanese towns. Kanazawa Excel Hotel Tokyu is located ideally at the center of the town and all the major sightseeing spots are within walking distance.

A night in Kenrokuen


last update: 2010.04.27