Activities

JAIST Advanced School on Formal Specification and Systems Verification 2010 (JAIST-FSSV2010)

JAIST (Japan Advanced Institute of Science and Technology) is going to provide 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

Kanazawa and Nomi, Japan, March 1st-5th, 2010

Sinaia School on Formal Verification of Software Systems

The purpose of this school is to introduce to both academia and industry researchers, including research students, a technology for formal verification of software systems that has been developed at Japan Advanced Institute for Science and Technology by a team led by Professor Kokichi Futatsugi. This technology is based upon the CafeOBJ algebraic specification language and system which is one of the main modern formal methods worldwide

Sinaia, Romania, March 3rd-10th, 2008

OBJ/CafeOBJ/Maude Mini-Track and OBJ/CafeOBJ/Maude Workshop

Mini-Track and Workshop co-locatred with FM'99: The World Congress on Formal Methods

Toulouse, France, 20-21 September 1999

1st CafeOBJ symposium

Numazu, Japan, 27-29 April, 1998

RJ'97

1st Romanian-Japanese Algebraic Specification Meeting

Sinaia, Romania, 4-28 August 1997