bunt@geyer.UUCP (Gerhard Buntrock) (10/26/90)
You are invited to a THEORY DAY in WUERZBURG 10 November 1990 Institut fuer Informatik Universitaet Wuerzburg, Am Hubland FOUR LECTURES ON LOGIC AND COMPUTATION 10.00 Prof. Michael O'Donnell (Chicago): Intuitive semantics for intuitionism 11:30 Dr. Franz Winkler (Linz): Symbolic computation in the parameterization of algebraic curves 12:30 Lunch break. 2:30 Dr. Ursula Martin (London and MIT): Orderings and termination 4:00 Dr. Leo Bachmair (Stony Brook): Perfect models for logic programs with equality Lectures will be held in Room SE 36, Institut fuer Informatik, Universitaet Wuerzburg, Am Hubland, Germany. For additinal information, contact Prof. R. Book, (0931)-888-5515 (e-mail: book@informatik.uni-wuerzburg.dbp.de).