2 ms·

Do you know what's the backstory?

• jdn 13y ago
  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.