The Athens Institute for Education and Research (ATINER) organizes its 1st Annual International Conference on Formal Sciences, 11-14 May 2015, Athens, Greece.The aim of the conference is to bring together scholars and students of Formal Systems, such as logic, mathematics, statistics, theoretical computer science, information theory, game theory, systems theory, decision theory, and portions of linguistics. You may participate as panel organizer, presenter of one paper, chair of a session or observer.Special arrangements will be made with a local luxury hotel for a limited number of rooms at a special conference rate. In addition, a number of special events will be organized: A Greek night of entertainment with dinner, a special one-day cruise to selected Greek islands, an archaeological tour of Athens and a one-day visit to Delphi.