news
Mar 24, 2024
I’ll be at the Proof Complexity and Beyond Oberwolfach workshop.
Feb 12, 2024 Weighted, Circular and Semi-Algebraic Proofs appeared in JAIR.
Oct 15, 2023 I am in the Program Committee of STACS 2024.
Oct 01, 2023 I am a Profesor Lector at UPC.
Jul 01, 2023 Polynomial Calculus for MaxSAT appeared in SAT’23.
Jun 01, 2023 I am in the Organizing and Program Committees of the 2023 Summer School and Workshop on Proof Theory and its Applications.
Feb 12, 2024 Weighted, Circular and Semi-Algebraic Proofs appeared in JAIR.
Oct 15, 2023 I am in the Program Committee of STACS 2024.
Oct 01, 2023 I am a Profesor Lector at UPC.
Jul 01, 2023 Polynomial Calculus for MaxSAT appeared in SAT’23.
Jun 01, 2023 I am in the Organizing and Program Committees of the 2023 Summer School and Workshop on Proof Theory and its Applications.