Τίτλος: Η συντακτική αναλογία των Curry-Howard
Περίληψη: Το Curry-Howard correspondence παρέχει μια γέφυρα μεταξύ Θεωρίας Υπολογισμού και Μαθηματικής Λογικής. Ιστορικά, ήρθε μαζί με τα πρώτα μοντέλα υπολογισμού και την Ερμηνεία των Brouwer-Heyting-Kolmogorov. Πρόκειται για ένα αποτέλεσμα με πολλές επεκτάσεις και πολλές μορφές. Ακόμα και στην απλούστερη του μορφή, στην οποία θα παρουσιαστεί, γίνεται εμφανής η σημαντικότητα και η ομορφιά του.
Φοιτητής: Παντελέων Ιωαννίδης, Ιάσων Ιωάννης
Η ομιλία θα δoθεί δια ζώσης, όχι διαδικτυακά, στην αίθουσα Μ2 την Παρασκευή 17/5, 11-12.00.