[Prev][Next][Index][Thread]

LPAR'92

Date: Mon, 10 Feb 92 10:52:58 +0100
To: Linear@cs.stanford.edu

LPAR'92- Call For Papers

Conference on Logic Programming and Automated Reasoning

Russia, July 15-20, 1992

LPAR'92 is the successor of the 1st and 2nd Russian Conferences on Logic
Programming held in Irkutsk in 1990 and in St. Petersburg in 1991. Russia 
has good traditions in mathematical logic and automated reasoning. There is 
also a rapidly growing logic programming community. The country is now open to 
foreigners. The aim of LPAR is to bring together researchers who hardly had the 
opportunity to meet in the past. LPAR'92 will take place immediately before 
"Logic at Tver" so as to facilitate joint attendance.
Topics of interest include, but are not restricted to:

*   Applications  			*   Meta-programming
*   LPAR in artificial intelligence  	*   Parallelism and concurrency
*   Common sense reasoning  		*   Program synthesis and verification
*   Constraints  			*   Programming in constructive logic
*   Deductive databases  		*   Rewriting
*   Executable specifications  		*   Theorem proving
*   Implementation techniques  		*   Theory and foundations
*   Inference systems for LPAR  	*   Unification theory
*   Languages for LP and its extensions

The previous conference (2nd Russian Conference on Logic Programming), 
which was international in spite of the name, was held on the ship "Michail 
Lomonosov". The use of this ship proved very successful: it has most of the
facilities of an international class hotel plus it provided many opportunities
for attendees to meet each other. LPAR'92 will be held on the same ship, 
during the famous "white nights" of this region of Russia. The ship will 
start from St. Petersburg and travel by the Neva River to Ladoga Lake 
and Onega Lake reaching the city of Petrozavodsk, the island of
Kizhi (Onega Lake) and the town of Valaam (a small town with a 
very old monastery on an island in Ladoga Lake) before returning to 
St. Petersburg. A one-day picnic in Valaam and several excursions are planned. 
Pre- or post-conference excursions in St. Petersburg will also be possible.

Invited Speakers: 
	Pascal van Hentenryck (Brown Univ., USA)
	Steffen Hoelldobler (Univ. of Darmstadt, Germany)
	Vladimir Lifschitz (Univ. of Texas, USA)
	Ewing Lusk (Argonne National Lab., USA)
	jack Minker (Univ. of Maryland, USA)
	Gregory Mints (Inst. of Cybernetics, Estonia -- Stanford Univ., USA) 



		Program Committee

Dmitri Boulanger (Russia) 	Ewing Lusk (USA)
Francois Bry  (Germany)		Bill McCune (USA)
Mats Carlsson (Sweden)		Dale Miller (USA)
Philippe Codognet (France)	Gregory Mints (Estonia)
Eugene Dantsin (Russia)		Marek Sergot (UK)
Robert Freidson (Russia)	Joerg Siekmann (Germany)
Steffen Hoelldobler (Germany)	Petr Stepanek (Czekoslovakia)
Nikolai Iliinski (Russia)	Mark Stickel (USA)
Alexander Leitsch (Austria)	Konstantin Vershinin (Ukrain)
Vladimir Lifschitz (USA)	Andrei Voronkov (Russia) - chairman

		Organizing committee:
	Eugene Dantsin (Electrical Engineering Inst., Russia)
	Robert Freidson (Electrical Engineering Inst., Russia) - chairman
	Nikolai Iliinski (Inst. of Physics Engineering, Russia)
	Andrei Voronkov (Lab. of Intelligent Systems, Russia -- ECRC, Germany) 
 
Authors are invited to submit long papers (up to 12 pages), 
short papers (up to 6 pages), or system descriptions (up to 3 
pages) written in English. The affiliation of the authors should be given,
including a full address and an email address, telephone, or telefax 
number. Late, too long, and email submissions will not be considered. 
Proceedings will be published by a major publisher, most likely Springer 
Verlag. Papers should be sent to the following address to arrive before
February 15 1992:

	Andrei Voronkov
	ECRC, Arabellastr. 17 
	8000 Muenchen 81
	Germany
	voronkov@ecrc.de

30 minutes will be given for presenting long papers, and 15 minutes for short 
papers and system descriptions. A special session will be devoted to system 
descriptions. It will be possible to demonstrate systems implemented on IBM PC 
and compatibles. 

		Important Dates:
	 Deadline for receipt of papers:  February 15 1992
	 Notification of acceptance:      April 15 1992 
	 Camera-ready copy due:  May 10 1992