Skip to main content
Home
ALMA
INTER-INSTITUTIONAL GRADUATE PROGRAM "ALGORITHMS, LOGIC AND DISCRETE MATHEMATICS"
  • English
  • Ελληνικά

Κεντρική πλοήγηση

Show — Κεντρική πλοήγηση Hide — Κεντρική πλοήγηση
  • Home
  • By-Laws
  • Quality Policy
  • Staff
  • Courses
  • History
  • Posts
  • Forms
  • Theses
  • Seminars
  • Links

Special Topics in Logic: Type Theory

Year
2023-2024
Semester
Fall
Type
Elective
Taught by
Nikolaos Rigas
Start date
6/10
Website
https://eclass.uoa.gr/courses/DI636/

Τελευταίες ανακοινώσεις

07/10/2024
Πρόσκληση σε υποδοχή των πρωτοετών φοιτητών του ΑΛΜΑ
16/09/2024
Παρουσίαση διπλωματικής εργασίας Γεωργίου Τσούμα
16/09/2024
Παρουσίαση διπλωματικής εργασίας Βασίλειου Σταμάτη
19/07/2024
Αποτελέσματα εισαγωγής φοιτητών στο ΔΠΜΣ ΑΛΜΑ για το ακ. έτος 2024-2025
12/07/2024
Ομιλία Γιώργου Μπαρμπαλιά
10/07/2024
Παρουσίαση διπλωματικής εργασίας Βασιλικής Ρασκοπούλου
04/07/2024
Παρουσίαση διπλωματικής εργασίας Φίλιππου Αποστόλου
03/07/2024
Παρουσίαση διπλωματικής εργασίας Ρωμανού Ασλάνη-Πέτρου
31/05/2024
Παράταση προθεσμίας υποβολής αιτήσεων
23/05/2024
Πρόσκληση συμμετοχής στην αξιολόγηση μαθημάτων

Αναζήτηση

A.L.MA. 2016-          Contact          Powered by Drupal