Seminar - pondeli, 10:40, S1 - Interpolant Strength and Proof Reduction in OpenSMT

[Ondrej Sery]

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