Dozierendentagung-Wintermeeting der Abt. Informatik im Januar 2007 in Bern.