Seminar zitra v 9:00

Mon Feb 13 13:46:31 CET 2006

Dobry den,

rad bych vas pozval na seminar, ktery se bude konat zitra (v utery 14. 
2. 2006) od 9:00.

***Tomas Barros*, INRIA, Sophia Antipolis, France /_Formal specification 
and verification of distributed component systems_/

TB

-- 
Tomas Bures
Distributed Systems Research Group
Department of Software Engineering
Faculty of Mathematics and Physics
Charles University, Czech Republic
http://nenya.ms.mff.cuni.cz/~bures

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://d3s.mff.cuni.cz/pipermail/seminar/attachments/20060213/c70fff92/attachment.html>