Special Session on Logic and Foundations of Mathematics
First Congress of Greek Mathematicians
Wednesday 27/6/2108
Morning Session (chair Thanasis Pheidas)
| 09:00 - 09:05 | Welcome |
| 09:05 - 10:00 | Yiannis N. Moschovakis, U. California, Los Angeles |
| The mathematics of definitions | |
| 10:00 - 10:30 | Vassilios Gregoriades U. Turin |
| Uniformity functions in descriptive set theory and their applications | |
| 10:30 - 11:00 | Antonis Kakas, U. Cyprus |
| Argumentation Logic |
Afternoon Session (chair Rizos Sklinos)
| 17:00 - 17:30 | Panagis Karazeris, U. Patras |
| Conceptual completeness in categorical logic | |
| 17:30 - 18:00 | Konstantinos Tsaprounis, U. Aegean |
| On mathematical applications of large cardinal axioms | |
| 18:00 - 18:30 | Stamatis Dimopoulos U. Bristol |
| Strong compactness and the continuum function |
Thursday 28/6/2018
Morning session (chair Panos Rondogiannis)
| 09:00 - 09:30 | Pavlos Peppas U. Patras |
| Belief revision: achievements and challenges | |
| 09:30 - 10:00 | Nikos Tzevelekos Queen Mary U. London |
| Nominal game semantics | |
| 10:00 - 10:30 | Stathis Zachos National Technical U. Athens |
| Computational Complexity Classes | |
| 10:30 - 11:00 | Pavlos Marantidis TU Dresden |
| Approximate unification in the description logic FLO |