11-15 July 2010
Ioannina, Greece
*******************************************************************************
*******************************************************************************
***
***
*** T H E 8 T H P A N H E L L E N I C L O G I C S Y M P O S I U M
***
*** J u l y 1 1 - 1 5 , 2 0 1 1
***
*** I o a n n i n a, G r e e c e
***
***
***
*** www.cs.uoi.gr/~pls8/
***
***
***
*******************************************************************************
*******************************************************************************
FIRST ANNOUNCEMENT
The Panhellenic Logic Symposium, a biannual scientific event established
in 1997, aims to promote interaction and cross-fertilization among
different areas of logic. Originally conceived as a way of bringing
together the many logicians of Hellenic descent throughout the world, it
has evolved into an international forum for the communication of
state-of-the-art advances in logic. The symposium is open to researchers
worldwide who work in logic broadly conceived. The Eighth Panhellenic
Logic Symposium will hosted by the Department of Computer Science at the
University of Ioannina. The scientific program of the symposium will
consist of one-hour long invited talks, three-hour long tutorials,
presentations of accepted contributed papers and special sessions for
students.
FEATURED AREAS
The featured areas include, but are not limited to, the following (in
alphabetical order):
- Algebraic and Categorical Methods in Logic
- Computability Theory
- History and Philosophy of Logic
- Logic in Computer Science
- Model Theory
- Nonclassical and Modal Logics
- Proof Theory
- Set Theory
IMPORTANT DATES
- Abstract Submission Deadline: March 31, 2011
- Acceptance Notification: May 15, 2011
- Camera Ready Papers Deadline: June 5, 2011
- Conference Dates: July 11-15, 2011
PAPER SUBMISSION
Details will be included in the forthcoming "Call for Papers".
SCIENTIFIC COMMITTEE
- Ayse Berkman (Middle East Technical University)
- Costas Dimitracopoulos (University of Athens)
- Kostas Hatzikiriakou (University of Thessaly)
- Antonis Kakas (University of Cyprus)
- Panagis Karazeris (University of Patras)
- Phokion Kolaitis (University of California, Santa Cruz and IBM
Research-Almaden)
- George Koletsos (National Technical University of Athens )
- Joan Moschovakis (Occidental College, Chair of SC)
- Christos Nomikos (University of Ioannina)
- Itay Neeman (University of California, Los Angeles)
- Athanasios Pheidas (University of Crete)
- Alexandra Soskova (Sofia University)
- Constantine Tsinakis (Vanderbilt University)
- Stathis Zachos (National Technical University of Athens )
ORGANIZING COMMITTEE
- Manolis Gergatsoulis (Ionian University)
- Spyros Kontogiannis (University of Ioannina)
- Costas Koutras (University of Peloponnese)
- Christos Nomikos (University of Ioannina, chair of the OC)
- Panos Rondogiannis (University of Athens)
SYMPOSIUM WEBPAGE
www.cs.uoi.gr/~pls8/
CONTACT
Joan Moschovakis (Chair of the Scientific Committee)
e-mail: joan@math.ucla.edu
Christos Nomikos (Chair of the Organizing Committee)
address: University of Ioannina
Department of Computer Science
P.O. Box 1186
45110, Ioannina
Greece
tel: +30 26510 08815
fax: +30 26510 08895
e-mail: cnomikos@cs.uoi.gr
pls8@zeus.cs.uoi.gr