Programm

Programm

Location: Kleiner Festsaal, University of Vienna

Wednesday, November 25th, 2009 (Details)

09:00-09:15	Opening Lu Ruqian (Chinese Academy of Sciences) A Min Tjoa (Vienna University of Technology)
09:15-10:00	Two Applications of Computer-Aided Theorem Discovery and Verification - Invited Talk Fangzhen Lin (Hong Kong University of Science and Technology)
10:00-10:30	Coffee break
10:30-12:00	TRACK 1: Knowledge Management 1
12:00-13:00	Lunch break
13:00-14:30	TRACK 2: Knowledge Management 2
14:30-15:00	Coffee break
15:00-16:30	TRACK 3: Knowledge Management 3
16:30-17:30	Panel Discussion: Knowware: The Third Star after Hardware and Software

Thursday, November 26th, 2009 (Details)

09:00-09:15	Opening Dimitris Karagiannis (University of Vienna)
09:15-10:00	Models in Knowledge Management - Invited Talk John Mylopoulos (University of Trento)
10:00-10:30	Coffee break
10:30-12:00	TRACK 4: Knowledge Science 1
12:00-13:00	Lunch break
13:00-14:30	TRACK 5: Knowledge Science 2
14:30-15:00	Coffee break
15:00-16:30	TRACK 6: Knowledge Engineering 1
16:30-17:30	Panel Discussion: Required Knowledge for Delivering Services
19:00	Gala Dinner

Friday, November 27th, 2009 (Details)

09:00-10:30	TRACK 7: Knowledge Engineering 2
10:30-11:00	Coffee break
11:00-12:30	TRACK 8: Knowledge Engineering 3
12:30-13:30	Lunch break
13:30-15:00	TRACK 9: Knowledge Engineering 4
15:00-15:30	Coffee break
15:30-17:00	TRACK 10: Knowledge Engineering 5
17:00-17:15	Closing Remarks Zhi Jin (Peking University)