*Bi-continuous domains and some old problems in domain theory*,

Talk at DOMAINS IX, Brighton 2008. [PDF]

*Scott-Ershov domains in topology and analysis*,

Talk at the Mal'cev Meeting 2010, Novosibirsk, May 4, 2010. [PDF]

*Choquet type theorems and continuous domains*,

Talk , Kanazawa, March 11, 2010. [PDF]

*Valuations as substitutes for measures*,

Talk at Kyoto University, January 9, 2010. [PDF]

*Choquet type theorems and continuous domains*,

Talk at Kyoto University, March 15, 2010. [PDF]

*Asymmetric topology and analysis in semantics*,

Talk at Beihang University, Beijing, November 2010. [PDF]

*A mathematicians view of a painting by Carlo Crivelli 1486: Annunciation with St. Emidius (Now: London National Gallery)*,

Talk at Kyoto University, January 25, 2010. [PDF]

*Betting, imprecise probabilities and Lukasiewicz logic*,

Talk at the Mal'cev Meeting, Novosibirsk, October 11, 2011. [PDF]

*Georg Cantor in Darmstadt*.

Documents from the archive of the University of Technology at Darmstadt, December 2011 [PDF]

*The duality between direct and predicate transformer semantics*,

Talk at the Duality Workshop, Oxford, June 13, 2012. [PDF]

*Begegnungen mit Karl Heinrich Hofmann und seiner Mathematik*.

Talk at the occasion of Karl Heinrich Hofmann's 80th birthday, Darmstadt, October 5, 2012. [PDF]

*Begleittext zu dem obigen Vortrag.*[PDF]

*The duality between direct and predicate transformer semantics*.

Talk at the International Symposium on Domain Theory (ISDT),

October 26, 2013, at the University of Hunan, Changsha, China. [PDF]

*Healthiness conditions for predicate transformers*.

Talk at Mathematical Foundations of Programming Semantics (MFPS XXXI),

Nijmegen, June 22, 2015. [PDF]

*On the equivalence between state transformer semantics and predicate transformer semantics*.

Talk at Kyoto University, July 03, 2015. [PDF]

*Elliott's topological enrichment of the Cuntz semigroup of a C^*-algebra*.

Talk at the University of Muenster, June 07, 2016. [PDF]