MIREL project

(Image : Some participants of the MIREL project during the 1st term review in March 2017) MIning and REasoning with Legal texts. MIREL is an H2020 project coordinated by the …

To establish ZLAIRE!

(Image : Prof. Leon van der Torre was appointed as guest professor of Zhejiang University. Read more at this link.) The outcome of a successful story! Leon van der Torre and …

Logic, Cognition and AI

(Image : kick-off workshop of “Logic, Cognition and Artificial Intelligence Research Group”) The “Logic, Cognition and Artificial Intelligence Research Group” at Zhejiang University is financially supported by the Convergence Research Project …

Joint research with LCFI

The “Research on Fundamental Theories and Mehtods for AIs, Robots and Reasoning” (since 2019) is a joint project between the Logic, Cognition and Artificial Intelligence Research Group at Zhejiang University …

CSC research unit

(Image : Researchers of the AI RoboLab and the QTrobot) The Computer Science and Communications (CSC) unit of the University of Luxembourg conduct fundamental and applied research in the area of computer, communication …

Meeting with F. Bausch

Leon van der Torre has met François Bausch, Luxembourgish Ministry of Defense as well as the Mobility and public works, together with Toby Walsh, professor in Artificial Intelligence from the MIREL partner Data61, and …

Workshop at LCFI

The workshop Cross-Cultural Trust for Beneficial AI has been taken place at the Leverhulme Centre for the Future of Intelligence (LCFI) at the University of Cambridge in July 2019. The workshop is part of …

Leo-III won the LTB division

The Leo-III prover, developed by Alexander Steen, postdoc at the University of Luxembourg, won the LTB division of the CASC theorem prover world championships! The event took place at the International Conference on …

Workshop on Applied Logic

The “3rd Chinese-Polish Workshop on Applied Logic — Reasoning about Social Phenomena” on September 7-8th, 2019. The following invited speakers had a presentation in the workshop: Jiahong Guo (Beijing Normal …