A Stream on Theoretical Computer Science

Memo

The Computer Unit of the ATINER organizes A Stream on Theoretical Computer Science, 21-24 May 2018, Athens, Greece, Athens, Greece as part of the 14th Annual International Conference on Information Technology & Computer Science sponsored by the Athens Journal of Τechnology & Engineering & Athens Journal of Sciences.



The stream’s aim is to bring together academics and researchers of all areas of Theoretical Computer Science, Algorithmic Complexity, Complexity Theory, Theory of Computation, Computability, Testability, Automata Theory, Formal Language Theory, Lambda Calculus, Combinatory Logic, Markov Algorithms, Self-correcting Coding and other related disciplines in view of its cross-fertilization effects on Education, Security, Safety, Cryptology, Software and System Testing, Internet of Things, Big Data, Root-Cause Analysis, Autonomous Driving and other related application areas.



Special arrangements will be made with a local hotel for a limited number of rooms at a special conference rate. In addition, a number of special events will be organized: A pragmatic symposium (as organized in Ancient Athens but fine tuned to synchronous ethics), a special one-day educational island tour, a Mycanae and island of Poros visit, an Athens educational walking tour, an one-day visit to Delphi and an ancient Corinth and Cape Sounion visit.