Impressive venue for CP2025 2024 in Girona, kicked off by Ian Gent on Solving Patience and Solitaire Games with Good Old Fashioned AI.

and CPAIOR 2025 will be in Melbourne, November 9-14

Read our paper here doi.org/10.4230/LIPIcs…

Read the paper at doi.org/10.4230/LIPIcs… Rainbow cycle numbers are related to Envy-freeness up to any good (EFX), a prominent notion in #ComSoc

We have an open position for a 2-year postdoc on SAT solving at our Algorithms and Complexity group at tuvienna. Find details at ac.tuwien.ac.at/jobs/#postdocs… #Postdocs

We have an open position for a 4-year PhD position on Neurosymbolic Algorithmics at our Algorithms and Complexity group at tuvienna. The position is within the Cluster of Excellence Bilateral AI. Find details at ac.tuwien.ac.at/jobs/#neurosymb #PhDposition

Traditional Autumn Hike of the Algorithms and Complexity group TU Wien trough the wine yards with great weather and good mood 😎

Great to be back at Schloss Dagstuhl - New Tools in Parameterized Complexity: Paths, Cuts, and Decompositions. Daniel Marx shows a Map of Parameterized Complexity 😀

I‘m looking forward to speaking today at the Seventh Creative Mathematical Sciences Communication conference in Trier on Large and Parallel Human Sorting Networks. Paper link doi.org/10.1007/978-3-… Photo with co-chair Henning Fernau

Exhibit at the Seventh Creative Mathematical Sciences Communication conference in Trier.

KR 2024 in Hanoi opens with a keynote by Subbarao Kambhampati: Can LLMs Really Reason & Plan? KR

Logic-based Explainability of ML Models ist the topic of Nina Narodytska‘s keynote at KR 2024 in Hanoi. KR

Wow, apparently IJCAIconf 2025 submissions get a desk reject because of missing line numbers 😅