17th International Conference on Theory and Applications of Satisfiability Testing

July 14-17, 2014   ·   Vienna, Austria

Invited Speakers

SAT Invited Speakers

  • Leonardo de Moura, Microsoft Research:
    A model-constructing satisfiability calculus
  • Jakob Nordström, KTH Stockholm:
    A (Biased) Proof Complexity Survey for SAT Practitioners

VSL Invited Speakers (jointly with other conferences)

  • Christos Papadimitriou, University of California, Berkeley
  • Dana Scott, Carnegie Mellon University
  • Alex Wilkie, University of Manchester