[DL] Colocvium announcement

[Florina Piroi]

!! The usual apologies in case you receive multiple copies of this message !!

We would like to invite you to the

==== Symposium on Logic, Mathematics, and Computer Science: Interactions  ====

in honor of Bruno Buchberger's 60th birthday.
The colloquium will be held from October 22 to October 24, 2002
in Hagenberg, Austria.

Henk Barendregt (University of Nijmegen, Netherlands)
Manfred Broy (TU Muenchen, Germany)
Dana Scott (Carnegie Mellon University, Pittsburgh)
Doron Zeilberger (Rutgers Mathematics Department, New Brunswick)

and also Bruno Buchberger 

will present their views on the interaction of logic, mathematics, 
and computer science.

Tuesday, October 22 (Bruno's actual birthday!) will be devoted to the 
invited lectures, Wednesday and Thursday will feature contributed talks.
The Call for Papers and some submission guidelines can be found on the
web page (see the address below).

If you are interested in attending the symposium, visit the
symposium's web-page under 

http://www.risc.uni-linz.ac.at/conferences/LMCS2002/

or send an email to

Betina.Curtis at risc.uni-linz.ac.at

Feel free to circulate the announcement among people potentially 
interested in the event.

The faculty of RISC-Linz