Sunday, February 19, 2017

[DMANET] PLS 11 Second CFP

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

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

- 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"

- Anand Pillay, Notre Dame, "Model theory"

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

SPECIAL SESSIONS:

Computability Theory (Organizer: Alexandra Soskova)

- Damir Dzhafarov, University of Connecticut

- Ekaterina Fokina, Vienna University of Technology

- Andy Lewis-Pye, London School of Economics

- Joseph Miller, University of Wisconsin, Madison

- Antonio Montalban, UC Berkeley

- Paul Shafer, University of Gent

Model Theory (Organizers: Pantelis Eleftheriou, Rizos Sklinos)

- Artem Chernikov, UCLA

- Amador Martin-Pizarro, Lyon 1

- Sergei Starchenko, University of Notre Dame, TBC

- Frank Wagner, Lyon 1

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

SECOND CALL FOR PAPERS

The Scientific Committee cordially invites all researchers in the

area of the conference to submit their papers until April 12, 2017

(in PDF-format, in English, at most 6 pages) for presentation at

PLS11 to htps://www.easychair.org/conferences/?conf=pls11.

Papers should be prepared using the EasyChair class style

from http://www.easychair.org/publications/?page=1594225690).

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

(a twenty minutes talk) by one of its authors, with five extra

minutes for questions.

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

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

POSTER SESSION

Graduate students and young researchers are invited to submit a short

abstract on work in progress. Authors of accepted abstracts will have

an opportunity to present their results in poster form in a special

poster session. Interested students and young researchers should

submit abstracts of no more than one page in PDF form by June 2, 2017,

by sending them by e-mail to: pls11@softlab.ntua.gr

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

GRANTS

ASL Student Travel Grants:

PLS11 is sponsored by the Association for Symbolic Logic. All student

members of the ASL can apply for travel funding. To be considered for

a Travel Award, please (1) send a letter of application, and (2) ask

your thesis supervisor to send a brief recommendation letter. The

application letter should be brief (preferably one page) and should

include: (1) your name; (2) your home institution; (3) your thesis

supervisor's name; (4) a one-paragraph description of your studies and

work in logic, and a paragraph explaining why it is important to

attend the meeting; (5) your estimate of the travel expenses you will

incur; (6) (for citizens or residents of the USA) citizenship or visa

status; and (7) (voluntary) indication of your gender and minority

status. Women and members of minority groups are strongly encouraged

to apply. Applications should be sent to asl@vassar.edu before April

12, 2017.

EMS grants for Young Researchers:

Thanks to the generous support from European Mathematical Society,

PLS11 is glad to be able to offer free registration for Masters and

PhD students in Logic and young early career researchers for

participating at PLS 11. In order to apply for grants please send a CV

to pls11@softlab.ntua.gr until April 12, 2017.

Preference will be given to researchers who submitted a paper.

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

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