Goethe-University, Department of Computer Science and Mathematics, Frankfurt, Germany

http://www.uni-frankfurt.de/fb/fb12/index.html