Welcome to the page of the Ìathematical Logic group
(NTUA)
- Courses
- 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
- Miscellaneous
e-mail:
koletsos AT math DOT ntua DOT gr,
g DOT stavrinos AT math DOT ntua DOT gr