Seminare dnes a zitra

[Tomas Bures]

Dobry den,

na dnesnim a zitrejsim seminari vystoupi nasi hoste Eric Madelaine a 
Antonio Cansado. Po dnesni domluve s nimi jsme oproti puvodnimu planu 
prehodili jejich prednasky. Dnes tedy bude mluvit Antonio Cansado o 
"Formal Specification and Verification of Distributed Components" a 
zitra Eric Madelaine o "Specification and Verification Tools for Grid 
Component-based Applications".

S pozdravem,
Tomas Bures