Seminare dnes a zitra

Tomas Bures bures at dsrg.mff.cuni.cz
Tue Nov 4 13:08:54 CET 2008


Dobry den,

omlouvam se, jeste jednou zmena. Program bude jako puvodne, tedy dnes 
Eric Madelaine a zitra Antonio Cansado.

S pozdravem,
Tomas Bures

Tomas Bures wrote:
> 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
>
>
> _______________________________________________
> Seminar mailing list
> Seminar at dsrg.mff.cuni.cz
> https://dsrg.mff.cuni.cz/mailman/listinfo/seminar
>   




More information about the Seminar mailing list