HR-Net - Hellenic Resources Network Compact version
Today's Suggestion
Looking for info on Diploma validation in Greece (a.k.a. DIKATSA)?
HomeAbout HR-NetNewsWeb SitesDocumentsOnline HelpUsage InformationContact us
Friday, 24 November 2017
 
News
  Latest News (All)
     From Greece
     From Cyprus
     From Europe
     From Balkans
     From Turkey
     From USA
  Announcements
  World Press
  News Archives
Web Sites
  Hosted
  Mirrored
  Interesting Nodes
Documents
  Special Topics
  Treaties, Conventions
  Constitutions
  U.S. Agencies
  Cyprus Problem
  Other
Services
  Personal NewsPaper
  Greek Fonts
  Tools
  F.A.Q.
 

Second Panhellenic Logic Symposium

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

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

Originally From: "Phokion G. Kolaitis" <kolaitis@cse.ucsc.edu>

Announcement and Call for Papers

SECOND PANHELLENIC LOGIC SYMPOSIUM

July 13-17, 1999, Delphi, Greece

The First Panhellenic Logic Symposium took place in Nicosia, Cyprus in July 1997. It was attended by approximately seventy researchers from Greece and other countries who work on logic broadly conceived, from history of logic and philosophy of mathematics to mathematical logic and to logic in computer science. At the end of that symposium, it was decided to establish the Panhellenic Logic Symposium as a biannual scientific event.

The symposium aims to promote the interaction and cross-fertilization between different areas of logic, to become a forum for the communication of state-of-the-art advances in logic by established researchers, and to provide an opportunity for young researchers to become familiar with the latest developments in logic. The symposium is open to researchers from Greece, as well as from other countries.

The Second Panhellenic Logic Symposium will take place at Delphi, Greece from July 13, 1999 to July 17, 1999. It will be hosted at the European Cultural Center of Delphi, a modern conference facility located in a unique natural setting and in close proximity to the archaeological site of Delphi. The scientific program of the symposium will consist of hour-long invited talks, tutorials, a panel discussion, and presentations of accepted papers.

The list of invited speakers includes:
Z. Chatzidakis (University of Paris 7, France),
A. Kakas (University of Cyprus, Cyprus),
A. Kechris (California Institute of Technology, USA),
L. Kirousis (University of Patras, Greece),
G. Metakides (European Commission, Belgium),
Y. Moschovakis (University of Athens, Greece and University of California, Los Angeles, USA),
C. Papadimitriou (University of California, Berkeley, USA),
J. Sifakis (VERIMAG, France).

The topics and speakers of the tutorials are:

Tutorial 1: Model Theory and Algebra
Speaker: A. Macintyre, University of Edinburgh, United Kingdom.

Tutorial 2: Descriptive Set Theory and Large Cardinals
Speaker: D.A. Martin, University of California, Los Angeles, USA.

Tutorial 3: Logic and Computer-Aided Verification
Speaker: M.Y. Vardi, Rice University, USA.

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 March 31, 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
Computer Science Department
University of California, Santa Cruz
Santa Cruz, CA 95064
USA

email: kolaitis@cse.ucsc.edu
phone: +1-831-459-4768

George Koletsos
Department of Mathematics
National Technical University
GR-15780 Zografou
Athens, GREECE
email: koletsos@math.ntua.gr
phone: +30-1-772-1773

Organizing Committee

D. Anapolitanos (University of Athens, Greece)
C. Dimitracopoulos (University of Athens, Greece)
A. Kakas (University of Cyprus, Cyprus)
G. Koletsos (National Technical University of Athens, Greece), Chair
M. Mytilinaios (Athens University of Economics, Greece)
A. Sinachopoulos (Free University of Brussels, Belgium)
S. Zachos (National Technical University of Athens, Greece)

Scientific Committee

F. Afrati (National Technical University of Athens, Greece)
D. Anapolitanos (University of Athens, Greece)
C. Dimitracopoulos (University of Athens, Greece)
C. Drossos (University of Patras, Greece)
A. Kakas (University of Cyprus, Cyprus)
Ph. Kolaitis (University of California, Santa Cruz), Chair
G. Koletsos (National Technical University of Athens, Greece)
M. Mytilinaios (Economics University of Athens, Greece)
Th. Pheidas (University of Crete, Greece)
A. Sinachopoulos (Free University of Brussels, Belgium)
Th. Tzouvaras (University of Thessaloniki, Greece)
S. Zachos (National Technical University of Athens, Greece)

Web Address: http://logic.math.ntua.gr/symposium

Important Dates:

Deadline for submission: March 31, 1999
Notification of acceptance or rejection: May 15, 1999
Camera-ready copies of abstracts due: June 7, 1999
Symposium: July 13-17, 1999


Conferences in and about Greece Directory - Previous Article - Next Article
Back to Top
Copyright 1995-2016 HR-Net (Hellenic Resources Network). An HRI Project.
All Rights Reserved.

HTML by the HR-Net Group / Hellenic Resources Institute, Inc.
misc2html v2.01 run on Tuesday, 5 January 1999 - 18:02:12 UTC