This spring I have been very fortunate to have been invited to give to talks at the various different seminars run by the Simons Institute in California.
The second talk will be on MaxSAT preprocessing on May 5th as a part of the Theoretical Foundation of SAT/SMT solving workshop. More information can be found here. As the talk is online. I invite anyone who is interested to attend. I am sure the talks will be interesting, personally I am looking forward to hearing about SAT and QBF preprocessing form Benjamin and Martina.
I would like to thank the organisers of the various seminars of the Simons Institute for considering me as a speaker in their events.