5th POCOCOP meeting in Dresden

The ERC-Synergy Grant POCOCOP just had its 5th regular work meeting, for the second time in Dresden, from 17 March to 19 March 2025. The project members from Prague, Vienna, and Dresden met and discussed their research and collaborations during these days. They were joined by additional researchers from Dresden, Prague and Vienna, who are also pursuing similar research. Apart from the collaborative work, the scientific program consisted of talks and tutorials on new results by the members. Christoph Spiess and Moritz Schöbi (both TU Wien) presented a new paper answering three meta-questions about infinite domain CSPs, Žaneta Semanišinová and Manuel Bodirsky (both TU Dresden) presented their approach to solving database-theoretical problems via (valued) CSPs. Jakub Rydval (TU Wien) gave a tutorial on Guarded Monotone Strict NP, and Libor Barto (CU Prague) presented us with an overview of the most important CSP algorithms. The scientific program has been framed by social events. Apart from joint dinners there was a visit to the Semperoper and a bouldering session.