SAT 2015: Early Registration Ends Soon! Student Grants Available!

The International Conference on Theory and Applications of Satisfiability Testing, SAT 2015 will take place in Austin, Texas, USA, September 24-27, 2015.

REGISTRATION

Early registration for both the conference and workshops is available through August 23rd, 2015.

The reserved hotel blocks are also filling up fast. Book your room soon to ensure availability!

Conference page: http://www.cs.utexas.edu/~marijn/sat15/index.html Registration: http://www.regonline.com/sat15 Lodging: http://www.cs.utexas.edu/~marijn/sat15/#venue

STUDENT GRANTS

A limited number of student travel support grants of up to 600 Euro per person are available from the SAT Association. Applicants should acquire a letter of support from their advisor and prepare a statement detailing why the travel support is needed. This information should be emailed to the SAT’15 conference chairs at sat2015@easychair.org by August 31st, 2015. Determinations will be made shortly thereafter.

SCHEDULE

The conference schedule is now posted online. It can be found here: http://easychair.org/smart-program/SAT2015/

INVITED TALKS

Dimitris Achlioptas (UC Santa Cruz): Random Formulas are Irrelevant, Right? Anna Slobodova (Centaur Technology): Pragmatic Approach to Formal Verification Aaron Tomb (Galois, Inc.): Applying Satisfiability to the Analysis of Cryptography

COMPETITIVE EVENTS

SAT Race: http://baldur.iti.kit.edu/sat-race-2015/ Max-SAT Evaluation: http://maxsat.ia.udl.cat/ Pseudo-Boolean Evaluation: http://pbeva.computational-logic.org/

TUTORIALS

Isil Dillig, The University of Texas at Austin, United States Priyank Kalla, University of Utah, United States Andre Platzer, Carnegie Mellon University, United States Roderick Bloem, Graz University of Technology, Austria

WORKSHOPS

Pragmatics of Satisfiability: http://www.pragmaticsofsat.org/2015/ Workshop on Quantified Boolean Formulas: http://fmv.jku.at/qbf15/

IMPORTANT EVENT DATES

SAT Workshops: September 23, 2015 SAT Regular Program: September 24-26, 2015 SAT Tutorial Day: September 27, 2015 (joint with DIFTS and FMCAD)

CO-LOCATED EVENTS

MEMOCODE conference: September 21-23, 2015 FMCAD conference: September 27-30, 2015 DIFTS workshop: September 26-27, 2015 ACL2 workshop: October 01-02, 2015

CONFERENCE SCOPE

The SAT conference is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization (including MaxSAT and Pseudo-Boolean (PB) constraints), Quantified Boolean Formulas (QBF), Satisfiability Modulo Theories (SMT), and Constraint Programming (CP) for problems with clear connections to Boolean-level reasoning.

Many hard combinatorial problems can be tackled using SAT-based techniques, including problems that arise in Formal Verification, Artificial Intelligence, Operations Research, Computational Biology, Cryptology, Data Mining, Machine Learning, Mathematics, et cetera. Indeed, the theoretical and practical advances in SAT research over the past twenty years have contributed to making SAT technology an indispensable tool in a variety of domains.