From bures at nenya.ms.mff.cuni.cz Wed May 21 10:36:22 2003 From: bures at nenya.ms.mff.cuni.cz (Tomas Bures) Date: Wed, 21 May 2003 10:36:22 +0200 Subject: temata na 3.6. a 4.6. Message-ID: <20030521083622.GA11022@nenya.ms.mff.cuni.cz> Dobry den, na 3.6. (utery) a 4.6. (streda) nam chybeji temata a prednasejici. Kdybyste meli neco zajimaveho, tak se mi prosim ozvete. Diky TB From bures at nenya.ms.mff.cuni.cz Mon May 26 10:21:15 2003 From: bures at nenya.ms.mff.cuni.cz (Tomas Bures) Date: Mon, 26 May 2003 10:21:15 +0200 Subject: Posunuti seminaru tento tyden Message-ID: <20030526082115.GA23642@nenya.ms.mff.cuni.cz> Dobry den, chtel bych upozornit, ze se tento tyden posunuji seminare nasledovne: Utery 9:00 --> Ctvrtek 9:00 Streda 9:00 --> Streda 9:45 Prispevky budou nasledujici: Streda 9:45 * Tomas Oplustil: Java .NET Integration Conference Remarks Ctvrtek 9:00 * Jiri Adamek: Report on the paper: G. Ciardo, R. Marmorstein, R. Siminiceanu: Saturation Unbound Conference on Tools and Algorithms for the Construction and Analyses of Systems (TACAS), ETAPS, Warsaw, Poland, April 2003; LNCS 2619, Springer TB