**Courses**- Mathematical Logic (undergraduate)
- Set Theory (undergraduate)
- Applications of Logic in Computer Science (undergraduate)
- Proof Theory (graduate)
- Lambda Calculus (graduate)
- Proofs and Programs (graduate)
- Category Theory (graduate)
**Conferences***July 4-8, 2011*: 8th Panhellenic Logic Symposium (PLS8)*May 29 - June 3, 2011*: Federated Conference on Rewriting, Deduction, and Programming (RDP 2011)*October 13-16, 2010*: 17th Workshop "Types for Proofs and Programs" (TYPES 2010)*August 9-20, 2010*: European Summer School in Logic, Language and Information (ESSLLI 2010)*July 25-31, 2010*: Logic Colloquium (LC 2010)*July 9-21, 2010*: Federated Logic Conference (FLoC 2010)*July 9, 2010*: 5th Workshop on Intersection Types and Related Systems (ITRS 2010)**Other sites**- School of Electrical and Computer Engineering, NTUA
- School of Applied Mathematical and Physical Sciences, NTUA
- Logic, Algorithms and Computation (ÌÐËÁ)
- Computation and Reasoning Laboratory, NTUA
- Algorithms and Logic Laboratory, NTUA
- Master in Applied Mathematical Sciences, NTUA
- Logic and Foundations of Mathematics & Computer Science
- Mathematical Logic around the world
- Association for Symbolic Logic
**Miscellaneous**

e-mail: