Seminars
2012-2013
| Date | Speaker(s) | Title |
|---|---|---|
| 2013/05/17 | E. Kranakis | Monitoring the Plane with Rotating Radars |
| 2013/02/08 | A. Stampoulis | VeriML: A dependently-typed, user-extensible and language-centric approach to proof assistants |
| 2012/12/14 | E. Zachos | Ο δρόμος από τον Leibniz ως τον Turing |
| 2012/11/30 | R. Belmonte | Induced immersions |
| 2012/10/26 | D. Lokshtanov | News from the width world |