University of RostockInstitut für InformatikAlbert-Einstein-Straße 22D-18059 RostockOffice: 268Tel.: +49 381 4987630Fax: +49 381 4987622Email: gero.muehl(at)uni-rostock.deConsultation Times: tuesday 1:00pm-2:00pm