[FOM] Fwd: meeting announcement

[Martin Davis]

>  Date: Wed, 25 Sep 2002 16:03:28 +0200
>  From: windsteiger wolfgang <Wolfgang.Windsteiger at risc.uni-linz.ac.at>
>  Subject: CFP: LMCS'02 - Buchberger's 60th Birthday.
>
>  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



                           Martin Davis
                    Visiting Scholar UC Berkeley
                      Professor Emeritus, NYU
                          martin at eipye.com
                          (Add 1 and get 0)
                        http://www.eipye.com