Path: utzoo!attcan!uunet!wuarchive!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka.de!fauern!geyer!bunt
From: bunt@geyer.UUCP (Gerhard Buntrock)
Newsgroups: comp.theory
Subject: Theory Day in Wuerzburg
Message-ID: <337@geyer.UUCP>
Date: 26 Oct 90 13:58:33 GMT
References: <4653@rex.cs.tulane.edu>
Reply-To: bunt@geyer.UUCP (Gerhard Buntrock)
Organization: University of Wuerzburg, Germany
Lines: 34


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).