Panhellenic symposium on Logic

Conferences in and about Greece Directory - Previous Article - Next Article

From: "HR-Net News Distribution Manager" <dist@hri.org>

Originally From: Yannis Dimopoulos <yannis@informatik.uni-freiburg.de>

FINAL CALL

FIRST PANHELLENIC SYMPOSIUM ON LOGIC

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 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)

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.

Conferences in and about Greece Directory - Previous Article - Next Article