PLS11: THE ELEVENTH PANHELLENIC LOGIC SYMPOSIUM
July 12-16, 2016
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.
======================================================================
IMPORTANT DATES
Deadline for submission: Wednesday, April 12, 2017
Notification: Friday, May 12, 2017
Final copy due: Friday, June 2, 2017
======================================================================
INVITED TALKS
- Zoé 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
======================================================================
FIRST CALL FOR PAPERS
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,
------------------ by Wednesday, April 12, 2017. --------------------
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@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@softlab.ntua.gr
CONTACTS:
- Alexandra Soskova <asoskova@fmi.uni-sofia.bg>
Chair of the Scientific Committee
- Antonis Kakas <antonis@ucy.ac.cy>
Chair of the Organizing Committee
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
