LPAR'92 - Conference on Logic Programming and Automated Reasoning 
Author Message
 LPAR'92 - Conference on Logic Programming and Automated Reasoning

LPAR'92 -- Call For Papers

Conference on Logic Programming and Automated Reasoning

Russia, July 12-17, 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)
       Gregory Mints (Inst. of {*filter*}netics, 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 affili-
ation 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
                            D - W 8000 Muenchen 81
                            Germany

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 30 1992
          Camera-ready copy due:             May 20 1992

________________________________________________________________________________



Sat, 30 Apr 1994 20:03:33 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. LPAR'92 - Conference on Logic Programming and Automated Reasoning

2. LPAR'92 - Conference on Logic Programming and Automated Reasoning

3. LPAR'92 - Conference on Logic Programming and Automated Reasoning

4. LPAR: Conference on Logic Programming and Automated Reasoning

5. CFP: Logic Programming and Automated Reasoning (LPAR'94)

6. 4th Int.Conf.on Logic Programming and Automated Reasoning

7. 4th Int.Conf.on Logic Programming and Automated Reasoning

8. STARS '92 Conference, 8-10 Dec 92

9. LPAR'92

10. LPSS'92: Logic Programming Summer School

11. LPAR'92

12. FGCS'92 Workshop on Constraint Logic Programming

 

 
Powered by phpBB® Forum Software