Klaus Keimel

Some Talks

1. Bi-continuous domains and some old problems in domain theory,
   Talk at DOMAINS IX, Brighton 2008. [PDF]
   
   
2. Scott-Ershov domains in topology and analysis,
   Talk at the Mal'cev Meeting 2010, Novosibirsk, May 4, 2010. [PDF]
   
   
3. Choquet type theorems and continuous domains,
   Talk , Kanazawa, March 11, 2010. [PDF]
   
   
4. Valuations as substitutes for measures,
   Talk at Kyoto University, January 9, 2010. [PDF]
   
   
5. Choquet type theorems and continuous domains ,
   Talk at Kyoto University, March 15, 2010. [PDF]
   
   
6. Asymmetric topology and analysis in semantics,
   Talk at Beihang University, Beijing, November 2010. [PDF]
   
   
7. 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]
   
   
8. Betting, imprecise probabilities and Lukasiewicz logic ,
   Talk at the Mal'cev Meeting, Novosibirsk, October 11, 2011. [PDF]
   
   
9. Georg Cantor in Darmstadt.
   Documents from the archive of the University of Technology at Darmstadt, December 2011 [PDF]
   
   
10. The duality between direct and predicate transformer semantics,
    Talk at the Duality Workshop, Oxford, June 13, 2012. [PDF]
    
    
11. 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]
    
    
12. 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]
    
    
13. Healthiness conditions for predicate transformers.
    Talk at Mathematical Foundations of Programming Semantics (MFPS XXXI),
    Nijmegen, June 22, 2015. [PDF]
    
    
14. On the equivalence between state transformer semantics and predicate transformer semantics.
    Talk at Kyoto University, July 03, 2015. [PDF]
    
    
15. Elliott's topological enrichment of the Cuntz semigroup of a C^*-algebra.
    Talk at the University of Muenster, June 07, 2016. [PDF]