Personal tools
You are here: Home → Invited Speakers → KSEM2009
Navigation
 
Document Actions

KSEM2009

This page contains information on the keynotes in KSEM2009.

  • Prof. Fangzhen Lin from Hong Kong University of Science and Technology, China, "Two Applications of Computer-Aided Theorem Discovery and Verification"

  • Prof. John Mylopoulos from University of Trento, Italy, "Models in Knowledge Management"

    		•
    « May 2012 »
    Su Mo Tu We Th Fr Sa
    12345
    6789101112
    13141516171819
    20212223242526
    2728293031
     
    Powered by Plone CMS, the Open Source Content Management System

    This site conforms to the following standards: