About ParamSAT

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 in February, 11 & 12, 2027. Participation is by invitation only.

Organization: Robert Ganian, Marlene Gründel, Friedrich Slivovsky; Contact: paramsat@ac.tuwien.ac.at