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

Wolfgang Windsteiger Wolfgang.Windsteiger at risc.uni-linz.ac.at
Fri Jul 12 18:59:59 CEST 2002

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.

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


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

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

You might want to visit Buchberger's web page: 

to check the relevance of your submission.

   * 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)

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

   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 
   * 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
          LMCS2002 at risc.uni-linz.ac.at
          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 : 
         Contact author's:
            - name
            - email address
            - telephone number
            - fax number
            - postal address

More information about the dl mailing list