10th Panhellenic Logic Symposium

June 11-15, 2015 Samos, Greece

-->

Welcome to the home of PLS10!



The 10th Panhellenic Logic Symposium will be hosted by the Department of Mathematics at the University of Aegean, Samos, Greece. It will start in late morning of the 11th of June and will close in the afternoon of 15th June.

The dates have been chosen so that participants may continue to participate in UNILOG 2015 in Istanbul, June 20-30. A travel by bus from the nearby port of Kusadasi in Turkey up to Istanbul will be organized with stops on famous historical sites: Ephesus, Troy, etc. Special arrangements will exist for participants who wish to attend both conferences.

The PLS10 is co-organized by Department of Mathematics of University of Aegean and Department of Mathematics and Applied Mathematics of the University of Crete and the Department of Philosophy and History of Science of the University of Athens.

CALL FOR PAPERS

Original papers that fall within the scope of the symposium are solicited. Prospective speakers of twenty-five-minute presentations are invited to submit an extended abstract, in English, not exceeding five pages, by 12 April 2015.

Papers should be prepared using the EasyChair class style (available from http://www.easychair.org/publications/?page=1594225690)
and submitted electronically in the Easy Chair conference system (https://easychair.org/conferences/?conf=pls10).

If possible, each submitted paper should be classified in one of the following areas (in alphabetical order):

  • Algebraic and Categorical Methods in Logic
  • Computability Theory
  • History and Philosophy of Logic
  • Logic in Computer Science
  • Model Theory
  • Nonclassical and Modal Logics
  • Proof Theory
  • Set Theory
  • Universal Logic

All submitted papers will be reviewed by the scientific committee of the symposium, who will make final decisions on acceptance or rejection. During the symposium, each accepted paper will be presented by one of its authors, with five extra minutes for questions. Authors of submitted papers will be notified of the decision by early May 2015. Camera-ready extended abstracts will be due by  May 31th for inclusion in the symposium proceedings which will be distributed to all participants.

POSTER  SESSION

Graduate students and young researchers are invited to submit a short abstract on work in progress but not yet ready for a regular contributed talk. Those accepted will have an opportunity to present their results in poster form in a special poster session.

Interested students should submit an abstract of no more than one page in pdf form by  May  31, 2015 using the Easy Chair conference system.


IMPORTANT DATES:

  • Abstract Submission Deadline: April 1 April 12, 2015
  • Acceptance Notification: May 4, 2015 
  • Camera Ready Papers Deadline: May 31, 2015
  • Abstracts of posters Deadline: May 31, 2015
  • Conference Dates: June 11-15, 2015 


Contact us


PLS10 email address: pls10@aegean.gr

Chair of the Scientific Committee: Thanases Pheidas


PLS10  Mailing  address:

Charalambos Kornaros

Chair of the Organizing Committee of PLS10

University of the Aegean
Department of Mathematics
83200 Karlovasi, Samos Greece.
Tel: +30 22730 82137
Fax: +30 22730 82109

New! The PLS10 PROCEEDINGS has been added - Click on PROCEEDINGS.

The PLS10 PAPTICIPANTS has been added - Click on PAPTICIPANTS.




PLS10 POSTER



PLS10 SPONSORS



































Co-organized by the University of Aegean, the University of Crete and the University of Athens

Design and coding by Charalampos Cornaros  & George Chrysoloras