SAT 2010: Affiliated Events

Affiliated with the 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010) are a series of events:

Competitions

• MAX-SAT Evaluation 2010 (organized by Josep Argelich, Chu Min Li, Felip Manyà and Jordi Planes)


• Pseudo-Boolean Competition 2010 (organized by Olivier Roussel and Vasco Manquinho)


• SAT-Race 2010 (organized by Carsten Sinz)

Workshops

July 9:

• Propositional Proof Complexity: Theory and Practice
  (organized by Olga Tveretina and Stefan Dantchev)

July 10:

• Pragmatics of SAT
  (organized by Daniel Le Berre and Allen Van Gelder)


• Workshop on Logics for Component Configuration (Lococo 2010)
  (organized by Inês Lynce and Ralf Treinen)

July 14-15:

• 8th International Workshop on Satisfiability Modulo Theories (SMT 2010)
  (joint workshop with CAV 2010, organized by Aarti Gupta and Daniel Kröning)

July 15:

• Logic and Search (LaSh 2010)
  (organized by David Mitchell and Eugenia Ternovska)