---------- Forwarded Message ----------
Subject: CFP: Buchberger's 60th Birthday. DATE CHANGED!! Date: Fri, 12 Jul 2002 18:59:59 +0200 From: Wolfgang Windsteiger Wolfgang.Windsteiger@risc.uni-linz.ac.at To: gustaf.neumann@wu-wien.ac.at
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@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)
Proceedings/Web --------------- Koji Nakagawa (Austria) nakagawa@risc.uni-linz.ac.at
Publicity --------- Wolfgang Windsteiger (Austria) windsteiger@risc.uni-linz.ac.at
Local Organization ------------------ Betina Curtis (Austria) Hagenberg Congress GmbH curtis@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@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
-------------------------------------------------------
-
Gustaf Neumann