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
  • Alumni
  • Seminars
  • Links

Special Topics in Logic: Type Theory

Year
2025-2026
Semester
Fall
Type
Elective
Taught by
Nikolaos Rigas
Website
https://eclass.uoa.gr/courses/DI636/

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

05/11/2025
Δηλώσεις μαθημάτων και Διπλωματικών Χειμερινού εξαμήνου 2025-26
30/09/2025
Πρόσκληση σε υποδοχή των πρωτοετών φοιτητών του ΑΛΜΑ
18/07/2025
Παρουσίαση διπλωματικής εργασίας Κυριάκου Παπαδόπουλου
13/07/2025
Αποτελέσματα εισαγωγής φοιτητών στο ΔΠΜΣ ΑΛΜΑ για το ακ. έτος 2025-2026
24/06/2025
Πρόσκληση σε ομιλία Μιχάλη Γιαννακάκη (25/6) και στην τελετή αναγόρευσής του ως Επίτιμου Διδάκτορα του ΕΜΠ (26/6)
07/06/2025
Παρουσιάσεις «Παραµετρική Πολυπλοκότητα και Αλγόριθµοι»
02/06/2025
Παράταση προθεσμίας υποβολής αιτήσεων
21/05/2025
Παρουσίαση των ΠΜΣ και ΔΠΜΣ του τμ. Μαθηματικών ΕΚΠΑ
09/05/2025
Παρουσίαση των ΠΜΣ και ΔΠΜΣ του Τμ. Πληροφορικής και Τηλεπικοινωνιών ΕΚΠΑ
05/05/2025
Ορκωμοσία αποφοίτων χειμερινής περιόδου 2024-2025

Αναζήτηση

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