Call for Participation
OBJ/CafeOBJ/Maude Workshop
Toulouse, France, 20th and 22nd September 1999

CafeOBJ OBJ
Maude

Workshop Co-located with
FM'99 World Congress on Formal Methods
Toulouse, France, 20-24 September 1999

Scope
OBJ is among the best known algebraic specification languages. It embodies clear and precise algebraic semantics while maintaining intuitive operational semantics through rewriting. OBJ has been used as one of the major formal specification languages at many sites all over the world for more than 20 years. CafeOBJ and Maude are the two successors of OBJ incorporating several important new developments in algebraic specification theory and practice.

This workshop provides a unique forum for exchanging ideas on various aspects of OBJ/CafeOBJ/Maude.

Registration
To participate in the OBJ/CafeOBJ/Maude workshop, you must register for FM'99. You also have to make hotel reservation by yourself. Please check the conference main site for related information for FM'99.

Program
Below is the program of the OBJ/CafeOBJ/Maude Workshop at FM'99. Due to a local arrangement problem, we could not get successive dates. There are six regular paper presentations (for 30 mins each) and three short paper presentations (for 15 mins each). The proceedings will be available on site in an electronic format, supposedly in CD-ROM.
Notice: Panelists are not fixed and the program may change.

1st Day, 20th September 1999 (Monday)

11:30-12:30 Keynote Address
Title: Algebraic Specification: Past, Present and Future
Speaker: Joseph Goguen (UC San Diego, USA)

12:30-14:00 Lunch

14:00-15:30 Technical Paper Presentations
TP1: Observer Complete Definitions are Behaviourally Coherent
Authors: Michel Bidoit (ENS, France) and Rolf Hennicker (Univ. Munich, Germany)

TP2: Object Composition and Refinement by using Non-Observable Projection Operators: A Case Study of the Automated Teller Machine system
Authors: Michihiro Matsumoto and Kokichi Futatsugi (JAIST, Japan)

TP3: Specification and Verification of Some Classical Mutual Exclusion Algorithms with CafeOBJ
Authors: Kazuhiro Ogata and Kokichi Futatsugi (JAIST, Japan)

15:30-16:00 Break

16:00-17:30 Panel Discussion 1
CafeOBJ/Maude Languages and Systems
Moderator: Tetsuo Tamai (Univ. Tokyo, Japan)
Panelists: Kokichi Futatsugi (JAIST, Japan), Ataru Nakagawa (SRA, Japan), Jose Meseguer (SRI, USA), Narciso Marti-Oliet (Univ. Complutense, Spain)

2nd Day, 22nd September 1999 (Wednesday)

10:30-11:30 Panel Discussion 2-1
Reflection and the Meta Level
Moderator: Jose Meseguer (SRI, USA)
Panelists: David Basin (Univ. Freiburg, Germany), Manuel Clavel (Univ. Navarre, Spain), Francisco Duran (SRI, USA)

11:30-12:30 Panel Discussion2-2
Behavioral Specification and Software Methodology
Moderator: Razvan Diaconescu (IMRA, Romania)
Panelists: Akira Mori (JAIST, Japan), Michel Bidoit (ENS, France) and/or Rolf Hennicker (Univ. Munich, Germany)

12:30-14:00 Lunch

14:00-15:30 Technical Paper Presentations
TP4: Behavioral Coinductive Rewriting
Author: Grigore Rosu (UC San Diego, USA)

TP5: Algebraic Specification of Object Aggregation - An Event Oriented Approach -
Author: Dorel Lucanu (Univ. A.I.Cuza, Romania)

TP6: Incremental Specification Based on the Combination of Data Types
Authors: Hironobu Kuruma (Hitachi, Japan) and Kokichi Futatsugi (JAIST, Japan)

15:30-16:00 Break

16:00-16:45 Short Paper Presentations
SP1: An Operational Semantics of GAEA in CafeOBJ
Authors: Hiroshi Ishikawa (Fukuyama Univ., Japan), Kokichi Futatsugi, and Takuo Watanabe (JAIST, Japan)

SP2: An Component-Based Algebraic Specification of ODP Trading Function and its Interactive Browsing Environment
Authors: Chiyo Matsumiya, Shusaku Iida, and Kokichi Futatsugi (JAIST, Japan)

SP3: On the Specification and Validation of Cooperative Information Systems Using an Extended MAUDE
Authors: Nasreddine Aoumeur and Gunter Saake (Univ. Magdeburg, Germany)

16:45-17:30 Panel Discussion 3
Future Directions of OBJ/CafeOBJ/Maude
Moderator: Kokichi Futatsugi (JAIST, Japan)
Panelists: Jean-Pierre Jouannaud (Univ. Paris-Sud, France), Pat Lincoln (SRI, USA), Peter Mosses (Univ. Aarhus, Denmark), Mitsu Okada (Keio Univ., Japan)

Mini-Track
There is also OBJ/CafeOBJ/Maude Mini-Track scheduled at main Technical Symposium of FM'99, in which five technical papers are presented.

Program Committee
Razvan Diaconescu
Joseph Goguen (co-chair)
Kokichi Futatsugi (co-chair)
Jean-Pierre Jouannaud
Narciso Marti-Oliet
Jose Meseguer (co-chair)
Ugo Montanari
Ataru Nakagawa
Mitsu Okada
Tetsuo Tamai
Martin Wirsing 		Institute of Mathematics of the Romanian Academy
University of California at San Diego
Japan Advanced Institute of Science and Technology
Universite Paris-Sud
Universidad Complutense
SRI International
Universita di Pisa
Software Research Associate
Keio University
University of Tokyo
Universitat Munchen
Last modified: 7th June 99