11-15 Jun 2015
Samos, Greece
10th Panhellenic Logic Symposium June 11-15, 2015 Samos, Greece https://samosweb.aegean.gr/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 the afternoon 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. 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 1 March 2015. Papers should be prepared using the EasyChair class style (available from http://www.easychair.org/coolnews.cgi) and submitted electronically in the Easy Chair conference system(the exact address will be announced soon). 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 April 2015. Camera-ready extended abstracts will be due by May 15th 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 April 30, 2015 using the Easy Chair conference system. IMPORTANT DATES: Abstract Submission Deadline: March 1, 2015 Acceptance Notification: April 10, 2015 Camera Ready Papers Deadline: May 15, 2015 Abstracts of posters Deadline: April 30, 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 The website will be regularly updated, so please check back later for additional news and information about the conference.