Wednesday, April 19, 2017

[DMANET] PLS 11 Last Call

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

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: Sunday, April 30, 2017 (EXTENDED)

Notification: Friday, May 26, 2017

Final copy due: Friday, June 16, 2017

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

INVITED TALKS

- Zoé Chatzidakis, Ecole Normale Supérieure, Paris

- Hannes Leitgeb, Ludwig-Maximilians-Universität München

- Yiannis Moschovakis, University of California, Los Angeles

- Andrea Sorbi, Università di Siena

- Wolfgang Thomas, Rheinisch-Westfälische Technische Hochschule, Aachen

- Timothy Williamson, University of Oxford

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

TUTORIALS

- Valentina Harizanov, George Washington University

"Computable Model Theory"

- Ya'acov Peterzil, University of Haifa,

"O-minimality"

- Anand Pillay, University of 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, University of California, Berkeley

- Paul Shafer, University of Gent

Model Theory (Organizers: Pantelis Eleftheriou, Rizos Sklinos)

- Artem Chernikov, University of California, Los Angeles

- Amador Martin-Pizarro, Université Lyon 1

- Sergei Starchenko, University of Notre Dame, TBC

- Frank Wagner, Université Lyon 1

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

LAST CALL FOR PAPERS

The Scientific Committee cordially invites all researchers in the

area of the conference to submit their papers until April 30, 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 30, 2017.

Preference will be given to researchers who submitted a paper.

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

REGISTRATION

Participants will be asked to pay a registration fee. The fee can be

paid at the reception, upon receiving the badge and the other

materials of the symposium. Alternative ways of payment will be

announced in due time.

The registration fee covers:

- Symposium attendance

- Symposium proceedings

- Coffee breaks and joint lunches (1 or 2) that will be offered at

the Delphi center

- Excursion, including dinner

- Transportation to and from Athens' airport with a scheduled bus

(details will be announced in due time)

Registration fees

- Normal registration fee (for participants who will reclaim it from

professional/academic sources): 150€

- Normal student registration fee (for students who will reclaim it

from professional/academic sources): 100€

- Reduced registration fee (for participants who will cover it from

own sources): 70€

- Reduced student registration fee (for students and also for

unemployed): 35€

Student or unemployed participants are expected to provide proof of

studentship or unemployment upon registration.

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

SCIENTIFIC COMMITTEE

- Costas Dimitracopoulos, National and Kapodistrian University of Athens

- Pantelis Eleftheriou, Universität Konstanz

- Vassilis Gregoriades, Università di Torino

- Antonis Kakas, University of Cyprus

- Lefteris Kirousis, National and Kapodistrian University of Athens

- Nikolaos Papaspyrou, National Technical University of Athens

- Thanases Pheidas, University of Crete

- Rizos Sklinos, Université Lyon 1

- Alexandra Soskova, Sofia University, Chair

- George Tourlakis, York University, Canada

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