[DL] CFP: Buchberger's 60th Birthday. DATE CHANGED!!

[Wolfgang Windsteiger]

ATTENTION:
Note that the meeting date has changed to October 20 - 22 (Sun - Tue) 2002, in
order to accommodate requests from many potential participants.

Dear colleague,

Please find appended the CFP for the symposium 
in honor of Bruno Buchberger's 60th birthday.
We encourage you to submit a paper.
 
Cordially,

The faculty of RISC-Linz

-------------------------------------------------------------------------------
                           Call For Papers

          Symposium in Honor of Bruno Buchberger's 60th Birthday 

          (Logic, Mathematics and Computer Science: Interactions)

                       October 20 - 22, 2002
                     
               Research Institute for Symbolic Computation
                    Johannes Kepler University
                       Castle of Hagenberg 
                          A-4232 Austria

           http://www.risc.uni-linz.ac.at/conferences/LMCS2002/

Bruno Buchberger, Professor of Computer Mathematics at Research Institute
for Symbolic Computation, will turn 60 on October 22, 2002.
The symposium is held in honor of his many major contributions
to logic, mathematics and computer science and their interactions. 

The program will consist of 

   * Invited talks       
   * Contributed talks
   * Panel discussions
   * Press conference   
   * Birthday Banquet


Scope
-----
Since the meeting is held in honor of Buchberger's achievements,
we solicit papers on scientific and educational topics related to 
Buchberger's works and interests, for instance (not excluding others):

   Logic       : Automatic/natural deduction, Goedel numberings 
   Math        : Theory of Groebner bases and applications 
   CS          : Parallel/systolic/hybrid symbolic computation

   Interaction : Uniform frameworks for formalizing, proving, solving and
                 computing

You might want to visit Buchberger's web page: 
   
   http://www.risc.uni-linz.ac.at/people/buchberg/index.html

to check the relevance of your submission.

          
Publication
-----------
   * Accepted contributed papers will be published in a proceedings 
     that will be available at the meeting.

   * After the meeting

     - the invited talks will be published in the RISC book series
       (Springer Heidelberg, guest editor Peter Paule).
 
     - the extended versions of the contributed papers will be published 
       in a special issue of the Journal of Symbolic Computation after a
       standard journal refereeing procedure (guest editor Deepak Kapur).
 
 
Important Dates
------------------
   Aug 22  :  Submission of papers  
   Sep 22  :  Notification of acceptance/rejection
   Oct  7  :  Submission of final camera-ready version    


Invited Speakers
----------------
   Henk Barendregt   (Netherlands)
   Manfred Broy      (Germany)      
   Dana Scott        (USA) 
   Doron Zeilberger  (USA)
   Bruno Buchberger  (Austria) 

 
General Chairs  
-------------
   Hoon Hong            (USA)
   hong at math.ncsu.edu

   Franz Winkler        (Austria)
   winkler at risc.uni-linz.ac.at
   

Program Committee Chair   
-----------------------
   Deepak Kapur          (USA)
   kapur at cs.unm.edu


Program Committee   
-----------------
   Franz Baader         (Germany)
   Alan Bundy           (UK)
   John Cannon          (Australia) 
   Alain Colmerauer     (France) 
   Nachum Dershowitz    (Israel)
   Vladimir Gerdt       (Russia) 
   Christoph Hoffmann   (USA)
   Tetsuo Ida           (Japan)  
   Volker Weispfenning  (Germany)

      
Proceedings/Web
---------------
   Koji Nakagawa        (Austria)
   nakagawa at risc.uni-linz.ac.at


Publicity
---------
   Wolfgang Windsteiger (Austria)
   windsteiger at risc.uni-linz.ac.at


Local Organization
------------------
   Betina Curtis        (Austria)
   Hagenberg Congress GmbH
   curtis at risc.uni-linz.ac.at
   

Paper Preparation Guidelines
-----------------------------
   * The paper should be at most 15 pages.

   * We strongly encourage that the papers are prepared 
     using the Academic Press LaTeX Class File "academic.cls", 
     which can be obtained from 
       
          http://www.academicpress.com/www/journal/TeX-uk/LaTeXFP.htm
           
   * The introduction must state the following 6 points informally but clearly:

         (1) Problem    : What problem is tackled in the paper.   
         (2) Scope      : How the problem is related to Buchberger's work
                          or interest.
         (3) Motivation : Where the problem arises, etc.
         (4) Difficulty : Why the problem cannot be solved trivially.
         (5) Solution   : What your solution is.
         (6) Originality: Which part of your work is original. 

     These criteria will be used by the referees while evaluating the paper.


Submission Guidelines
---------------------
   * The paper must be submitted as an email attachment
     to
   
          LMCS2002 at risc.uni-linz.ac.at
     
     by 
          Aug 22, 2002.
           
   * The paper must be in either "postscript" or "PDF" format.
   
   * The email subject should be "LMCS Submission"
 
   * The email body should include
   
         Author 1 : First name Middle initial Last name  (in that order)
         Author 2 : .....
         
         Title of paper : 
         
         Keywords: 
         
         Contact author's:
            - name
            - email address
            - telephone number
            - fax number
            - postal address