The Panhe llenic Logic Symposium (PLS), a biennial scientifi c event established in 1997, aims to promote inter action and cross-fertilization among different are as of logic. Originally conceived as a way of brin ging together the many logicians of Hellenic desce nt throughout the world, it has evolved into an in ternational forum for the communication of state-o f-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadl y conceived.
\nThe Scientific Committee invites all researchers in the areas of the conference to submit their papers for present ation at PLS14. Areas of interest include (but are not limited to) Computability theory, Model theor y, Set theory, Proof theory, Categorical logic, Ph ilosophical logic, Nonclassical and modal logics, and Logic in Computer Science. Accepted papers wil l appear in an informal, electronic proceedings vo lume, which will be posted on the event's webpage. During the actual event, each accepted paper shou ld be presented by at least one of its authors.
\nGraduate students and early-career researc hers are invited to submit a short, 1-page abstrac t on preliminary work that may not be ready for a full talk yet. Those accepted will be able to pres ent their work in poster form in a special poster session. The session will also feature a mentoring component in which senior researchers will discus s the posters and provide feedback to the authors.
\n