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.