Travels to Copenhagen & Uppsala
For the last two weeks, I have been traveling. First, I went to the second-ever WHOOPS seminar with my stundent Hannes to hear about the latest developments in pseudo-Boolean proof-logging and discuss our work on unifying Oracle-based constraint optimization methods. The week after, I participated in the CPAIOR 2024 conference, where my student Christoph presented our work on multi-objective core boosting.
I want to thank the organizers of both events. Looking forward to participating in the upcoming years as well.