For announcements concerning courses offered by the laboratory, please see the individual courses' web pages (click here for a list).
Recent announcements
There are no recent announcements.
Older announcements
2nd Athens Colloquium on Algorithms and Complexity
We are pleased to announce that ACAC 2007 (2nd Athens Colloquium on Algorithms and Complexity) will take place in the premises of the National Technical University of Athens, on the 23rd and 24th of August, 2007. For details please visit the ACAC 2007 web page: http://www.corelab.ntua.gr/acac07/
6th Panhellenic Logic Symposium
PLS 2007 (6th Panhellenic Logic Symposium) will take place in Volos, Greece, from 5 to 8 July 2007. For more details please visit the PLS 2007 web page: http://pls6.pre.uth.gr/
1st Athens Colloquium on Algorithms and Complexity
We are pleased to announce that ACAC 2006 (1st Athens Colloquium on Algorithms and Complexity) will take place in the premises of the National Technical University of Athens, on the 22nd and 23rd of August, 2006. For details please visit the ACAC 2006 web page: http://www.corelab.ntua.gr/acac06/
Talk by Prof. Martin Davis: Diophantine Equations & Algorithmic Processes
Martin Davis, Prof. Emeritus, NYU and Visiting Scholar, UC Berkeley will talk on Hilbert's 10th Problem and the famous DMPR Theorem.
Title: Diophantine Equations & Algorithmic Processes
Abstract: In 1900 Hilbert asked for an algorithm to determine whether a given polynomial equation in arbitrary many unknowns has a solution in integers. In this talk I will explain the negative solution of this problem and explore some of its ramifications.
Time & Place: Friday, 8th of July, 2005 at the Multimedia Amphitheatre (NTUA library building).