SOFSEM 2013: Theory and Practice of Computer Science

This book constitutes the refereed proceedings of the 39th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2013, held in pindlerv Mlýn, Czech Republic, in January 2013. The 37 revised full papers presented in this volume were carefully reviewed and selected from 98 submissions. The book also contains 10 invited talks, 5 of which are in full-paper length. The contributions are organized in topical sections named: foundations of computer science; software and Web engineering; data, information, and knowledge engineering; and social computing and human factors.

State-of-the-art research Fast-track conference proceedings Unique visibility

Autorentext
Dr. Harald Sack ist Gastwissenschaftler am Hasso-Plattner-Institut für Softwaresystemtechnik (HPI) an der Universität Potsdam. Nach einem Informatikstudium an der Universität der Bundeswehr in München arbeitete er von 1990 - 1997 als Anwendungsentwickler und Projektleiter in der Bundeswehr. 1997 ging er als assoziiertes Mitglied des Graduiertenkollegs "Mathematische Optimierung" an die Universität Trier und promovierte 2002 mit einer Arbeit zur formalen Verifikation zum Dr. rer. nat. 2002 - 2008 arbeitete er als wissenschaftlicher Assistent am Institut für Informatik an der Friedrich-Schiller-Universität in Jena und ist seit 2007 Gastdozent am HPI in Potsdam. Seine Forschungsschwerpunkte liegen in den Gebieten Multimedia Retrieval, Semantic Web, Wissensrepräsentationen und Semantic enabled Retrieval. Seit 2008 ist er kommissarischer Sprecher der Fachgruppe 'Multimedia- und Hypermediasysteme' der Gesellschaft für Informatik und Mitglied des Deutschen IPv6 Rates.

Inhalt
Major Achievements in Software Studies.- Foundations of Computer Science.- Software and Web Engineering.- Data, Information and Knowledge Engineering.- Social Computing and Human Factors.- Foundations of Computer Science.- Software and Web Engineering.- Data, Information, and Knowledge Engineering.- Social Computing and Human Factors.