Applied logic for… the United Nations


I am proud to announce my logical contribution to the “United Nations Convention against Transnational Organized Crime and the Protocols thereto ” (UNTOC), in particular concerning its Review Mechanism. The Convention represents the only global treaty instrument to fight transnational organized crime, as it counts 190 States parties. An important obligation for the parties to […]

New Paper


A new paper by Giuseppe Primiero and Davide Ceolin (CWI Amsterdam) titled “A Granular Approach to Source Trustworthiness for Negative Trust Assessment” has been published in the Proceedings of the XIII Trust Management Conference. Details here.

Job Opening


POSTDOCTORAL RESEARCHER IN LOGIC Project: FORMAL ARGUMENTATION: A FRAMEWORK FOR RATIONAL REASONING AND LEARNING UNDER UNCERTAINTY IN AIDuration: 2 yearsWe are looking for a very strong and highly motivated postdoctoral researcher in Logic to join Marcello D’Agostino and Hykel Hosni who are the PIs of the project “Logical Foundations and Applications of Depth-Bounded Probability”. This project […]