Second Call for Papers
The Scientific Committee cordially invites all researchers in
the area of the conference to submit their papers until
Wednesday, April 12, 2017
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
Authors of submitted papers will be notified of the decision by
Friday, May 12, 2017
Friday, May 26, 2017.
Camera-ready papers will be due by
Friday, June 2, 2017
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