From jan.kofron at d3s.mff.cuni.cz Mon Mar 13 10:55:15 2023 From: jan.kofron at d3s.mff.cuni.cz (Jan Kofron) Date: Mon, 13 Mar 2023 10:55:15 +0100 Subject: D3S seminar - Mar 14 Message-ID: <5dfb79c6-3399-170c-d04b-86fdb8fe8d65@d3s.mff.cuni.cz> 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: From jan.kofron at d3s.mff.cuni.cz Mon Mar 27 11:05:40 2023 From: jan.kofron at d3s.mff.cuni.cz (Jan Kofron) Date: Mon, 27 Mar 2023 11:05:40 +0200 Subject: D3S seminar - Mar 28 Message-ID: <4333793f-ba74-3800-6799-9964722c141b@d3s.mff.cuni.cz> Dear all, Let me invite you to another seminar in this semester that will take place on Tuesday, March 28, at 14:00 in S9 [1]. The seminar will be presented by Tomáš Petříček. The topic is: Cultures of Programming. [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: