behavior workshop agenda

[Jiri Adamek <adamek@xxxxxxxxxxxxxxxxxxxx>]

Dear behavior workshop participants,

please find below a tentative agenda of the workshop. It is
scheduled from 10:00 to 13:00 (July 7), and there are 30 minutes
assigned to every talk, including discussions:

10:00   Jean-Bernard Stefani:    Process Calculus Approach to Behavior 
                                 Specifications (preliminary title)
10:30   Frantisek Plasil:        Behavior Protocols - Background
11:00   Jiri Adamek:             The Power of Capturing Composition Errors
11:30   Jan Kofron:              Challenges of Protocol Checker 
                                 Implementation (preliminary title)
12:00   Eric Madelaine:          Behavioural Models for Distributed Objects
12:30   Vladimir Mencl:          SOFA/Fractal Component Design via Use Cases

Those of the speakers who provided only a prelimiarny title of their talk 
are kindly requested to send a confirmation or an udpdate, so that we 
could keep the agenda current. Also, if you have other questions or 
comments, feel free to contact me.

Best regards

Jiri Adamek
----------------------------------
Distributed Systems Research Group
Department of Software Engineering
Faculty of Mathematics and Physics
Charles University in Prague
Malostranske namesti 25
11800, Prague 1, Czech Republic
http://nenya.ms.mff.cuni.cz/

e-mail: adamek@xxxxxxxxxxxxxxxxxxxx
phone:  +420 2 2191 4236
fax:    +420 2 2191 4323
http://nenya.ms.mff.cuni.cz/~adamek/