Programm
Location: Kleiner Festsaal, University of ViennaWednesday, November 25th, 2009 (Details)
09:00-09:15 | Opening |
09:15-10:00 | Two Applications of Computer-Aided Theorem Discovery and Verification - Invited Talk |
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 |
09:15-10:00 | Models in Knowledge Management - Invited Talk |
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 |