Theoretical Computer Science

A Stream on Theoretical Computer Science
as part of the
16th Annual International Conference on Information Technology & Computer Science
18-21 May 2020, Athens, Greece
sponsored by the Athens Journal of Τechnology & Engineering
 Athens Journal of Sciences

The Computer Unit of the ATINER is organizing a Stream on Theoretical Computer Science, 18-21 May 2020, Athens, Greece as part of the 15th Annual International Conference on Information Technology & Computer Science sponsored by the Athens Journal of Τechnology & EngineeringAthens 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. Details of the social program are available here.

Fee structure information is available on

Please submit a 300-word abstract before 4 May 2020, by email, to atiner@atiner.grDr. Thomas Fehlmann, Euro Project Office AG, SwitzerlandPlease include: Title of Paper, Full Name (s), Current Position, Institutional Affiliation, an email address and at least 3 keywords that best describe the subject of your submission. Please use the abstract submitting formDecisions will be reached within four weeks of your submission.

If you want to participate without presenting a paper, i.e. organize a stream, chair a session, review papers to be included in the conference proceedings or books, contribute to the editing of a book, or any other contribution, please send an email  to Dr. Gregory T. Papanikos, President, ATINER (

The association was established in 1995 as an independent world association of Academics and Researchers. Its mission is to act as a forum where Academics and Researchers from all over the world can meet in Athens, in order to exchange ideas on their research, and to discuss future developments in their disciplines.

The organizing and hosting of International Conferences and Symposiums, the carrying out of Research, and the production of Publications are the basic activities of ATINER.  Since 1995, ATINER has organized more than 400 International Conferences and other events, and has published close to 200 books. In 2012, the Association launched a series of conference paper publications (click here), and at the beginning of 2014, it introduced its own series of Journals (click here).

Academically, the Association is organized into 6 Divisions, 37 Units and 6 Centers.  Each Unit organizes at least an Annual International Conference, and may also undertake various small and large research projects.

Academics and Researchers are more than welcome to become members and to contribute to ATINER’s objectives. If you would like to become a member, please download the relevant form (membership form). For more information on how to become a member, please send an email to: