Instructions for submissions

Original papers that fall within the scope of the symposium are solicited. Authors are invited to submit an extended abstract not exceeding five pages to one of the two addresses below by April 16, 1999. Papers may be written in either English or Greek; they may be sent either as hard copy via postal mail or as a postscript file via email. In addition, the authors should send a cover page with their addresses (postal and email) and telephone numbers; the cover page should also contain a statement classifying the paper in one of the following areas:

  1. Mathematical Logic and Set Theory
  2. Logic in Computer Science,
  3. History of Logic, Methodology and Philosophy of Science
  4. Other (please specify).
All submitted papers will be reviewed by the scientific committee of the symposium, who will make final decisions on acceptance or rejection. Accepted papers will be presented by one of their authors during the symposium; each accepted paper will be allocated a thirty-minute period for presentation and questions. Authors of submitted papers will be notified of acceptance or rejection by May 15, 1999. Camera-ready extended abstracts (not exceeding five pages) will be due by June 7, 1999 for inclusion in the proceedings of the symposium that will be distributed to all participants.

Addresses for submission of papers (submit to one of the two):
 
 

Phokion G. Kolaitis 
University of California, Santa Cruz
Computer Science Department
Santa Cruz, CA 95064
USA		 George Koletsos
Department of Mathematics
National Technical University of Athens
15780 Zografou Campus
Athens, GREECE
email: kolaitis@cse.ucsc.edu
phone: +1-831-459-4768		 email: koletsos@math.ntua.gr
phone: +30-1-772-1773

Back to Main Page