D3S seminar - Mar 14

[Jan Kofron]

Dear all,

Let me invite you to another seminar in this semester that will take 
place on Tuesday, March 14, at 14:00 in S9 [1]. The seminar will be 
presented by Martin Blicha. It is a rehearsal of a his PhD defence talk: 
"Effective Automated Software Verification: A Multilayered Approach"

[1] https://d3s.mff.cuni.cz/seminar/

Thanks, best regards!
Jan


-- 
Jan Kofron, Ph.D.
Associate Professor
Department of Distributed and Dependable Systems
Faculty of Mathematics and Physics
Charles University
Malostranske namesti 25
118 00 Praha 1, Czech Republic
Phone: +420 95155 4285
http://d3s.mff.cuni.cz/~kofron
-------------- next part --------------
A non-text attachment was scrubbed...
Name: OpenPGP_signature
Type: application/pgp-signature
Size: 236 bytes
Desc: OpenPGP digital signature
URL: <http://d3s.mff.cuni.cz/pipermail/seminar/attachments/20230313/b7c3cb9d/attachment.sig>