Stefan Szeider (@stefanszeider) 's Twitter Profile
Stefan Szeider

@stefanszeider

So long, Twitter. Time to log off for good.
Find me on Bluesky
bsky.app/profile/szeide…

ID: 904084910163537920

linkhttp://www.szeider.net calendar_today02-09-2017 20:53:34

470 Tweet

679 Followers

156 Following

Stefan Szeider (@stefanszeider) 's Twitter Profile Photo

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

Stefan Szeider (@stefanszeider) 's Twitter Profile Photo

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

Stefan Szeider (@stefanszeider) 's Twitter Profile Photo

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

We  have an open position for a 4-year PhD position on Neurosymbolic Algorithmics at our Algorithms and Complexity group at
<a href="/tuvienna/">tuvienna</a>.  The position is within the Cluster of Excellence Bilateral AI.
Find details at ac.tuwien.ac.at/jobs/#neurosymb #PhDposition
Stefan Szeider (@stefanszeider) 's Twitter Profile Photo

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

Great to be back at <a href="/dagstuhl/">Schloss Dagstuhl</a> - New Tools in Parameterized Complexity: Paths, Cuts, and Decompositions. Daniel Marx shows a Map of Parameterized Complexity 😀
Stefan Szeider (@stefanszeider) 's Twitter Profile Photo

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

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