From Lorenzo Carlucci

===

I would like to inform the community of a new seminar series of potential interest

I am organizing in Rome with some colleagues. The seminar name is Logic, Complexity, Combinatorics and Computability. It will be in hybrid mode, starting next Monday (website: https://sites.google.com/diag.uniroma1.it/loc3-seminar-sapienza/home-page). Here are the first few meetings:

Monday Nov 14/22 – 11:00 Giuseppe Perelli (Sapienza University)

Title: From Synthesis to Rational Synthesis: a Logic-Based Approach for Multi-Agent Systems Verification

Monday Nov 21/22 – 11:00 Luca San Mauro (Sapienza University)

Title: Learning families of algebraic structures

Monday Dec 5/22 11:00 Toni Huynh (Sapienza University)

Title: Strengthening Convex Relaxations of 0/1-Sets Using Boolean Formulas

Below is the detailed info for the first meeting.

Best!

Lorenzo

LO3C Seminar (Logic, Complexity, Combinatorics and Computability)

University of Rome La Sapienza

Organized by:

Nicola Galesi – (DIAG) Dept. of Computer Science, Control and Management Engineering.

Lorenzo Carlucci and Luca San Mauro- Dept. of Mathematics

Massimo Lauria – Dept. of Statistics

Paul Wollan – Dept. of Computer Science

Where – The seminar is run in a hybrid mode. Local participants will meet in Aula 34 at 4th floor in the Dept. of Statistics in the central Campus. Everyone else is invited to join the the virtual meeting at the link below.

https://meet.google.com/ose-jmqr-wjm?hs=224

Monday Nov 14/22 – Giuseppe Perelli (Sapienza University)

Title: From Synthesis to Rational Synthesis: a Logic-Based Approach for Multi-Agent Systems Verification

Abstract: Synthesis is the problem of programming an intelligent agent and its interaction with the environment in a way that its behaviour is correct by construction, that is, it fulfils a given task no matter how the environment reacts. The solution to this problem can be interpreted as the winning strategy in a suitably defined two-player (formal) game. Rational Synthesis (RS) is a recent evolution of Synthesis, in which the setting is not viewed as an adversarial dispute, but rather as a Multi-Agent System, where each agent has their own specification. In terms of games, RS corresponds to no longer maximizing an individual payoff against all possible environment’s behaviours (two-player zero-sum), but rather synthesising a strategy profile that is in some sort of equilibrium, i.e., prevents agents to improve payoff by deviating from it (multi-player nonzero-sum).

I will give an overview to the Synthesis and Rational Synthesis, presenting recent results and developments, and showing how the logic-based approach comes in very handy for representing and solving these problems. Finally, I will outline some current and future direction I am taking within the field.