PLS11 2017 - 11th Panhellenic Logic Symposium

Website http://pls11.cs.ntua.gr/ | Edit Freely

Category Logic Symposium; logicians;pls11;computer science;

Deadline: April 12, 2017 | Date: July 12, 2017-July 16, 2017

Venue/Country: European Cultural Center of Delphi, Cyprus

Updated: 2017-03-15 19:58:54 (GMT+9)

Call For Papers - CFP

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

Poster Session

Graduate students and young researchers are invited to submit a short abstract on work in progress. Authors of accepted abstracts will have an opportunity to present their results in poster form in a special poster session. Interested students and young researchers should submit abstracts of no more than one page in PDF form by Friday, June 2, by sending them to: pls11softlab.ntua.gr.

Contact

Alexandra Soskova, Chair of the Scientific Committee

E-mail: asoskovafmi.uni-sofia.bg

Antonis Kakas, Chair of the Organizing Committee

E-mail: pls11softlab.ntua.gr

antoniscs.ucy.ac.cy

Easy Conferences, Online Registration

infoeasyconferences.eu