[isabelle] Second CFP: Ninth Panhellenic Logic Symposium



======================================================================

PLS9: Ninth Panhellenic Logic Symposium

July 15-19, 2013
National Technical University of Athens, Greece

http://pls9.cs.ntua.gr/

======================================================================

IMPORTANT DATES

   Deadline for submission:  Friday, April 26, 2013
   Notification:             Wednesday, May 15, 2013
   Final copy due:           Wednesday June 5, 2013

======================================================================

INVITED TALKS

 - Alexander Kechris, California Institute of Technology, USA
 - Phokion Kolaitis, UC Santa Cruz, USA
 - Manolis Koubarakis, University of Athens
 - Judy Pehlam, York University, Canada
 - Dimitris Plexousakis, University of Crete

======================================================================

SECOND 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 a paper, in English, not exceeding six pages, by
Friday, April 26, 2013.  Papers should be prepared using the EasyChair
class style (available from http://www.easychair.org/coolnews.cgi) and
submitted electronically, using the Easy Chair conference system, at
https://www.easychair.org/conferences/?conf=pls9.

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

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, with five extra minutes for questions.  Authors of submitted
papers will be notified of the decision by Wednesday, May 15, 2013.
Camera-ready papers will be due by Wednesday June 5, 2013 for
inclusion in the symposium proceedings which will be distributed to
all participants.

======================================================================

SCIENTIFIC COMMITTEE

  - Costas Dimitracopoulos, University of Athens
  - Antonis Kakas, University of Cyprus
  - Lefteris Kirousis, University of Athens
  - George Koletsos, National Technical University of Athens
  - Joan Moschovakis, Occidental College and μΠλ∀
  - Christos Nomikos, University of Ioannina
  - Nikolaos Papaspyrou, National Technical University of Athens
  - Athanasios Pheidas, University of Crete
  - George Tourlakis, York University, Canada, Chair
  - Athanassios Tzouvaras, Aristotle University of Thessaloniki
  - Stathis Zachos, National Technical University of Athens

ORGANIZING COMMITTEE

  - Christos Nomikos, University of Ioannina
  - Nikolaos Papaspyrou, National Technical University of Athens, Chair
  - Panos Rondogiannis, University of Athens
  - Petros Stefaneas, National Technical University of Athens
  - Stathis Zachos, National Technical University of Athens


--
Nikolaos S. Papaspyrou, Assistant Professor | Tel:  +30-210-7723393, fax: 2519
National Technical University of Athens     | Home: +30-210-7524801
School of Electrical & Computer Engineering |----------------------------------
Software Engineering Laboratory             | E-mail: nickie at softlab.ntua.gr
15780 Zografou, Athens, Greece              | URL: www.softlab.ntua.gr/~nickie/




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.