[My apologies for cross posting...] ======================================================================
PLS9: Ninth Panhellenic Logic Symposium
July 15-19, 2013 National Technical University of Athens, Greece
======================================================================
IMPORTANT DATES
Deadline for submission: Friday, April 26, 2013 Notification: Wednesday, May 15, 2013 Final copy due: Wednesday June 5, 2013
======================================================================
FIRST 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 a paper, in English, not exceeding six pages, by Friday, April 26, 2013. 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 https://www.easychair.org/conferences/?conf=pls9.
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. Camera-ready papers will be due by Wednesday June 5, 2013 for inclusion in the symposium proceedings which will be distributed to all participants.
======================================================================
SCIENTIFIC COMMITTEE
- Costas Dimitracopoulos, University of Athens - Antonis Kakas, University of Cyprus - Lefteris Kirousis, University of Athens - George Koletsos, National Technical University of Athens - Joan Moschovakis, Occidental College and μΠλ∀ - Christos Nomikos, University of Ioannina - Nikolaos Papaspyrou, National Technical University of Athens - Athanasios Pheidas, University of Crete - George Tourlakis, York University, Canada, Chair - Athanassios Tzouvaras, Aristotle University of Thessaloniki - Stathis Zachos, National Technical University of Athens
ORGANIZING COMMITTEE
- Christos Nomikos, University of Ioannina - Nikolaos Papaspyrou, National Technical University of Athens, Chair - Panos Rondogiannis, University of Athens - Stathis Zachos, National Technical University of Athens