Categories
Senza categoria

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 the Convention is the participation in a peer review mechanism, through which States review each other, on how they implemented the measures requested by the Convention (or its Protocols).

This means that, according to the relevant resolution, each State party should be assigned some reviewers in a random fashion,  subject to  a series of constraints, such as, for instance:

“ (a) States shall not undertake mutual reviews;

(b) For each instrument, a State party under review shall not be reviewed by States which are not parties to the same instrument; in the case that a drawn reviewing State is not party to all the instruments to which the State under review is party, an additional drawing of lots shall be carried out so as to select an additional reviewing State only for those instruments;

(c) The total number of reviewing States for all instruments shall not exceed four unless the State under review decides otherwise…. ”

I was involved at this point, in devising a fair, random procedure for the assignment of reviewers, complying with all the relevant constraints.

After realizing that, due to the intricacies of the requirements, a standard physical procedure, consisting in drawing of lots, would have requested a forbidding amount of time for preparation and material execution, we opted for an automated procedure.

In this task, logic played an essential part. I encoded the legal constraints  into a logical language, and  developed a program, based on the Answer Set Programming paradigm, to find optimal random solutions for the problem at hand.
The program was accepted by the State parties, and is finally to be used on November 23rd, in a plenary meeting with the delegates of all the States for the official assignment of reviewers.

Categories
Senza categoria

SEMINARS ON 12/03 AND 19/03 CANCELED

Unfortunately, due to the precautionary measures for the Coronavirus outbreak, we have to cancel yet two seminars in our series: the one scheduled for 12/03, to be held by Pere Pardo (Unimi) and the one scheduled for 19/03, to be held by Anthia Solaki (University of Amsterdam).

We will do our best to have all the canceled seminars rescheduled at a later time this year.

Categories
Senza categoria

Seminar 27/02 CANCELED

Unfortunately, the first seminar of our series, by prof. Ofer Arieli, scheduled on February, 27th has to be canceled.

Next week, all didactic activities and seminars at the University of Milan are suspended, due to precautionary measures.

Categories
Senza categoria

Workshop on Logical Consequence: Calculi and semantics

The event will take place on December 3rd in Aula 113. For more details, see here.

Categories
Senza categoria

2nd Workshop on Logic and Information

The event will take place on November 28 in Aula Paci. For more details, see here.

Categories
Senza categoria

New Paper

Giuseppe Primiero has published a paper on logics for design in the  Journal of Logic and Computation, exz014, https://doi.org/10.1093/logcom/exz014

Categories
Senza categoria

Logic Seminar Talk

Jacopo Tagliabue (COVEO) gave a talk on 5th November on

”A Rose by any other Name”.
Exploiting Knowledge Graphs for Lexical Learning in
Information Retrieval

Categories
Senza categoria

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.

Categories
eventi Senza categoria

Logic Seminar Series 2019-2020

The Logic Seminar Series at the Department of Philosophy of the University of Milan starts soon again for the 2019-2020 edition!
First talk on November 5th.
For all updates, see our Events page.

Categories
Senza categoria

Job Opening

POSTDOCTORAL RESEARCHER IN LOGIC

ProjectFORMAL ARGUMENTATION: A FRAMEWORK FOR RATIONAL REASONING AND LEARNING UNDER UNCERTAINTY IN AI
Duration: 2 years
We 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 is part of a 5 years “Excellence Scheme” which has been awarded in 2017 to The Department of Philosophy at the University of Milan “La Statale” in recognition of its leading role in research and innovative teaching.
For more information, see here.