FIRST PANHELLENIC SYMPOSIUM ON LOGIC
July 21-24 1997, Nicosia, Cyprus
(http://zeus.cc.ucy.ac.cy/ucy/cs/symposium/)
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 and panel discussions.
The meeting will include the following invited talks:
F. Afrati (NTUA, Greece)
"Arity hierarchies for fixed-point logic"
I. Antoniou (International Solvay Institutes, ULB, Belgium),
"Probabilistic Logics Associated with Complex Systems"
S. Cosmadakis (University of Patras, Greece)
"Expressiveness of Database Query Languages"
C. Dimitrakopoulos (University of Athens, Greece),
"Subsystems of Peano Arithmetic: Some results and problems"
T. Feidas (University of Heraclion, Greece),
"Current trends in Model Theory and Hilbert's Tenth Problem"
P. Kolaitis (University of California, USA),
"0-1 Laws in Finite Model Theory"
G. Metakides (European Commission, Belgium),
"Title to be announced"
C. Papadimitriou (University of California at Berkeley, USA),
"Title to be announced"
E. Papadopetrakis (University of Patras, Greece),
"The Propositional Calculus and the Stoics"
J. Sifakis (VERIMAG, France)
"Program Specification and Verification"
M. Yannakakis (Bell Labs, USA)
"Title to be announced"
S. Zachos (NTUA, Greece)
"Non-Collapsing Assumptions about Complexity Classes needed for
proving Non-Approximability Results"
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 domains:
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 as early as possible.
This is needed to ensure that appropriate reviewers can be found within
the tight schedule available. Notification of authors will be sent
on June 15, 1997 and copies for the proceedings need to arrive
at the symposium address by July 7, 1997.
The Symposium will also include three panel discussions of general
interest on the following topics:
1. Frontiers of Logic:Research trends and directions
(Panelists include:T. Feidas, K. Georgatos, P.Kolaitis,
M. Mitilineos, K. Skandalis)
2. Industrial and other applications of Logic
(Panelists include:F. Afrati, I. Antoniou, G. Metakides, J. Sifakis,
S. Zachos)
3. Logic in Education.
(Panelists include:C. Dimitrakopoulos, C. Drosos, C.Hatzikiriakou,
G. Koletsos, A. Kakas)
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 June 15, 1997. The position statements
of the panelists will be posted on the WWW pages of the symposium at
the begining of June.
Also during the meeting there will be demonstrations of systems based
on Logical Foundations. Anyone wishing to demonstrate a system should
send a short (maximum 2 pages) description of the system together with
a complete list of hardware and software needed for the system to run.
These should reach the symposium address as soon as possible
before June 7, 1997.
More details about the Symposium can be found at its WWW page at the
http://zeus.cc.ucy.ac.cy/ucy/cs/symposium/ or by email at the Symposium
address below. Registration, travel and accommodation information can
also be found below attached with this message.
Symposium Address
Panhellenic Symposium on Logic,
Department of Computer Science,
University of Cyprus,
P.O.Box 537,
CY-1678 Nicosia, Cyprus.
Fax: +357-2-339062
Email: antonis@turing.cs.ucy.ac.cy
Symposium Co-chairs
Antonis Kakas (University of Cyprus, Cyprus)
Anneta Sinachopoulos (Free University of Brussels, Belgium)
Organizing Committee
Theodoros Bolis (University of Ioannina, Greece)
Yannis Dimopoulos (University of Freiburg, Germany)
Costas Drossos (University of Patras, Greece)
Kostas Hatzikiriakou (University of Crete, Greece)
Antonis Kakas (University of Cyprus, Cyprus)
George Potamias (FORTH, Crete)
Anneta Sinachopoulos (Free University of Brussels, Belgium)
Thanasis Tzouvaras (University of Thessaloniki, Greece)
Advisory Committee
C. Dimitrakopoulos (Athens,Greece)
A. Kechris (California Institute of Technology, USA)
L. Kirousis (University of Patras, Greece)
P. Kolaitis (University of California Santa Cruz, USA)
G. Koletsos (NTUA, Greece)
C. Courcoubetis (FORTH, Crete)
G. Metakides (European Commission, Belgium)
C. Papadimitriou (University of California at Berkeley, USA)
J. Sifakis (VERIMAG, France)
M. Yannakakis (Bell Labs, USA)
=====================================================================
REGISTRATION AT THE FIRST PANHELLENIC SYMPOSIUM ON LOGIC
(21-24 July 1997, University of Cyprus, Nicosia, Cyprus.)
Name: .............................................................
Affiliation: ......................................................
Address: ..........................................................
..........................................................
Country: ..........................................................
Phone: ......................
Fax: ........................
Email: ............................................................
Do you have any special dietary requirements?
...................................................................
Registration Fee:
The registration fee is a nominal 25 CYP (app. 40 ECU).
There is no need to pay this when sending this form.
The registration fee can be paid on site.
TRAVEL INFORMATION
People attending the Symposium should fly to Cyprus at Larnaca
airport preferably. Paphos airport is another possibility but this is
a smaller airport (hence there will be less flights to it) and it is a
lot further away from Nicosia than Larnaca airport. To get from
Larnaca to Nicosia (a 45 minutes trip) there will be two
possibilities:
(i) you can register with us (see below) your arrival time and that
you would like to take a mini-bus that we will organize
or
(ii) take (or better share) a private taxi from the airport. There is
a fixed fare for Larnaca-Nicosia which is about 15CYP (25Ecu)
depending on the time of day.
The second option can always be a fall back option.
I would like to take the minibus:...................
My flight number is:........................
Arrival time in Larnaca:......................
The Symposium has secured special air-fare from Cyprus Airways
for participants to travel to Cyprus from Greece and many other
major European towns. These fares are as follows plus some
airport taxes (usually about 15-30 ECU):
Athens/Larnaca/Athens 50,000 Draxmes
Thessaloniki/Larnaca/Thessaloniki 50,000 Draxmes
London/Larnaca/London
Mon-Fri (day flight) 239 UKP
Mon-Thu (night flight) 193 UKP
Sat-Sun (day flight) 263 UKP
Sat-Sun (night flight) 217 UKP
Manchester/Larnaca/Manchester
Birmingham/Larnaca/Birmingham
Mon-Fri (day flight) 219 UKP
Mon-Thu (night flight) 199 UKP
Sat-Sun (day flight) 237 UKP
Sat-Sun (night flight) 219 UKP
Amsterdam/Larnaca/Amsterdam 615 NLG
Paris/Larnaca/Paris 2200 FRF
Vienna/Larnaca/Vienna 3600 ATS
Zurich/Larnaca/Zurich 547 CHF
Rome/Larnaca/Rome 568.500 ITL
Frankfurt/Larnaca/Frankfurt 515 DEM
Berlin/Larnaca/Berlin 540 DEM
Hamburg/Larnaca/Hamburg 540 DEM
Brussels/Larnaca/Brussels 13.600 BEF
To get these special fares you must book directly at a Cyprus
Airways office in the town of departure. You should mention the
Symposium and they should know about it and confirm that this
is the fare. If anyone needs more evidence please send your fax
number to us so that we can fax you a copy of the letter of offer
from Cyprus Airways.
REGISTRATION OF ACCOMMODATION
The meeting will take place at the University of Cyprus. Special
hotel accommodation prices have been arranged with the Hilton
Hotel which is very near the campus (2 minutes walk) :
40 CYP (68 ECU) for single room
26 CYP (41 ECU) per person for double room,
Also special student rates are currently negotiated in three-bed
rooms.
Hilton was chosen for various reasons: competitive prices,
proximity to the venue place (especially important when one
considers the high temperatures in July in Nicosia) and its
excellent facilities.
To register for accommodation please fill in the questions below:
Name: .............................................................
Affiliation: ......................................................
Arrival date: ...............................................
Departure date: .........................................
Single/double room: ......................................
Student room: .............................................
Smoking/Non-smoking:.....................................
The suggested arrival date is Sunday, June 20, or before. On that
evening there will be a welcoming reception by the Rector of the
University of Cyprus.
SPONSORSHIPS
The Symposium has a modest fund for sponsoring participants in
need especially students. Anyone wishing to apply for sponsorship
should fill the form below. The decision will be taken before the
end of June 1997.
Name: .............................................................
Affiliation: ......................................................
Student (yes/no):.............. (if no please state your
position:..........................)
Amount required:...................
Other Sponsorship: ...................
OTHER INFORMATION
Several social events are under consideration, including "cultural
evening walks" in Nicosia, special dinners, guided outings to
museums and archeological sites and outings to the sea. Details
will be announced later in June 1997.
-------------------------------------------------------------------------------
The dbworld alias reaches many people, and should only be used for
messages of general interest to the database community.
Requests to get on or off dbworld should go to listproc@cs.wisc.edu.
to subscribe send
subscribe dbworld Your Full Name
to unsubscribe send
unsubscribe dbworld
to change your address
send an unsubscribe request from the old address
send a subscribe request from the new address
to find out more options send
help
------------------------------------------------------------------------FOOTER-