Tuesday, November 8, 2016

[DMANET] FCP PLS 11

======================================================================

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.

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

- 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/
*
**********************************************************