Monika Seisenberger

Address:

Mathematisches Institut                          
Universität München
Theresienstr. 39
80333 München, Germany		 Monika.Seisenberger@mathematik.uni-muenchen.de
seisenb@mathematik.uni-muenchen.de
Phone: +49 89 2180 4613
Fax: +49 89 2180 4038

Address in Swansea:

Department of Computer Science             
University of Wales Swansea
Singleton Park
Swansea SA2 8PP, UK		 csmona@swansea.ac.uk

Phone: +44 1792 205678, ext:4534
Fax: +44 1792 295708

Publications:

  1. Proof theory at work: Program development in the Minlog system In: W. Bibel and P.H. Schmitt, editors, Automated Deduction - A Basis for Applications II, Kluwer 1998, with Holger Benl, Ulrich Berger, Helmut Schwichtenberg and Wolfgang Zuber.
  2. The Warshall Algorithm and Dickson's Lemma: Two Examples of Realistic Program Extraction, Journal of Automated Reasoning 26, Kluwer Academic Publishers, Dordrecht, 2001, with Ulrich Berger and Helmut Schwichtenberg.
  3. Kruskal's tree theorem in a constructive theory of inductive definitions In: P. Schuster, U. Berger, H. Osswald, editors, Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum. Proceedings of the Symposion in San Servolo/Venice, Italy, May 17-22, 1999. Synthese Library 306, Kluwer Academic Publishers, Dordrecht, 2001.
  4. An Inductive Version of Nash-Williams' Minimal-Bad-Sequence Argument for Higman's Lemma". In: P. Callaghan, Z. Luo, J. McKinna, R. Pollack, editors, Types for Proofs and Programs (TYPES'00), LNCS 2277, 2001,

Courses:

  • Mathematische Logik I, II, WS 1998/1999, SS 1999
  • Lineare Algebra II für Informatiker, SS2001
  • Program extraction from Proofs, SS2002
  • Programming in Scheme, WS2002

    • Links:

  • Lehrstuhl für Mathematische Logik
  • PhD Programme: Logic in Computer Science
  • The MINLOG System
  • My home page in Swansea