<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

<head>

  <meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">

  <title></title>

</head>

<body bgcolor="#ffffff" text="#000000">

Dobry den,<br>

<br>

rad bych vas pozval na seminar, ktery se bude konat zitra (v utery 14.

2. 2006) od 9:00. <br>

<br>

<strong></strong><strong>Tomas Barros</strong>, INRIA, Sophia

Antipolis, France <i><u>Formal specification and verification of

distributed component systems</u></i><br>

<br>

TB<br>

<br>

<pre class="moz-signature" cols="72">-- 

Tomas Bures

Distributed Systems Research Group

Department of Software Engineering

Faculty of Mathematics and Physics

Charles University, Czech Republic

<a class="moz-txt-link-freetext"

 href="http://nenya.ms.mff.cuni.cz/%7Ebures">http://nenya.ms.mff.cuni.cz/~bures</a>

</pre>

</body>

</html>