Seminar
![Photo of Papaspyrou](/media/cache/20/df/20df8db0d6f1042cef871069e4317c1a.jpg)
Speaker: | Νικόλαος Παπασπύρου (Επίκουρος Καθηγητής, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΕΜΠ, NTUA) |
---|---|
Title: | Programming with proofs: Type systems based on logic ... and other frightening stories .. |
Date: | Παρασκευή, 04 Ιούν 2004 |
Ώρα: | 18:00-19:00 |
Comments