Την Τετάρτη 24/6, 11-13.00, στην αίθουσα Μ2, ο φοιτητής Χαρίσιος Κουτσώνας και ο απόφοιτος του Τμήματος Φιλιππίδης Στέλιος, θα παρουσιάσουν την εργασία τους για τον proof assistant Lean και την τυποποίηση των Μαθηματικών.

• 11.15-12.00, Χαρίσιος Κουτσώνας
• 12.15-13.00, Στέλιος Φιλιππίδης

Θα υπάρξει 15′ διάλειμμα μεταξύ των δύο ομιλιών. Η διάλεξη απευθύνεται σε όλους τους φοιτητές.