­5. POCOCOP-Meeting in Dresden

Der ERC-Synergy Grant POCOCOP hatte gerade sein 5. reguläres Arbeitstreffen, zum zweiten Mal in Dresden, vom 17. März bis 19. März 2025. Die Projektmitglieder aus Prag, Wien und Dresden trafen sich in diesen Tagen und diskutierten ihre Forschung und Zusammenarbeit. Hinzu kamen weitere Forscher aus Dresden, Prag und Wien, die ebenfalls ähnliche Forschungen betreiben. Neben der gemeinsamen Arbeit bestand das wissenschaftliche Programm aus Vorträgen und Tutorials zu neuen Ergebnissen der Mitglieder. Christoph Spiess und Moritz Schöbi (beide TU Wien) präsentierten eine neue Arbeit, die drei Meta-Fragen zu unendlichen Domänen-CSPs beantwortet, Žaneta Semanišinová und Manuel Bodirsky (beide TU Dresden) stellten ihren Ansatz zur Lösung von datenbanktheoretischen Problemen mittels (bewerteter) CSPs vor. Jakub Rydval (TU Wien) gab ein Tutorial über Guarded Monotone Strict NP, und Libor Barto (CU Prag) präsentierte uns einen Überblick über die wichtigsten CSP-Algorithmen. Das wissenschaftliche Programm wurde von gesellschaftlichen Veranstaltungen umrahmt. Neben gemeinsamen Abendessen gab es einen Besuch in der Semperoper und eine Bouldering Session.