From bures at nenya.ms.mff.cuni.cz Mon Feb 13 13:46:31 2006 From: bures at nenya.ms.mff.cuni.cz (Tomas Bures) Date: Mon, 13 Feb 2006 13:46:31 +0100 Subject: Seminar zitra v 9:00 Message-ID: <43F07FA7.70603@nenya.ms.mff.cuni.cz> 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: