🚀 go-pugleaf

		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)
		(Title to be announced)
	Herve Gallaire (Xerox, France)
		Research in Logic Programming
		and Deductive Databases: The Impact on Industry
	Ryuzo Hasegawa (ICOT, Japan)
		Model Generation Theorem Provers on PIM
	Peter Wegner (Brown University, USA)
		Reasoning Versus Modeling in Computer Science
	Nail Zamov (Kazan University, Russia)
		Theorem proving in Kazan'

TUTORIALS:

	Jean-Marc Andreoli, Remo Paresci (ECRC)
		Linear Logic Programming
	Evan Tick (University of Oregon)
		An Advanced Tutorial in Concurrent Logic Programming:
		Paradigms and Implementation
	Leo Bachmair (SUNY at Stony Brook), 
	Harald Ganzinger(Max Plank Institut f\"ur Informatik)
		Paramodulation-based Theorem Proving for First-Order 
		Logic with Equality

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 (Russia) - chair
	Nail Zamov (Russia)

ORGANIZING COMMITTEE:
	Eugene Dantsin (Russia) 
	Robert Freidson (Russia/USA) - chair
	Andrei Voronkov (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


Authors are invited to submit 5 copies of their manuscripts to the address:

			Andrei Voronkov - LPAR'93
			CRIN-CNRS & INRIA Lorraine 
			  Batiment Loria, BP 239     
		     54506 Vandoeuvre-les-Nancy Cedex
				 France

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 voronkov@loria.fr. 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 SPARCstations) and several tutorials delivered by 
major researchers in the field.

IMPORTANT DATES:
	Submission:    		February 1
	Notification:  		March 20
	Final Version: 		April 20

Further information may be obtained at the email address voronkov@loria.fr.