S I L - Graduiertenkolleg

Veranstaltungen im Sommersemester 2000

Oberseminar "Sprache, Information, Logik"

Zeit:

Jeden Freitag um 12.30 Uhr.

Ort:

Oettingenstr. 67, Raum 1.35

Semesterplan

5. Mai

Vorbesprechung und Semesterplanung

12. Mai

Dr. Hans Leiß (CIS):

Definierbarkeit und Ziv-Lempel-Kompression

19. Mai

Dr. Birgit Elbl (Universität der Bundeswehr München):

Semantik für Kontrolloperatoren in Logikprogrammen

26. Mai

PD Kai Hauser (TU Berlin):

Was sind und was sollen neue Axiome?

2. Juni

Ulrich Albert (SIL)

Reduktionen in formalen Kontexten

9. Juni

Tobias Hürter (SIL)

Verrückte und dominante Familien

16. Juni

Reinhard Kahle (SIL)

Beweistheoretische Aspekte von Notwendigkeit

23. Juni

Sandra Kübler (Tübingen)

Chunk-Parsing in VERBMOBIL

30. Juni

Krzysztof Wójtowicz (Warschau)

Ontologische Verpflichtungen in der Mathematik

7. Juli

Manfred Schramm (Weingarten)

Simulation von Scoresystemen durch probabilistische Systeme

14. Juli

Bernhard Irrgang (SIL)

Das Kernmodell

21. Juli

Christiane Hofbauer (SIL)

Der Erwerb von Fragen (bei Kindern)