Blog/All News

Last update

September 24, 2024

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

Dagsthul Seminar
SAT and Interactions

Betwen October 13 and October 18, 2024 I will participate 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 Structure 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

Betwen 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)!