About Corelab

The laboratory supports graduate and undergraduate courses related to Theoretical Computer Science and also diploma and doctoral theses and research in the fields of Theory of Computation, Logic, Cryptography, Computational Geometry, Graph-theoretic Algorithms and Algorithmic Game Theory.

News

  • ACAC 2022 - Athens Colloquium on Algorithms and Complexity
    ACAC is an annual meeting in Athens aiming to bring together researchers working in all areas of the theory of algorithms and computational complexity. It serves as a lively forum for presenting research results that are in a preliminary stage or have been recently accepted / presented in some major conference. The abstracts of the presented papers will be available on the website. The language of the workshop is English.
    ACAC '22 will take place on August 25-26, 2022, in the Multimedia Amphitheater of the National Technical University of Athens.
  • AtheCrypt2022 (Athens Cryptography Day):
    Athecrypt, the Athens Theoretical Cryptography meeting is an annual event. Its purpose is to give the opportunity to graduate students in Greece to observe talks of researchers from all areas of Cryptography. This year it will take place on Monday, March 14, virtually, via WebEx. Registration is free and open to all!
  • FCT 2021 - 23rd International Symposium on Fundamentals of Computation Theory
    The Symposium on Fundamentals of Computation Theory was established in 1977 to serve as a forum for researchers interested in all aspects of theoretical computer science, and in particular algorithms, complexity, formal and logical methods. It is a biennial series of conferences.
    FCT 2021 will take place virtually, on September 12-15, 2021, hosted by the Computation and Reasoning Laboratory (CoReLab) of the School of Electrical and Computer Engineering, of the National Technical University of Athens.
  • ACAC 2021 - Athens Colloquium on Algorithms and Complexity
    ACAC is an annual meeting in Athens aiming to bring together researchers working in all areas of the theory of algorithms and computational complexity. It serves as a lively forum for presenting research results that are in a preliminary stage or have been recently accepted / presented in some major conference. The abstracts of the presented papers will be available on the website. The language of the workshop is English.
    ACAC '21 will take place on Thursday-Friday, on August 26-27, and it will be a fully online event, due to the COVID-19 pandemic. This year it is organised by the Computation and Reasoning Laboratory (CoReLab) of the School of Electrical and Computer Engineering, National Technical University of Athens.
  • Athens Cryptography Day 2021 (AtheCrypt2021)
    Athecrypt, the Athens Theoretical Cryptography meeting is an annual event. Its purpose is to give the opportunity to students and scientists in Greece and abroad to observe talks from renowned and promising researchers working in all areas of Cryptography. In 2021, it will take place on Saturday 16th and Saturday 23rd January, virtually, via WebEx. The meeting link is provided by email after (free) registration.
  • Talks on Research Challenges in Computer Science
    will take place on Wednesday, January 13th, 2021, via WebEx.
    For details please visit the website: http://corelab.ntua.gr/cstalks2021/
  • How to contact us

    Telephone: +30-210-772-3339

    FAX: +30-210-772-1645

    Postal address: National Technical University of Athens,
    School of Electrical and Computer Engineering,
    Department of Computer Science,
    Computation and Reasoning Laboratory (CoReLab, room 1.1.3),
    Polytechnioupoli Zografou, 157 80 Athens, Greece.

    Electronic mail: (general information), (webmaster)