Behavior workshop at the ObjectWeb/OSMOSE meeting in Prague

[Jiri Adamek <adamek@xxxxxxxxxxxxxxxxxxxx>]

Dear all,

during the next Objectweb/OSMOSE meeting in Prague, a behavior workshop 
takes place. It is intended for talks/presentations addressing the 
problems of behavior specifications and formal methods in general.

The workshop is scheduled to July 7, from 10 AM to 1 PM (we moved the 
beginning to have enough time for the presentations and discussions; in 
the tentative agenda of the OSMOSE/Objectweb meeting, the beginning of 
the workshop was scheduled to 11 AM).

If you are interested in having a talk on the workshop, please feel 
free to contact me.

Also, everybody who is interested in participating on the workshop is 
welcome. I will send the detailed agenda of the workshop to this mailing 
list soon.

Jiri