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

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

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

Special Topics in Logic: Martin-Löf Type Theory

Year
2020-2021
Semester
Fall
Type
Elective
Taught by
Nikolaos Rigas
Website
https://eclass.uoa.gr/courses/DI553/
Start date
7/10/2020

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

22/09/2022
Παρουσίαση διπλωματικής εργασίας Μερκούρη Παπαμιχαήλ
22/09/2022
Παρουσίαση διπλωματικής εργασίας Νικήτα Πασλή
15/09/2022
Ομιλία Κωνσταντίνου Καραμανή
23/08/2022
ACAC 22: The 17th Athens Colloquium on Algorithms and Complexity
01/07/2022
Αποτελέσματα εισαγωγής φοιτητών στο ΔΠΜΣ ΑΛΜΑ για το ακ. έτος 2022-2023
30/06/2022
Διεθνές Συνέδριο Μαθηματικών (ICM 2022)
29/06/2022
Συνέδριο Απανταχού Ελλήνων Μαθηματικών - Συνεδρία Θεωρητικής Πληροφορικής
18/06/2022
Παρουσίαση διπλωματικής εργασίας Κωνσταντίνου-Νικολάου Χατζηκοκολάκη
31/05/2022
Παράταση προθεσμίας υποβολής αιτήσεων υποψηφίων σπουδαστών
23/05/2022
Αξιολόγηση μαθημάτων εαρινού εξαμήνου 2021-2022

Αναζήτηση

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