home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #3 / NN_1993_3.iso / spool / comp / theory / 2920 < prev    next >
Encoding:
Internet Message Format  |  1993-01-25  |  4.1 KB
  1. Xref: sparky comp.theory:2920 comp.lang.prolog:2438 comp.lang.functional:1550
  2. Path: sparky!uunet!mcsun!news.funet.fi!hydra!hydra!not-for-mail
  3. From: vilo@cs.Helsinki.FI (Jaak Vilo)
  4. Newsgroups: comp.theory,comp.lang.prolog,comp.lang.functional,nordunet.dcom.baltics
  5. Subject: CFP: PLILP93 Programming Language Implementation and Logic Programming
  6. Date: 25 Jan 1993 12:28:10 +0200
  7. Organization: University of Helsinki, Department of Computer Science
  8. Lines: 87
  9. Distribution: inet
  10. Message-ID: <1k0fbqINNfkt@hydra.Helsinki.FI>
  11. NNTP-Posting-Host: hydra.helsinki.fi
  12.  
  13.  
  14.  
  15.  
  16.                 P L I L P '  9 3
  17.  
  18.                               CALL FOR PAPERS                               
  19.                          Fifth International Symposium on
  20.                       Programming Language Implementation 
  21.                              and Logic Programming                            
  22.                             Tallinn, Estonia                               
  23.                                August 25-27, 1993                              
  24.  
  25.  
  26.      Following previous meetings in Orleans, Linkoping, Passau and Leuven, the 
  27. Fifth International Symposium on Programming Language Implementation and Logic 
  28. Programming will be held in  Tallinn.  The  intention  is  to  bring  together 
  29. researchers from the fields  of  logic  programming,  algorithmic  programming 
  30. languages, functional programming and object-oriented programming. The aim  of 
  31. the symposium is to explore new declarative concepts, methods  and  techniques 
  32. relevant for implementation of all kinds  of  programming  languages,  whether 
  33. algorithmic or declarative. The  topics  of  interest  include,  but  are  not 
  34. restricted, to the following:
  35.  
  36.     PROGRAM AREAS
  37.      Declarative implementation techniques
  38.      Implementation of declarative concepts and modules
  39.      Executable specifications
  40.      Compiler specification and construction
  41.      Program transformation
  42.      Programming environments for declarative languages
  43.      Constraint programming
  44.      Amalgamation of logic programming with algorithmic, functional  
  45.      or object-oriented techniques
  46.  
  47.  
  48. PROGRAM COMMITTEE
  49.      Maurice Bruynooghe       Leuven, Belgium (co-chairman)
  50.      John Darlington          London, UK
  51.      Saumya Debray            Tucson, USA
  52.      Wlodzimierz Drabent      Warsaw, Poland
  53.      Gerard Ferrand           Orleans, France
  54.      Manuel Hermenegildo      Madrid, Spain
  55.      Bharat Jayaraman         Buffalo, USA
  56.      Feliks Kluzniak          Warsaw, Poland
  57.      Brian Mayoh              Aarhus, Denmark
  58.      Alan Mycroft             Cambridge, U.K.    
  59.      Lee Naish                Melbourne, Australia
  60.      Jaan Penjam              Tallinn, Estonia (chairman)
  61.      Jukka Paakki             Jyvaskyla, Finland
  62.      Igor Pottosin            Novosibirsk, Russia
  63.      Peter Pepper             Berlin, Germany
  64.      Antoine Rauzy            Bordeaux, France
  65.      Jiro Tanaka              Tokyo, Japan
  66.      Franco Turini            Pisa, Italy
  67.      Andrej Voronkov          Novosibirsk, Russia
  68.      David Scott Warren       New York, USA
  69.  
  70. PAPER SUBMISSION REQUIREMENTS
  71.  
  72.      Original research papers must be written and presented in English and not 
  73. submitted elsewhere. Authors should send  five  copies  of  a  manuscript  not 
  74. exceeding 5000 words by March 1, 1993 to:
  75.       PLILP 93
  76.       Jaan Penjam
  77.       Software Department
  78.       Institute of Cybernetics of Estonian Academy of Sciences
  79.       Akadeemia tee 21
  80.       EE-0108 Tallinn, Estonia
  81.      
  82. The cover page should include a return mailing address and, if  possible, 
  83. an electronic mail address and a fax number. Papers should be accompanied by a 
  84. 5 line abstract sent also, if possible, by e-mail to: 
  85.         plilp@ioc.ee                                 
  86.  
  87.      Authors will be notified of acceptance/rejection by May  1993  by  e-mail 
  88. (if available). Camera-ready copy for the proceedings should be due  no  later 
  89. than June 7, 1993. It is planned to publish the proceedings of PLILP'93 in
  90. Lecture Notes of Computer Science, Springer-Verlag.
  91.  
  92.  
  93.  
  94. In cooperation with:
  95.       INRIA (Fraance)
  96.       Siemens (Germany)
  97.       KU Leuven (Belgium)
  98.       Institute of Cybernetics (Estonia)
  99.  
  100.