Aktuelles

SS 2012: Ankündigung. Seminar Graphentheorie

20. Apr. 2011: Vorbesprechung. Proseminar Automatentheorie ab 11:00 Zimmer EN-B 0122.

Sommersemester 2011: Seminarankündigung. Proseminar Automatentheorie und Seminar Temporale Logik

16. Nov. 2010: Kolloquiumsvortrag. Dr. Christine Gaßner Logische Aspekte bei der Betrachtung von Berechnungsmodellen über den reellen Zahlen

20. Jul. 2010: Mathematisches Propädeutikum. Zur Vorbereitung auf die Vorlesung Grundlagen der theoretischen Informatik. Information.

10. Jul. 2010: Seminarankündigung für das WS10/11. Thema: Rekursive Analysis. Bei Interesse wenden Sie sich bitte an Prof. Dr. Spreen oder Dr. Diener.

9. Feb. 2010: Siegener Tag der konstruktiven Analysis. Poster

10.30: D. Bridges (University of Canterbury, New Zealand), Apartness Spaces

11.30: J. Berger (LMU München), Classifying the Uniform Continuity Theorem

14.30: L. Croscilla (University of Leeds, UK), History and Philosophy of Constructive Mathematics

15.25: H. Diener (Universität Siegen), Constructive Reverse Mathematics

16.30: P. Schuster (University of Leeds, UK), On Paths and Points

Alle Vorträge finden in Raum EN-D201 statt.