In the framework of the project "Forest SaVR – A Virtual-Reality Application to Raise Awareness of Deforestation", Dr. Jean Botev and Adriano Viegas Milani received the best demo/poster award at …

Three conferences: CLAR2020 (Conference on Logic and Argumentation), AWPL2020 (Asian Workshop on Philisophical Logic) and GCAI2020 (Global Conference on Artificial Intelligence) will take place online on 26 October, 30 October …

Postdoctoral researcher Jorge Toro-Pozo was awarded with the ERCIM STM PhD thesis award for the excellent scientific quality of his thesis "Computational and Symbolic Analysis of Distance-Bounding Protocols". The ceremony …

The AI&Art Pavilion for Esch2022 was officially launched during the kick-off meeting which took place on 25 September 2020 in Belval. After a welcome speech by rector Stéphane Pallage and …

Formal argumentation is an area of symbolic reasoning which mimics the way people argue with each other, providing arguments to back their claims and counter-arguments to attack opposing claims. These …

For many people, mobile apps have already become an indispensable part of modern life. Apps entertain, educate, assist us in our daily routines and help us connect with others. However, …

Direct cell reprogramming has been garnering attention for its therapeutic potential for treating the most devastating diseases characterised by defective cells or a deficiency of certain cells. It is capable …

Cryptographic schemes are constructed on top of problems that are believed to be hard. In particular, recent advanced schemes, as homomorphic primitives and obfuscators, use the approximate greatest common divisor …