12-16 Jul 2017
Delphi, Greece
======================================================================
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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam