The Panhe llenic Logic Symposium is a biennial scientific ev ent that was established in 1997. It aims to promo te interaction and cross-fertilization among diffe rent areas of logic. Originally conceived as a way of bringing together the many logicians of Hellen ic descent throughout the world, the PLS has evolv ed into an international forum for the communicati on of state-of-the-art advances in logic. The scie ntific program of PLS11 will consist of hour-long invited talks, tutorials and presentations of acce pted contributed papers and posters. The symposium is open to researchers worldwide who work in logi c broadly conceived.
\nOrigin al papers that fall within the scope of the sympos ium are solicited. Prospective speakers of twenty- minute presentations are invited to submit a paper , in English, not exceeding six pages. If possible , each submitted paper should be classified in one of the following areas: Ancient Logic, Computabil ity Theory, History and Philosophy of Logic, Logic in Computer Science, Model Theory, Nonclassical a nd Modal Logics, Proof Theory, or Set Theory. Pape r submission deadline: Wednesday, April 12, 2017.< /p>\n\n
Graduate students and young researcher s are invited to submit a short abstract on work i n progress but not yet ready for a regular contrib uted talk. Authors of accepted abstracts will have an opportunity to present their results in poster form in a special poster session. Interested stud ents should submit abstracts of no more than one p age in PDF form by Friday June 2.
\n