SAT Association http://satassociation.org/ Program Chairs Alexey Ignatiev (Monash University) Stefan Szeider (TU Wien) Local Conference Chair Vasco Manquinho (Instituto Superior Técnico, Universidade de Lisboa) Program Committee (TBA)