From ondrej.sery at d3s.mff.cuni.cz  Wed Nov 28 12:35:10 2012
From: ondrej.sery at d3s.mff.cuni.cz (Ondrej Sery)
Date: Wed, 28 Nov 2012 12:35:10 +0100
Subject: Seminar - pondeli, 10:40,
 S1 - Interpolant Strength and Proof Reduction in OpenSMT
Message-ID: <50B5F6EE.4090403@d3s.mff.cuni.cz>

Ahoj vsichni,

rad bych vas upozornil na pondelni (!) seminar v nestandardnim case 
(1040) a miste (S1). Jde o me kolegy z Lugana a asi to bude trosku 
formalnejsi.

Pekny den,
Ondra

-- 

Ondrej SERY, Ph.D.

http://d3s.mff.cuni.cz/~sery
+420 221 914 285
_________________________________________
Dept. of Distributed & Dependable Systems
Faculty of Mathematics and Physics
Charles University in Prague
Malostranske nam.25
11800 Prague 1
Czech Republic