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 track of IJCAI’24.
Warning
Closer to the actual date of the conference I will post here the slides of the presentation.