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