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

Actualités et événements

Actualités

IRIS 2020 Best paper award "NAI: Towards Transparent and Usable Semi-Automated Legal Analysis"
+info

The paper "NAI: Towards Transparent and Usable Semi-Automated Legal Analysis" by Alex Steen and Tomer Libal, postdocs at the University of Luxembourg, won the best paper award (1st prize) at …

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, …