Präzisionswerkzeug Logik

Gedenkkolloquium
zu Ehren von

Dieter Rödding
24. August 1937
- 4. Juni 1984
   
Programm Ort
Anmeldung Übernachtung
Donnerstagabend Einladungs-Faltkarte (pdf-file)
Veröffentlichungen
von Dieter Rödding
  		Doktoranden
von Dieter Rödding
 
E. Börger: D. Rödding: Ein Nachruf
Jber. d. Dt. Math.-Verein. 89 (1987), 144-148

Programm - Freitag, 4. Juni 2004
   
09.30 - 10.00 Begrüßung
Elmar Cohors-Fresenborg
Dekan des FB Mathematik / Informatik
10.00 - 10.45 Extraktion von Programmen aus Beweisen
Helmut Schwichtenberg
Universität München
 
Kaffeepause
11.15 - 12.00 Selbst-ähnliche, überlappende Zellstrukturen in der Bildanalyse
Lutz Priese
Universität Koblenz
12.15 - 13.00 Duale kognitive Repräsentationssysteme: prädikativ - funktional
Inge Schwank
Universität Osnabrück
 
Mittagsimbiss
14.15 - 15.00 Algorithmische Aspekte des Stöberns in der Vergangenheit
Thomas Ottmann
Universität Freiburg
 


Kaffeepause
15.30 - 16.15 Einfache Modelle in Quantifizierten Boolschen Formeln
Hans Kleine Büning
Universität Paderborn
16.30 - 17.15 Von endlichen Automaten zu abstrakten Zustandsmaschinen
Egon Börger
Universität Pisa
   
ab 18.00 Gemeinsames festliches Abendessen

Ort

Universität Osnabrück, Standort Westerberg
Allgemeines Verfügungszentrum (AVZ / 31)
Erdgeschoss Räume E05/E06
Albrechtstraße 28, 49076 Osnabrück

Lagepläne: Allgemeines Verfügungszentrum (AVZ/31)
  UniOsnabrück-allgemein

Veranstalter:
Institut für Kognitive Mathematik
Fachbereich Mathematik/Informatik
 


Anmeldung
   

Um Anmeldung und Überweisung der Beiträge wird gebeten
bis Donnerstag, 27. Mai 2004.

Anmelde-email-Adresse
ikm@mathematik.uni-osnabrueck.de

Bankverbindung
Kontoinhaber: Forschungsinstitut für Mathematikdidaktik
Postbank Hannover
BLZ: 250 100 30
KNR: 37 52 63 309

Der Tagungsbeitrag von 25 Euro umfasst den Mittagsimbiss, die Pausengetränke sowie den Tagungsband.
Für die Teilnahme am festlichen Abendessen wird um eine Überweisung von zusätzlich 30 Euro gebeten.

Übernachtung
   
In der Woche des Gedenkkolloquiums findet in Osnabrück der Jugendhilfetag statt, so dass es schwierig sein kann, sich eine Unterkunft zu besorgen. In folgenden Hotels wurde deshalb für das Gedenkkolloquium ein gewisses Kontingent an Zimmern reserviert:

Altes Gasthaus Kohlbrecher
Wersener Landstrasse 2, 49090 Osnabrück
Tel.: 0541-125293, FAX: 0541-120301
kohlbrecher@osnanet.de

Hotel Ibis (nur 3. Juni)
Blumenhaller Weg 157, 49078 Osnabrück
Tel.: 0541-40490, FAX: 0541-41945
http://www.ibishotel.com/ibis/index.html

Hotel Welp
Tel.: 0541-91307-0, FAX: 0541-9130734
http://www.hotelweb.de/hotel-welp/
 

Donnerstagabend, 3. Juni 2004
   
Am Donnerstagabend besteht für die bereits Angereisten die Möglichkeit zum gemeinsamen Abendessen im Hotel Welp. Bitte vermerken Sie in Ihrer Anmeldung, falls Sie daran teilnehmen möchten.
 
 

Letzte Änderung: 10. Mai 2004
Copyright: Institut für Kognitive Mathematik
Fachbereich Mathematik / Informatik
Universität Osnabrück

Statistik: