Department Mathematik



Mathematisches Kolloquium

Am Freitag, 22. Juni 2007, um 17:15 Uhr c.t. spricht

Prof. Dr. Ulrich Berger
(University of Wales Swansea)

im Hörsaal B 051 über das Thema

Applications of domain theory to termination problems

Zusammenfassung: The fundamental ideas of domain theory are rooted in the work of Turing, Kleene and Kreisel on real number and higher type computability and were developed into an abstract mathematical theory of partial orders and topological spaces by Scott and Ershov providing models for the lambda calculus and modern programming languages. Domains are also the semantical basis for Helmut Schwichtenberg's pioneering work on interactive theorem proving and program extraction from proofs within the Minlog proof system. In the talk I will highlight some new applications of domain theory to the solution of hard termination problems originating in proof-theoretic questions.
Alle Interessierten sind hiermit herzlich eingeladen.