Logic List Mailing Archive

Festkolloquium Rautenberg

FESTKOLLOQUIUM F?R PROF. DR. WOLFGANG RAUTENBERG
	 ================================================

         Wir laden ein zu einem Festkolloquium aus Anla? des
	 65. Geburtstags von Prof. Dr. W. Rautenberg am

		 Freitag, den 29. Juni 2001
		 Raum 108/109
		 (Kolloquiumsraum des Fachbereichs
		 Mathematik/Informatik)

		 II. Mathematisches Institut
		 FU Berlin
		 Arnimallee 2-6
		 14195 Berlin

         Der Zeitplan ist voraussichtlich wie folgt:

	 10:00 Begr??ung
	 10:15 Eberhard Sch?neburg (Artificial Life):
		"Intelligent Internet Agents and Non-Classical Logics"
         11:15 Martin Weese (Univ. Potsdam):
		"Listen F?rbungen auf Graphen"

              -- Mittagspause --

         15:15 Willem Blok (Univ. of Illinois Chicago):
		"On the Finite Model Property of Linear
			Intuitionistic Algebras"
         16:15 Pavel Idziak (Univ. Krakau):
		"Algebraic versus Kripke--Style Semantics"


         Anschlie?end gibt es ein Buffet. Alle Interessenten sind
	 herzlich eingeladen. Um Voranmeldung wird gebeten. Bitte
	 wenden Sie sich an

	 Marcus Kracht, II. Mathematisches Institut,
	 Arnimallee 3, 14195 Berlin,
	 kracht@math.fu-berlin.de

++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++

	 COLLOQUIUM IN HONOUR OF PROF. DR. WOLFGANG RAUTENBERG
	 =====================================================

         On the occasion of the 65th birthday of Prof. Dr. W.
	 Rautenberg you are cordially invited to participate
         in a colloquium, which shall take place on

		 Friday, June 29, 2001 in
		 Room 108/109
		 (`Kolloquiumsraum? of the Department of
		 Mathematics and Informatics)

		 II. Mathematisches Institut
		 FU Berlin
		 Arnimallee 2-6
		 14195 Berlin

         The schedule will be as follows.

	 10:00 Reception
	 10:15 Eberhard Sch?neburg (Artificial Life):
		"Intelligent Internet Agents and Non-Classical Logics"
         11:15 Martin Weese (Univ. Potsdam):
		"Listenf?rbungen auf Graphen"

              -- lunch break --

         15:15 Willem Blok (Univ. of Illinois Chicago):
		"On the Finite Model Property of Linear
			Intuitionistic Algebras"
         16:15 Pavel Idziak (Univ. Krakau):
		"Algebraic versus Kripke--Style Semantics"


         After the last talk there will be a buffet. All par-
	 ticipants are cordially invited. Please register in
	 advance. For further details contact

	 Marcus Kracht, II. Mathematisches Institut,
	 Arnimallee 3, 14195 Berlin,
	 kracht@math.fu-berlin.de

+++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++