Recent news about SAT subscribe via RSS

• Apr 3, 2014  Call for contributions - QBF Gallery 2014 by Martina Seidl CFP 

  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.

• Apr 1, 2014  Sr. R&D Engineer / Software Architect - Formal verification by Atrenta Position 

  Atrenta is hiring a senior engineer with good skills around SAT and SMT. See announce for details.

• Mar 26, 2014  SAT 2014 competition: call for solvers and benchmarks by Marijn Heule CFP 

  SAT Competition 2014 invites submissions of both competing SAT solvers and new competition benchmark instances.

• Mar 24, 2014  7th Workshop on Answer Set Programming and Other Computing Paradigms by Marco Maratea CFP 

  This workshop will facilitate the discussion about crossing the boundaries of current ASP techniques in theory, solving, and applications, in combination with or inspired by other computing paradigms.

• Mar 21, 2014  iPrA 2014 - 2nd workshop on interpolation: from proofs to applications by Georg Weissenbacher CFP 

  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.

• Mar 17, 2014  Call for participation - Fourth SAT/SMT summer school by Georg Weissenbacher CFP 

  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.