Over the years, the ICTAI conference has become a major forum for the CSP and SAT research communities for presenting new high-quality results. The second edition of the special track is intended to further develop the role of ICTAI in this respect.
FLoC has some additional funds to provide travel grants of up to $750 for student attendees of FLoC’14. Funds can be requested to cover airfare and lodging (registration fees and meals will not be funded).
Following last year's inaugural Configurable SAT Solver Challenge (CSSC), we will hold CSSC 2014, a competitive event that assesses the peak performance of such parametric solvers (i.e. performance with optimized parameters).
The QBF Gallery 2014 invites submissions of competing QBF solvers (PCNF as well as non-PCNF solvers), related tools like preprocessors as well as novel benchmark instances to challenge current solvers.
Recently, interpolants are increasingly used in automated verification, synthesis, and description logics. The aim of the workshop is to bring together theoreticians and practitioners from these different fields.
The fourth edition follows the schools that took place at MIT (SAT/SMT Solver Summer School 2011), at Fondazione Bruno Kessler (SAT/SMT School 2012) in Trento, Italy, and Aalto University in Espoo, Finland in 2013.