Blog/All News

Last update

January 7, 2026

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

BIRS Workshop Theory and Practice of SAT and Combinatorial Solving

workshops

Between January 11 and January 16, 2026 I will be in Banff (CA) participating to the BIRS workshop Theory and Practice of SAT and Combinatorial Solving.

SAT’25

conferences

slides

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)

workshops

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

publications

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

workshops

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

Mathematical Aspects of Learning Theory’24

conferences

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

workshops

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

New article in Artificial Intelligence

publications

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

SAT’24

conferences

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

conferences

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

workshops

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

workshops

slides

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

publications

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