About the Workshop
ParamSAT is a workshop covering recent as well as classical developments at the intersection of SAT solving, Parameterized Complexity, and related topics that lie at the interface of Theoretical Computer Science and Artificial Intelligence (understood in a broad sense).
The workshop will celebrate the 60th birthday of Stefan Szeider, and will have a special focus on his many contributions to the fields mentioned above.
ParamSAT will take place in Vienna, Austria on February 11 & 12, 2027.
Celebrating
Stefan Szeider
Stefan Szeider is a leading researcher in parameterized complexity, satisfiability solving, and structural graph theory. ParamSAT is held in honour of his 60th birthday and celebrates his many contributions to theoretical computer science and artificial intelligence.
Organisation
Sponsors & Partners