AIFB (Institut für Angewandte Informatik und Formale Beschreibungsverfahren)

The University of Karlsruhe is positioning itself as a Research University and hence the AIFB is an institute with a striking number of projects at the national and Euroepan scale. As such it is consciously taking a very different path than two other great technical universities: e.g. Darmstadt calls itself a "Dual Mode University" meaning that it palns to complement regular teaching with systematic use of e-learning such that c. 30% od courses will in future be in electronic form. Meanwhile, the ETH (Eidegenössische Technische Hoschschule, Swiss Federal Polytechnic, Zurich) is propagating e-learning in "ETH-World", a "virtual!" variant of the university.