[DL] CFP: LMCS'02 - Buchberger's 60th Birthday.

[windsteiger wolfgang]

ATTENTION: Early registration deadline on Oct 1, 2002!

For registrations after October 1 we can't guarantee accomodation in Linz.


----------------------------------------------------------------------------------
                           Call For Participation

          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


How to Register
---------------

The conference consists of two parts:

  October 20 - 21: Contributed talks, informal remarks, tours
  October 22     : Invited talks, press conference, and banquet

We encourage you to register for the whole three days and the banquet
since various events/activities honoring Bruno Buchberger 
will be held throughout the three days.
In case you cannot make all three days, you can attend only the second
part (one day) with a reduced registration fee.

In order to register, please visit:
http://www.risc.uni-linz.ac.at/conferences/LMCS2002/registration.html


Scope
-----
Since the meeting is held in honor of Buchberger's achievements,
the presentations will cover scientific and educational topics related to 
Buchberger's works and interests:

   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

          
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, 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).
 
 
Invited Speakers
----------------

The invited talks will be given in the frame of the 
honorary colloquium on October 22.


   Henk Barendregt   (Netherlands):
   Mathematician-friendly proof-assistants

   Manfred Broy      (Germany):
   The Role of Logic and Algebra in Software Engineering
      
   Dana Scott        (USA):
   Title of talk to be announced.

   Doron Zeilberger  (USA):
   Towards a SymbolicComputational Philosophy (and Methodology!) for Mathematics

   Stephen Wolfram   (USA):
   Title of talk to be announced.

   Bruno Buchberger  (Austria): 
   Title of talk to be announced.


Contributed Presentations
-------------------------

The contributed presentations will be given in the frame of the 
LMCS'02 workshop held October 20-21.

 
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)


Local Chair
-----------

  Tudor Jebelean        (Austria)
  jebelean at risc.uni-linz.ac.at

      
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
   

----------------------------------------------------------------------------------