The First International Workshop on Logics for New-Generation Artificial Intelligence (LNGAI 2021)

ZLAIRE will organize together the Zhejiang Logic for AI Summit (ZJULogAI), from 6 to 10 of April 2020. The summit is intended to be the second edition of the Luxembourg Logic for AI Summit (LuxLogAI), organized in Luxembourg in September 2018. ZjuLogAI will host together several events grounded on the theme on “Explainable AI and … Continued

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 share their ideas of teaching on AI courses and the future cooperation such as researchers/students exchange. Prof. Huaxin Huang, Prof. Fei Wu, Prof. Yong Liu, … Continued

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 University, China) Ryutaro Ichise (Japanese National Institute of Informatics, Japan) Fenrong Liu (Tinghua University, China) Réka Markovich (University of Luxembourg, Luxembourg) Marek Sergot (Imperial College, … Continued

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 Automated Deduction (CADE). Congrats Alex!!!

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 the joint project “Research on Fundamental Theories and Methods for AIs, Robots and Reasoning“. The workshop has addressed the issue of … Continued

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 the representatives of the “Campaign against killer robots”. The meeting allowed an open exchange of information and views on the issue … Continued

The Computer Science and Communications (CSC) unit of the University of Luxembourg conduct fundamental and applied research in the area of computer, communication and information sciences. It involves about eighty researchers many of which actively work on ZLAIRE topics (AI, Robotics, and Reasoning). It is worth noticing the Interdisciplinary Lab for Intelligent and Adaptive Systems … Continued

The outcome of a successful story! Leon van der Torre and Beishui Liao have launched a China–Luxembourg alliance to make the logic of spoken and written language, in all its uncertainties, understandable to computers. This is ZLAIRE (“Zhejiang University – University of Luxembourg Joint Laboratory on AIs, Robotics and Reasoning”), build on the wake of … Continued