Seminare dnes a zitra

Frantisek Plasil plasil at dsrg.mff.cuni.cz
Tue Nov 4 12:14:36 CET 2008


On 11/4/2008 12:07 PM, 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".
Aha myslel jsem, ze ve velke poslucharne bude mluvit Eric...
Fr
> 
> S pozdravem,
> Tomas Bures
> 
> 
> _______________________________________________
> Seminar mailing list
> Seminar at dsrg.mff.cuni.cz
> https://dsrg.mff.cuni.cz/mailman/listinfo/seminar


-- 
____________________________________________
Frantisek Plasil, Ph.D.
Professor and Chair
Department of Software Engineering
Charles University
Malostranske nam.25
11800 Prague 1, Czech Republic
http://dsrg.mff.cuni.cz
Phone: (+420) 2 2191 4266
Fax:   (+420) 2 2191 4323




More information about the Seminar mailing list