Blog/All News

Last update

August 19, 2025

Welcome! This page logs my participation to conferences, workshops, but also collects talks and notes from 2024-onward.

SAT’25

The works Redundancy rules for MaxSAT (joint work with Maria Luisa Bonet, Sam Buss and Massimo Lauria), Semi-Algebraic Proof Systems for QBF (joint work with Olaf…

BARCELONA DISCRETE MATHEMATICS MEETING 2025 (BDMM)

The Barcelona Discrete Mathematics Meeting (BDMM) is a new initiative organized by members of seven research groups in Barcelona working in different areas of Discrete…

New article in APAL

The article Strength and limitations of Sherali-Adams and Nullstellensatz proof systems just appeared in the Annals of Pure and Applied Logic (APAL)!

Dagsthul Seminar
SAT and Interactions

Betwen October 13 and October 18, 2024 I was participating to my 6th Dagstuhl seminar, the Dagstuhl Seminar 24421 SAT and Interactions.

Data Structures and Algorithms (EDA) Course

This semester I’m teaching problem classes and labs of Data Structures and Algorithmics.
If you are a student you might want to look at https://ilariobonacina.github.io/EDA/.

Mathematical Aspects of Learning Theory’24

Between September 9 and September 13, 2024 I was attending the conference Mathematical Aspects of Learning Theory - 20 Years Later organized by the Centre de Recerca…

Proof Complexity Workshop

Between September 3 and September 5, 2024 I was in Oxford (UK) attending the workshop Proof Complexity 2024.

New article in Artificial Intelligence

The article Polynomial Calculus for Optimization just appeared in the journal Artificial Intelligence!

SAT’24

Between August 20 and August 24, 2024 I was in Pune (India) presenting the work MaxSAT Resolution with Inclusion Redundancy at SAT 2024.

IJCAI’24

Betwen August 3 and August 9, 2024 I was in Jeju (Korea) attending IJCAI 2024. On August 8, I presented the work Weighted, circular and semi-algebraic proofs in the journal…

RaTLoCC’24

Betwen June 14 and June 18, 2024 I was in Pisa (Italy) attending the workshop RaTLoCC 2024 (Ramsey Theory in Logic, Combinatorics and Complexity).

Oberwolfach workshop
Proof Complexity and Beyond

Betwen March 24 and March 29, 2024 I was participating to my second Oberwolfach workshop, the Oberwolfach workshop 2413 Proof Complexity and Beyond.

New article in JAIR

The article Weighted, Circular and Semi-Algebraic Proofs just appeared in the Journal of Artificial Intelligence Research (JAIR)!