Original papers that fall within the scope of the symposium are solicited. Prospective speakers of twenty-five-minute presentations are invited to submit a paper, in English, not exceeding six pages, by Friday, April 26, 2013 Sunday, May 12, 2013. Papers should be prepared using the EasyChair class style and submitted electronically, using the Easy Chair conference system.

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. 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 Wednesday, May 15, 2013 Sunday, May 26, 2013. Camera-ready papers will be due by Wednesday, June 5, 2013 Sunday, June 16, 2013 for inclusion in the symposium proceedings which will be distributed to all participants.