Call for Papers
Original papers that fall within the scope of the symposium are solicited. Prospective speakers of twenty-five-minute presentations are invited to submit an extended abstract, in English, not exceeding five pages, by 25 March 2011. Papers should be prepared using the EasyChair class style (available from http://www.easychair.org/coolnews.cgi) and submitted electronically, using the Easy Chair conference system, at http://www.easychair.org/conferences/?conf=pls8
If possible, each submitted paper should be classified in one of the
following areas (in alphabetical order):
- Algebraic and Categorical Methods in Logic
- Computability Theory
- History and Philosophy of Logic
- Logic in Computer Science
- Model Theory
- Nonclassical and Modal Logics
- Proof Theory
- Set Theory
All submitted papers will be reviewed by the scientific committee of the
symposium, who will make final decisions on acceptance or rejection. During the
symposium, each accepted paper will be presented by one of its authors, with
five extra minutes for questions. Authors of submitted papers will be notified
of the decision by early May 2011. Camera-ready extended abstracts will be due
by the end of May for inclusion in the symposium proceedings which will be
distributed to all participants.