To the killing? It was partly replaced by G52IFR, which focuses on Coq, and also partly because the university seems to enjoy killing off modules from departmen

To the killing? It was partly replaced by G52IFR, which focuses on Coq, and also partly because the university seems to enjoy killing off modules from departments that don't do HCI. Human-computer interaction is currently eating the department.