Logic group at NTUA (greek)

Σελίδα της ομάδας Μαθηματικής Λογικής (ΕΜΠ)

4-8 Ιουλίου 2011: 8ο Πανελλήνιο Συμπόσιο Λογικής (PLS8)
29 Maϊου - 3 Ιουνίου 2011: Federated Conference on Rewriting, Deduction, and Programming (RDP 2011)
13-16 Οκτωβρίου 2010: 17th Workshop "Types for Proofs and Programs" (TYPES 2010)
9-20 Αυγούστου 2010: European Summer School in Logic, Language and Information (ESSLLI 2010)
25-31 Ιουλίου 2010: Logic Colloquium (LC 2010)
9-21 Ιουλίου 2010: Federated Logic Conference (FLoC 2010)
9 Ιουλίου 2010: 5th Workshop on Intersection Types and Related Systems (ITRS 2010)

e-mail: koletsos AT math DOT ntua DOT gr, g DOT stavrinos AT math DOT ntua DOT gr