home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / comp / ai / 4812 < prev    next >
Encoding:
Internet Message Format  |  1993-01-11  |  3.7 KB
  1. Path: sparky!uunet!mcsun!julienas!loria!loria.fr!voronkov
  2. From: voronkov@loria.fr (Voronkov Andrei)
  3. Newsgroups: comp.ai
  4. Subject: LPAR'93 Call for Papers
  5. Keywords: Logic Programming, Automated Reasoning
  6. Message-ID: <731@muller.loria.fr>
  7. Date: 11 Jan 93 18:29:59 GMT
  8. Sender: news@news.loria.fr
  9. Organization: CRIN (CNRS) Nancy - INRIA Lorraine
  10. Lines: 97
  11.  
  12. Warning: there are changes in addresses. The old address is still valid, but the new one
  13. is preferable.
  14.  
  15.         LPAR'93 - 4th International Conference on Logic 
  16.             Programming and Automated Reasoning
  17.  
  18.                 Call for Papers
  19.  
  20.            St.Petersburg, Ship "Michail Lomonosov"
  21.                  July 13-20, 1993
  22.  
  23.  
  24. LPAR'93 is an international conference traditionally held in Russia since
  25. 1990. It aims at bringing together researchers interested in logic programming
  26. and automated reasoning. LPAR'93 is also an excellent opportunity to 
  27. become better acquainted with research in Russia and other countries of
  28. the former Soviet Union.
  29.  
  30. INVITED SPEAKERS:
  31.     Alan Bundy (Edinburgh University, UK)
  32.     Herve Gallaire (Xerox, France)
  33.     Ryuzo Hasegawa (ICOT, Japan)
  34.     Nail Zamov (Kazan University, Russia)
  35.  
  36. TOPICS OF INTEREST include, but are not restricted to:
  37.  
  38.     Constraints         
  39.     Deductive databases 
  40.     Formal methods in software and hardware 
  41.     Implementation techniques 
  42.     Inductive theorem proving 
  43.     Logical Frameworks 
  44.     LPAR in artificial intelligence 
  45.     Meta-programming 
  46.     Parallelism and concurrency 
  47.     Program synthesis and verification 
  48.     Programming in constructive logic 
  49.     Theorem proving 
  50.     Theory and foundations 
  51.     Unification theory and rewriting
  52.  
  53. PROGRAM COMMITTEE:
  54.     Dmitri Boulanger (Belgium/Russia)     Mats Carlsson (Sweden)
  55.     Philippe Codognet (France)        Danny De Schreye (Belgium)
  56.     Norbert Eisinger (Germany)        Harald Ganzinger (Germany)
  57.     Ryuzo Hasegawa (Japan)            Steffen Hoelldobler (Germany)
  58.     Deepak Kapur (USA)            Jean-Louis  Lassez (USA) 
  59.     Alexander Leitsch (Austria)        Giorgio Levi (Italy)
  60.     John Lloyd (UK)                Ewing Lusk (USA)
  61.     Dale Miller (USA)            Jack Minker (USA)
  62.     Gregory Mints (USA/Estonia)        Alan Mycroft (UK)
  63.     Lee Naish (Australia)            Hans-Jurgen Ohlbach (Germany)
  64.     Michel Parigot (France)            Frank Pfenning (USA)
  65.     Vladimir Sazonov (Russia)        Marek Sergot (UK)
  66.     Mark Stickel (USA)            Pascal Van Hentenryck (USA)
  67.     Konstantin Vershinin (Ukraine)
  68.     Andrei Voronkov (Russia) - chair
  69.     Nail Zamov (Russia)
  70.  
  71. ORGANIZING COMMITTEE:
  72.     Eugene Dantsin (Russia) 
  73.     Robert Freidson (Russia/USA) - chair
  74.     Andrei Voronkov (Russia) 
  75.  
  76. Authors are invited to submit 5 copies of their manuscripts to the address:
  77.  
  78.             Andrei Voronkov - LPAR'93
  79.             CRIN-CNRS & INRIA Lorraine 
  80.               Batiment Loria, BP 239     
  81.              54506 Vandoeuvre-les-Nancy Cedex
  82.                  France
  83.  
  84. For countries where copying may be a problem one copy will be sufficient.
  85. Email TeX/LaTeX submissions are acceptable from the countries with 
  86. postal problems. Proceedings will be published in the series "Lecture Notes in 
  87. Artificial Intelligence" by Springer Verlag. (Proceedings of the 
  88. previous conferences were published in LNAI vv.592 and 624).
  89.  
  90. There are three kinds of submissions: long papers (up to 12 pages), 
  91. short papers (up to 6 pages), or system descriptions (up to 3 
  92. pages). All papers must be written in English. Submissions should be 
  93. accompanied by a one-page abstract sent either to the same address 
  94. or (preferably) by email to voronkov@loria.fr. The abstract should include
  95. author's name(s), affiliation, postal and email addresses.  
  96.  
  97. The program will also include a special session on system demonstrations 
  98. (IBM PCs and SPARCstations) and several tutorials delivered by 
  99. major researchers in the field.
  100.  
  101. IMPORTANT DATES:
  102.     Submission:            January 20
  103.     Notification:          March 20
  104.     Final Version:         April 20
  105.  
  106. Further information may be obtained at the email address voronkov@loria.fr.
  107.  
  108.  
  109.