Eröffnungsveranstaltung KIT-Schwerpunkt COMMputation
Eröffnungsveranstaltung KIT-Schwerpunkt COMMputation
Veranstaltungsart:
sonstige Veranstalltung
Prof. Dr. Norbert Henze, KIT-Bereichsvorstand (CIO)
Begrüßung
Prof. Dr. Heinz Wörn, Dekan der Fakultät für Informatik Grußwort
Prof. Dr. Hartmut Schmeck, Wissenschaftlicher Sprecher des KIT-Schwerpunkts COMMputation "COMMputation = COMMunication + COMputation"
Prof. Dr. Prabhakar Raghavan, Head of Yahoo! Labs "Heavy Tails and Models for the Web and Social Networks"
Prof. Dr. Edmund Clarke, FORE Systems University Professor of Computer Science and Professor of Electrical and Computer Engineering, Carnegie-Mellon University, Pittsburgh PA "Model Checking. My 28-year Quest to Overcome the State Explosion Problem"
18.00 Uhr: Empfang
Start: 12. November 2009 um 16:00
Im Gebäude 11.40, Raum: Tulla HS
Veranstaltung vormerken: (iCal)
Veranstalter: Forschungsgruppe(n) Effiziente Algorithmen
Homepage: http://www.commputation.kit.edu/96.php