Talks


2008

  • Graded and Non Graded Assessment Systems Some Recommendations, Department of Vocational Education and Training, Gaborone, 05.03.2008 and 07.04.2008

    2007

  • ICT4D, E-Learning, Blended Learning ... and what we should do with it, Tertiary Education Council, Gaborone, 20.07.2007

    2006

  • CTVE E-Learning Centre Vers. 2.0 (Technical Issues), College of Technical and Vocational Education Gaborone, 29.11.2006
  • CTVE E-Learning Centre Vers. 2.0, College of Technical and Vocational Education Gaborone, 08.11.2006
  • eLearning at CTVE, Francistown new technical college, 31.05.2006
  • 14 months at CTVE, College of Technical and Vocational Education Gaborone, 23.03.2006

    2005

  • E-Learning at CTVE: How to progress, College of Technical and Vocational Education Gaborone, 24.10.2005
  • E-Learning at CTVE: Some guidelines, College of Technical and Vocational Education Gaborone, 12.09.2005
  • Presentation of the CTVE e-Study Centre II, College of Technical and Vocational Education Gaborone, 27.07.2005
  • Presentation of the CTVE e-Study Centre, College of Technical and Vocational Education Gaborone, 08.06.2005
  • Making it happen - CTVE Distance Eductaion, College of Technical and Vocational Education Gaborone, 02.02.2005

    2004

  • Four Years in Malaysia - A Retrospective, Multimedia University Cyberjaya, 22.07.2004

    2003

  • Logic, Logic, Everywhere Logic, University Wide Seminar, Multimedia University Cyberjaya, 26.07.2003
  • Skills fostered in Programming Competitions, Forte contest awarding ceremony, Multimedia University Cyberjaya, sponsored by SUN, 23.01.2003
  • CAIIC in the middle of the year, CAIIC, Multimedia University Cyberjaya, 03.01.2003

    2002

  • The DLBA problem, CAIIC, Multimedia University Cyberjaya, 06.09.2002
  • Famous Undecidability, CAIIC, Multimedia University Cyberjaya, 05.07.2002
  • Java for Teaching Purposes, CAIIC, Multimedia University Cyberjaya, 06.02.2002

    2001

  • P, NP and NP-complete, CAIIC, Multimedia University Cyberjaya, 07.09.2001
  • CIM, TOC and the future of programming, CAIIC, Multimedia University Cyberjaya, 27.07.2001

    2000

  • Fundierung des ooParadigmas, Universität Leipzig, Institut für medizinische Informatik, 17.12.1999 + 07.01.2000

    1999

  • Funktional-logisches Programmieren / Collecting of Facts, Universität Leipzig, 12.01.1999

    1998

  • Zu Konzepten der Semantik funktional-logischer Sprachen (Babel), Universität Leipzig, 14.07.1998
  • Mathematische Grundlagen der Semantik funktional-logischer Sprachen, Universität Leipzig, 30.06.1998
  • Zur algebraischen Semantik logischer Sprachen, Universität Leipzig, 07.05.1998
  • Erweiterungen funktionaler Sprachen (Teil II), Universität Leipzig, 10.02.1998
  • Erweiterungen funktionaler Sprachen am Beispiel der Sprachen ProFun, VisBeta und M, Universität Leipzig, 27.01.1998
  • Parallelisierungen in funktionalen Sprachen am Beispiel des Concurrent Clean, Universität Leipzig, 13.01.1998

    1997

  • Semantik-Ans�tze f�r funktionale Sprachen (Fortsetzung), Universität Leipzig, 16.12.1997
  • Semantik-Ans�tze f�r funktionale Sprachen. Teil III, Universität Leipzig, 02.12.1997
  • Semantik-Ans�tze f�r funktionale Sprachen. Teil II, Universität Leipzig, 18.11.1997
  • Semantik-Ans�tze f�r funktionale Sprachen. Teil I, Universität Leipzig, 28.10.1997
  • Objektorientiertes Programmieren unter verschiedenen Sprachparadigmen, Universität Leipzig, 16.07.1997
  • Multiple Redirection in funktional-logischen Sprachen, Universität Leipzig, 25.06.1997
  • Die Methode des Narrowing - umgesetzt in BABEL, Universität Leipzig, 14.05.1997