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