Activities

Call for paper OBJ/CafeOBJ/Maude Mini-Track at FM'99
Call for paper OBJ/CafeOBJ/Maude Workshop (Toulouse, France, 20-21 September 1999)
1st CafeOBJ symposium, Numazu, 27-29 April, 1998.
RJ'97 (1st Romanian-Japanese Algebraic Specification Meeting)