Corelab Seminar



The Corelab Seminar is an informal seminar organized by the Computation and Reasoning Laboratory. Its scope encompasses all areas of Theoretical Computer Science, and it is open to undergraduate students, graduate students, and faculty members alike. Distinguished speakers are often invited to give lectures based on their recent work.

  • When: On Mondays, at 18:30 (but check also the talk schedule below).
  • Where: Room 1.1.31, School of Electrical & Computer Engineering, National Technical University of Athens.

If you wish to give a talk or be notified of upcoming talks, please send an e-mail either to , or to whoever is currently serving as Seminar manager (see sidebar).


  • [Sep 19th, 2016] Seminar begins. First talk is on Monday 19/09 at 19:00!


Date* Speaker/Title
Jul 28th Abhi Shelat (Northwestern University)
Verifiable outsourcing for hardware (abstract).
Jul 26th George Barmpalias (Chinese Academy of Sciences)
Digital morphogenesis via Schelling segregation (abstract).
Jul 25th George Barmpalias (Chinese Academy of Sciences)
Aspects of Chaitin's Omega (abstract).
Jul 19th Antonis Achilleos (Reykjavik University)
The complexity of identifying characteristic formulas for μHML (abstract).
Jul 6th Nikos Triandopoulos (Stevens Institute of Technology)
How to secure your outsourced computations without harming utility (abstract).
Jul 6th Nikolaos Korasidis (ETH)
An elementary introduction to gene graphs for engineers.
Apr 10th Antonis Achilleos (Reykjavik University)
Determinizing Monitors for HML with Recursion (abstract).
Mar 27th Orfeas Litos (NTUA)
Trust related work (abstract).
Feb 13th Thodoris Papamakarios (UoA)
Proof Complexity: A tableau perspective (abstract).
Jan 23rd Kostas Tsaprounis (University of Crete)
Large cardinal axioms (abstract).
Jan 9th Thodoris Lykouris (Cornell University)
Pricing and Optimization in shared vehicle systems (abstract).
Jan 9th Paris Koutris (University of Wisconsin-Madison)
Pricing Relational Data with Guarantees (abstract).
Dec 21st Manolis Zampetakis (MIT)
Faster Sublinear Algorithms using Conditional Sampling
Dec 19th Andreas Goebel
Amplifiers for the Moran process (abstract).
Dec 19th Vasilis Gkatzelis (Drexel University)
Deferred-Acceptance Auctions: Performance and Generalizations (abstract).
Dec 19th Periklis Papakonstantinou (MSIS, Rutgers University)
Bagging in the real world (abstract).
Nov 7th Platonas Papadopoulos (NTUA)
Advances in Circuit Lower Bounds (abstract).
Oct 31st Stratis Skoulakis (UoA)
Opinion Dynamics with Local Interactions (abstract).
Oct 19th Yannis Chatzimichos
Automatic detection of database joinability risks (abstract).
Oct 17th
Oct 10th
Dimitris Myrisiotis (UoA)
Quantum complexity, relativized worlds, and oracle seperations (abstract, slides).
Sep 19th Dimitris Myrisiotis (UoA)
NP-BQP oracle separation (abstract, slides).

*Unless otherwise noted, the talks take place at the time and place specified under section "Information". For more information, please contact the Seminar manager.