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