[FOM] First Call for Papers 11th Panhellenic Logic Symposium

[Alexandra Soskova]

          FIRST CALL FOR PAPERS
PLS11: THE ELEVENTH PANHELLENIC LOGIC SYMPOSIUM
             July 12-16, 2017
             Delphi, Greece
  The National and Kapodistrian University of Athens and
  the National Technical University of Athens.
  The University of Cyprus will help in the organization.
  http://pls11.cs.ntua.gr/
IMPORTANT DATES
   Deadline for submission:  Wednesday, April 12, 2017
   Notification:             Friday,    May 12, 2017
   Final copy due:           Friday,    June 2, 2017
INVITED TALKS
  - Zoe Chatzidakis, ENS, Paris
  - Hannes Leitgeb, LMU, Munich
  - Yiannis Moschovakis, UCLA
  - Andrea Sorbi, Siena University
  - Wolfgang Thomas, RWTH, Aachen
  - Timothy Williamson, Oxford University
TUTORIALS
  - Valentina Harisanov, George Washington University,
    "Computable Model Theory"
  - Ya'acov Peterzil, University of Haifa, "O-minimality", TBC
  - Anand Pillay, Notre Dame, "Model theory"
SPECIAL SESSION IN MODEL THEORY
Organized by Pantelis Eleftheriou, University of Konstanz
and Rizos Sklinos, Université Lyon
Invited special session speakers:
  - Artem Chernikov, UCLA
  - Frank Wagner, Lyon 1
  - Amador Martin-Pizarro, Lyon 1, TBC
  - Sergei Starchenko, University of Notre Dame, TBC
SPECIAL SESSION IN COMPUTABILITY THEORY
Organized by Alexandra Soskova, Sofia University
Invited special session speakers:
  - Damir Dzhafarov, University of Connecticut
  - Ekaterina Fokina, Vienna University of Technology
  - Joseph Miller, University of Wisconsin, Madison, TBC
  - Antonio Montalban, UC Berkeley
  - Andy Lewis-Pye, London School of Economics
  - Paul Shafer, University of Gent
Original papers that fall within the scope of the symposium are
solicited.  Prospective speakers of twenty-minute presentations
are invited to submit a paper, in English, not exceeding six pages,
Papers should be prepared using the EasyChair class style
(available from http://www.easychair.org/publications/?page=1594225690)
and submitted electronically, using the Easy Chair conference system,
at https://www.easychair.org/conferences/?conf=pls11.
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
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 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.
POSTER SESSION
Graduate students and young researchers are invited to submit a short
abstract on work in progress but not yet ready for a regular contributed
talk.  Authors of accepted abstracts will have an opportunity to present
their results in poster form in a special poster session.  Interested
students should submit abstracts of no more than one page in PDF form
by Friday June 2, by sending them to: pls11 at softlab.ntua.gr
SCIENTIFIC COMMITTEE
  - Costas Dimitracopoulos, National and Kapodistrian University of Athens
  - Pantelis Eleftheriou, University of Konstanz
  - Vassilis Gregoriades, Università di Torino, Italy
  - Antonis Kakas, University of Cyprus
  - Lefteris Kirousis, National and Kapodistrian University of Athens
  - Nikolaos Papaspyrou, National Technical University of Athens
  - Athanasios Pheidas, University of Crete
  - George Tourlakis, York University, Canada
  - Rizos Sklinos, Université Lyon 1
  - Alexandra Soskova, Sofia University, Chair
  - Stathis Zachos, National Technical University of Athens
ORGANIZING COMMITTEE
  - Antonis Kakas, University of Cyprus, Chair
  - Nikolaos Papaspyrou, National Technical University of Athens
  - Panos Rondogiannis, National and Kapodistrian University of Athens
  - Petros Stefaneas, National Technical University of Athens
  - Yannis Stephanou, National and Kapodistrian University of Athens
SYMPOSIUM WEBPAGE:  http://pls11.cs.ntua.gr/
E-MAIL:             pls11 at softlab.ntua.gr
CONTACTS:
  - Alexandra Soskova <asoskova at fmi.uni-sofia.bg>
    Chair of the Scientific Committee
  - Antonis Kakas <antonis at ucy.ac.cy>
    Chair of the Organizing Committee