26-30 Jun 2019
======================================================================
PLS12: THE TWELFTH PANHELLENIC LOGIC SYMPOSIUM
June 26-30, 2019, Anogeia, Crete, Greece
Organized by the University of Crete
http://panhellenic-logic-symposium.org/
======================================================================
IMPORTANT DATES
Deadline for submission: 31 March 2019 (extended)
Notification: 22 April 2019
Final version due: 20 May 2019
======================================================================
INVITED TALKS / TUTORIALS
- Joan Bagaria, University of Barcelona, Catalonia, Spain
- Michael Detlefsen, University of Notre Dame, USA
- Mirna Dzamonja, University of East Anglia, UK
- Fernando Ferreira, University of Lisbon, Portugal
- Simona Ronchi Della Rocca, University of Turin, Italy
- Mehrnoosh Sadrzadeh, Queen Mary University of London, UK
- Theodore Slaman, University of California, Berkeley, USA
- Patrick Speissegger, McMaster University, Canada
- Yannis Stephanou, University of Athens, Greece
- Boris Zilber, University of Oxford, UK
======================================================================
SPECIAL SESSIONS
Computer Science:
- Sylvain Schmitz, ENS Cachan, France
- Ana Sokolova, University of Salzburg, Austria
- Niki Vazou, IMDEA Institute, Spain
Model Theory:
- Assaf Hasson, Ben-Gurion University of the Negev, Israel
- Gareth Jones, University of Manchester, UK
- Tobias Kaiser, University of Passau, Germany
Philosophy & Set Theory:
- Carolin Antos, University of Konstanz, Germany
- Dima Sinapova, Univarsity of Illinois at Chicago, USA
========================================================================
SECOND CALL FOR PAPERS
The Scientific Committee cordially invites all researchers in the
area of the conference to submit their papers for presentation at
PLS12. 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.
Areas of interest include (but are not limited to):
- Computability Theory
- History and Philosophy of Logic
- Logic in Computer Science
- Model Theory
- Nonclassical and Modal Logics
- Proof Theory
- Set Theory
Papers, in PDF format, should be prepared using the EasyChair class
style (https://easychair.org/publications/for_authors), be written in
English, and adhere to a space limit of 6 pages.
Submission is to be done via EasyChair at:
https://easychair.org/conferences/?conf=pls120
======================================================================
POSTER SESSION AND MENTORING SESSION
Graduate students and young researchers are invited to submit a short
abstract on work in progress that may not be ready for a regular
contributed talk. Those accepted will be able to present their work in
poster form in a special poster session. The session will also feature a
mentoring component whereby senior researchers will discuss the posters
and provide feedback to the authors.
Interested students and young researchers should submit abstracts of no
more than one page in PDF form by 26 May 2019, by sending them to:
pls12@softlab.ntua.gr
======================================================================
GRANTS
Some travel grants will be provided for students and young researchers.
See the conference website
(http://panhellenic-logic-symposium.org/grants.html) for more details.
=====================================================================
SCIENTIFIC COMMITTEE
- George Barmpalias, Chinese Academy of Sciences
- Costas Dimitracopoulos, University of Athens
- Pantelis Eleftheriou, University of Konstanz (co-chair)
- Vassilis Gregoriades, University of Turin
- Antonis Kakas, University of Cyprus
- Vasileios Koutavas, Trinity College Dublin
- Christos Kyriacou, University of Cyprus
- Nikolaos Papaspyrou, National Technical University of Athens
- Thanases Pheidas, University of Crete
- Rizos Sklinos, Stevens Institute of Technology
- Alexandra Soskova, Sofia University
- Yannis Stephanou, University of Athens
- Konstantinos Tsaprounis, University of the Aegean
- Nikos Tzevelekos, Queen Mary University of London (co-chair)
- Stathis Zachos, National Technical University of Athens
ORGANIZING COMMITTEE
- Dimitra Chompitaki, University of Crete
- Nikolaos Papaspyrou, National Technical University of Athens
- Thanases Pheidas, University of Crete (chair)
- Konstantinos Tsaprounis, University of the Aegean
======================================================================
SYMPOSIUM WEBPAGE: http://panhellenic-logic-symposium.org/
E-MAIL: pls12@softlab.ntua.gr
CONTACTS:
- Pantelis Eleftheriou (panteleimon.eleftheriou@uni-konstanz.de)
- Nikos Tzevelekos (nikos.tzevelekos@qmul.ac.uk)
Chairs of the Scientific Committee
- Thanases Pheidas (pheidas@uoc.gr), 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