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!!!