60 years of

Bruno Buchberger 		Symposium in Honor of
Bruno Buchberger's 60th Birthday
Logic, Mathematics and Computer Science: Interactions
October 20-22, 2002
RISC-Linz, Castle of Hagenberg, Austria
http://www.risc.uni-linz.ac.at/conferences/LMCS2002

 RISC

Research Institute for Symbolic Computation

Home Submission Registration Program Location


Castle of Hagenberg
      

News

Overview

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 computation for symbolic computation
  • Interaction : Uniform framework for formalizing, proving, solving and computing
You might want to visit Buchberger's web page:

http://www.risc.uni-linz.ac.at/people/buchberg

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

Invited Speakers

Henk Barendregt (Netherlands)
Manfred Broy (Germany)
Dana Scott (USA)
Stephen Wolfram (USA)
Doron Zeilberger (USA)
Bruno Buchberger (Austria)

LMCS Committee

General Chairs:
Hoon Hong (USA)
hong@math.ncsu.edu

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

Program Committee Chair:
Deepak Kapur (USA)
kapur@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@risc.uni-linz.ac.at

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

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

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

Sponsors

Important Dates

Aug 22 : Submission of papers
Sep 22 : Notification of acceptance/rejection
 Oct 1 (Tue) : Early Registration Deadline
Oct 1 (Tue) : Hotel Reservation Deadline
Oct 7 : Submission of final camera-ready version
Oct 18 : Late Registration Deadline

Mail to Web Master