Page d'accueil // Recherche // FSTM // DCS // Actualités et événements

Actualités et événements

Actualités

Amal Tawakuli awarded the 2019 Zonta Women in Technology Scholarship
+info

Amal Tawakuli, a doctoral candidate within the Computer Science and Communications Research Unit (CSC) at the University of Luxembourg, has recently received the 2019 Women in Technology Scholarship from the …

World-championship in Automated Reasoning: computer scientist awarded
+info

On the occasion of the annual World Championship for Automatic Theorem Proving (“CADE ATP System Competition”, in short CASC) which took place on 28-29 August 2019 in Brazil, Alexander Steen, …