[Prev][Next][Index][Thread]
4th Int.Conf. on Logic Programming and Automated Reasoning
Date: Fri, 25 Sep 92 19:48:19 +0200
To: linear@cs.stanford.edu
LPAR'93 - 4th International Conference on Logic
Programming and Automated Reasoning
Call for Papers
St.Petersburg, Ship "Michail Lomonosov"
July 13-20, 1993
LPAR'93 is an international conference traditionally held in Russia since
1990. It aims at bringing together researchers interested in logic programming
and automated reasoning. LPAR'93 is also an excellent opportunity to
become better acquainted with research in Russia and other countries of
the former Soviet Union.
INVITED SPEAKERS:
Alan Bundy (Edinburgh University, UK)
Herve Gallaire (Xerox, France)
Ryuzo Hasegawa (ICOT, Japan)
Nail Zamov (Kazan University, Russia)
TOPICS OF INTEREST include, but are not restricted to:
Constraints
Deductive databases
Formal methods in software and hardware
Implementation techniques
Inductive theorem proving
Logical Frameworks
LPAR in artificial intelligence
Meta-programming
Parallelism and concurrency
Program synthesis and verification
Programming in constructive logic
Theorem proving
Theory and foundations
Unification theory and rewriting
PROGRAM COMMITTEE:
Dmitri Boulanger (Belgium/Russia) Mats Carlsson (Sweden)
Philippe Codognet (France) Danny De Schreye (Belgium)
Norbert Eisinger (Germany) Harald Ganzinger (Germany)
Ryuzo Hasegawa (Japan) Steffen Hoelldobler (Germany)
Deepak Kapur (USA) Jean-Louis Lassez (USA)
Alexander Leitsch (Austria) Giorgio Levi (Italy)
John Lloyd (UK) Ewing Lusk (USA)
Dale Miller (USA) Jack Minker (USA)
Gregory Mints (USA/Estonia) Alan Mycroft (UK)
Lee Naish (Australia) Hans-Jurgen Ohlbach (Germany)
Michel Parigot (France) Frank Pfenning (USA)
Vladimir Sazonov (Russia) Marek Sergot (UK)
Mark Stickel (USA) Pascal Van Hentenryck (USA)
Konstantin Vershinin (Ukraine)
Andrei Voronkov (Germany/Russia) - chair
Nail Zamov (Russia)
ORGANIZING COMMITTEE:
Eugene Dantsin (Russia)
Robert Freidson (Russia/USA) - chair
Andrei Voronkov (Germany/Russia)
Authors are invited to submit 5 copies of their manuscripts to the address:
LPAR'93
ECRC
Arabellastr.17
8000 Munich 81
Germany
For countries where copying may be a problem one copy will be sufficient.
Email TeX/LaTeX submissions are acceptable from the countries with
postal problems. Proceedings will be published in the series "Lecture Notes in
Artificial Intelligence" by Springer Verlag. (Proceedings of the
previous conferences were published in LNAI vv.592 and 624).
There are three kinds of submissions: long papers (up to 12 pages),
short papers (up to 6 pages), or system descriptions (up to 3
pages). All papers must be written in English. Submissions should be
accompanied by a one-page abstract sent either to the same address
or (preferably) by email to lpar93@ecrc.de. The abstract should include
author's name(s), affiliation, postal and email addresses.
The program will also include a special session on system demonstrations
(IBM PCs and Spark stations) and several tutorials delivered by
major researchers in the field.
IMPORTANT DATES:
Submission: January 20
Notification: March 20
Final Version: April 20
Further information may be obtained at the email address lpar93@ecrc.de.