Call for Papers

The First International Workshop on Logics for New-Generation Artificial Intelligence

ZJULogAI summit

ZLAIRE will organize together the Zhejiang Logic for AI

AI Teaching Meeting at ZJU

The AI Teaching Meeting was taken place at the Yuquan Campus

Workshop on Applied Logic

The "3rd Chinese-Polish Workshop on Applied Logic — Reasoning about

Leo-III won the LTB division

The Leo-III prover, developed by Alexander Steen, postdoc at the University of

Workshop at LCFI

The workshop Cross-Cultural Trust for Beneficial AI has been taken

Meeting with F. Bausch

Leon van der Torre has met François Bausch, Luxembourgish Ministry

CSC research unit

The Computer Science and Communications (CSC) unit of the University

Launching ZLAIRE!

The outcome of a successful story! Leon van der Torre and