Call for paper 〔OPEN〕

My submissions

Registration 〔OPEN〕

My tickets

〔CLOSED〕
Introduction

The Panhellenic Logic Symposium is a biennial scientific event that was established in 1997. It aims to promote interaction and cross-fertilization among different areas of logic. Originally conceived as a way of bringing together the many logicians of Hellenic descent throughout the world, the PLS has evolved into an international forum for the communication of state-of-the-art advances in logic. The symposium is open to researchers worldwide who work in logic broadly conceived.

The Eleventh Panhellenic Logic Symposium will be hosted in Delphi, organized by the National and Kapodistrian University of Athens and the National Technical University of Athens. The University of Cyprus will help in the organization. The scientific program of the symposium will consist of hour-long invited talks, tutorials and presentations of accepted contributed papers and posters.

Call for paper

Important date

2017-04-12
Draft paper submission deadline

Submission Topics

The Scientific Committee cordially invites all researchers in the area of the conference to submit their papers until Sunday, April 30, 2017 (in PDF-format, in English, at most 6 pages) for presentation at PLS11. Papers should be prepared using the EasyChair class style and submitted electronically, using the Easy Chair conference system.

All submitted papers will be reviewed by the Scientific Committee of the symposium, who will make final decisions on acceptance. Authors of submitted papers will be notified of the decision by Friday, May 26, 2017. Camera-ready papers will be due by Friday, June 16, 2017 for inclusion in the symposium proceedings which will be distributed to all participants. During the symposium, each accepted paper will be presented (a twenty minutes talk) by one of its authors, with five extra minutes for questions.

If possible, each submitted paper should be classified in one of the following areas:

  • Ancient Logic
  • Computability Theory
  • History and Philosophy of Logic
  • Logic in Computer Science
  • Model Theory
  • Nonclassical and Modal Logics
  • Proof Theory
  • Set Theory
Submit Comment
Verify Code Change Another
All Comments
Important Date
  • Conference Date

    Jul 12

    2017

    to

    Jul 16

    2017

  • Apr 12 2017

    Draft paper submission deadline

  • Jul 16 2017

    Registration deadline