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.
======================================================================
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/
*
**********************************************************
Posts
