[FOM] Second CFP: Ninth Panhellenic Logic Symposium

[Cunningham, Daniel W.]

MAT 300 will be added as an elective in each students degree navigator file.

On Apr 9, 2013, at 8:34 AM, Nikolaos S. Papaspyrou wrote:

> ======================================================================
> 
> 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/
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom