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 …
AI Teaching Meeting at ZJU
The AI Teaching Meeting was taken place at the Yuquan Campus of Zhejiang University on September 12th, 2019. This was the first time for the two sides of ZLAIRE to …