Μάθημα : Ειδικά Θέματα Λογικής: Θεωρία Τύπων
Κωδικός : DI636
Παρουσιάσεις εργασιών — Τροποποίηση
Φαίνεται ότι υπάρχει διάθεση να παρουσιάσουν όλοι στίς 27 Μαρτίου. Επομένως, ακυρώνεται η συνάντηση στίς 20 και, αν ο χρόνος δεν φτάσει για όλες τίς παρουσιάσεις, θα βάλουμε άλλη μία φορά (πιθανώς στίς 3 Απριλίου).