[DL] Colocvium announcement
fpiroi at risc.uni-linz.ac.at
Mon Jul 1 18:17:41 CEST 2002
!! 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
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
More information about the dl