[Prev][Next][Index][Thread]
LPAR'99 deadline extension

To: theoremprovers@ai.mit.edu, types@cis.upenn.edu, compunode@compulog.org, rewriting@enslyon.fr, logic@cs.cornell.edu, logic@theory.lcs.mit.edu, cslogic@cs.indiana.edu, kgs@logic.tuwien.ac.at, theorynt@listserv.nodak.edu, softverf@leopard.cs.byu.edu

Subject: LPAR'99 deadline extension

From: Andrei Voronkov <voronkov@cs.man.ac.uk>

Date: Tue, 4 May 1999 22:47:21 +0100 (BST)
***** LPAR submission deadline has been extended to May 15 *****
LPAR'99
6th International Conference on Logic for Programming
and Automated Reasoning
Tbilisi, Republic of Georgia
September 610, 1999
http://www.csd.uu.se/~voronkov/lpar99.html
Topics
automated reasoning
logic in databases
logic and complexity
logic and concurrency
programming and logic
model checking
formal methods
programming languages and complexity
knowledge representation and reasoning
reasoning about actions
rewriting
logic programming
constraints
specification and verification using logics
modal logic and computing
temporal logic
description logics
constructive logic
higherorder logic
linear logic
new applications of logic
finite model theory
Invited speakers
Yuri Gurevich (Microsoft Research)
Daniel Leivant (Indiana University)
Programme Committee
Arnon Avron (TelAviv University)
Leo Bachmair (SUNY at Stony Brook)
Franz Baader (RWTH Aachen)
Howard Barringer (University of Manchester)
Manfred Broy (Munich University of Technology)
Maurice Bruynooghe (Catholic University of Leuven)
Alan Bundy (University of Edinburgh)
Harald Ganzinger (MaxPlanck Institut für Informatik), cochair
Jürgen Giesl (Darmstadt University of Technology)
Georg Gottlob (Vienna University of Technology)
Ryuzo Hasegawa (Kyushu University)
Neil Jones (DIKU University of Copenhagen)
JeanPierre Jouannaud (CNRS)
Maurizio Lenzerini (Università di Roma "La Sapienza")
Giorgio Levi (Pisa University)
Leonid Libkin (Bell Laboratories)
Patrick Lincoln (SRI International)
Ursula Martin (St. Andrews University)
Yuri Matiyasevich (Steklov Institite of Mathematics, St.Petersburg)
David McAllester (AT&T Labs Research), cochair
Robert Nieuwenhuis (Technical University of Catalonia)
Catuscia Palamidessi (Pennsylvania State University)
Frank Pfenning (Carnegie Mellon University)
Uday Reddy (University of Illinois at UrbanaChampaign)
Vladimir Sazonov (Program Systems Institute, PereslavlZalesski)
Helmut Schwichtenberg (LüdwigMaximilian University, Munich)
Moshe Vardi (Rice University)
Andrzej Tarlecki (Warsaw University)
Yoshihito Toyama (Japan Advanced Institute of Science and Technology)
Andrei Voronkov (University of Manchester), cochair
Michael Zakharyashev (Keldysh Institute of Applied Mathematics, Moscow)
Organizing Committee
Rusiko Asatiani (Tbilisi University)
Nani Chanishvili (Tbilisi University)
Gela Chankvetadze (Tbilisi University)
Georgi Chikoidze (Tbilisi University)
Temur Khurodze (Tbilisi University), chair
Temur Kutsia (Tbilisi University)
Khimuri Rukhaia (Tbilisi University)
Konstantin Pkhakadze (Tbilisi University)
Submission of articles
All submitted papers must be original and not submitted for
publication elsewhere. The proceedings of LPAR'99 will be
published by SpringerVerlag in the LNAI series. Authors of
accepted papers will be requested to sign a form transfering
copyright of their contribution to SpringerVerlag.
Submissions should not be longer than 15 proceedings pages. If
proofs do not fit in 15 pages, add an appendix with proofs or
refer to a full version of the article on the Web. If the paper
does not fit in 15 pages without proofs, submit it to a journal.
Authors are encouraged to use LaTeX2e and the Springer llncs
class files. If you use this style, turn on page numbers using
\pagestyle{plain}. Submit a uuencoded, compressed (using gzip or
zip) postscript file to lpar99@csd.uu.se.
Submissions should be accompanied by an electronic abstract (pure
ASCII) sent in a separate email. It should contain the title,
list of authors and the asbtract.
Proceedings
The proceedings will be published in the series Lecture Notes in
Artificial Intelligence by Springer Verlag and available at the
conference.
Important dates
Submission: May 15
Notification: June 15
Final version: July 15
Conference: September 610
LLC Symposium in Batumi: September 1216
FOR MORE INFORMATION SEE THE CONFERENCE HOMEPAGE
http://www.csd.uu.se/~voronkov/lpar99.html