Preliminary announcement and call for papers
July 21-24 1997, Nicosia, Cyprus.
Logic finds its roots in the various schools of philosophy in Ancient Greece. Amongst these, the
Aristotelian school has dominated the development of Logic from antiquity until today. In its modern
form Logic manifests itself as a fundamental area in many other disciplines such as Mathematics,
Computer Science, Philosophy, Law and others. This Symposium aims to bring together researchers
from these various disciplines to address modern developments in logic. In particular, the symposium
aims to promote cross-fertilization amongst developments and needs in these different disciplines and
evaluate the overall significance of Logic as a unifying basic discipline.
The scientific program of the symposium will include invited talks, presentations of accepted papers,
panel discussions and tutorials. You can see the speakers that have been invited.
Papers are invited on all aspects of Logic from researchers who are interested in participating.
Position papers on open problems in Logic or the relationship and relevance of logic in other areas
are particularly encouraged.
Papers must be short not exceeding five pages. They can be written in either English or Greek and
should be sent to the symposium address before May 31, 1997. Papers can be sent either in hard
copy form or electronic form. Authors are requested to classify their work in one of the following
1. Formal Logic,
2. Logic in Computer Science,
3. Logic, Sciences and Philosophy,
4. Other (please specify).
Interested authors are also kindly requested to register their intention to submit a paper by sending an
email with a tentative title and abstract to the symposium address before April 30, 1997.
People who are interested to participate without submitting a paper are also requested to register
their interest by sending an email to the address below by May 31, 1997. Student participation is
particularly encouraged and where possible it will be supported.
The Symposium will also include three panel discussions of general interest on the following topics:
1. Frontiers of Logic:Research trends and directions
2. Industrial and other applications of Logic
3. Logic as a foundamental discipline in education.
Anyone interested in contributing to the discussion should send a short summary of her/his position
statement (maximum 2 pages) to the symposium address before May 31, 1997.
In particular, the various contributions received on the panel discussion topics will be posted on these
pages in order to generate discussion before the actual meeting in July.