Behavior workshop at ObjectWeb meeting in Prague

[Frantisek Plasil <plasil@xxxxxxxxxxxxxxxxxxxx>]

Dear all,

we would like to invite you to the behavior workshop, which will be held 
as a part of the next ObjectWeb and OSMOSE meeting in Prague, on
July 7-9.

At this point we have a preliminary confirmation of the following talks 
on behavior:
Jean-Bernard Stefani: Process calculus approach ...
F.Plasil: Behavior protocol classics
J.Adamek: The power of consent operator
J.Kofron: Challenges of protocol checker implementation


As we know that you and your colleagues are also working in the field of 
formal methods, we are soliciting for a talk from your group/institution.

If you/your colleagues are interested in having a 
presentation/participate at the workshop, please, let us know, so that 
we could estimate the time/room size which should be allotted for the event.

We are looking forward to meeting you in Prague.

Frantisek Plasil and Jiri Adamek