Recent news about SAT subscribe via RSS


  • Jun 9, 2014  CFP ModRef 2014 by Carlos Ansotegui CFP 

    The 13th International Workshop on Constraint Modelling and Reformulation will take place in Lyon during CP'14.
  • Jun 4, 2014  ICTAI'14 Special Track on SAT and CSP by Bertrand Mazure CFP 

    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.
  • May 29, 2014  FLoC'14 Travel Support by Ines Lynce Grants 

    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).
  • May 23, 2014  Funded Doctoral Positions in Austria (LogiCS) by Stefan Szeider Positions,  PhD 

    TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program LogiCS.
  • May 13, 2014  Bridging the Gap Between Theory and Practice in Constraint Solvers by Philippe Jegou CFP 

    This one-day workshop will be held at CP 2014, the 20th International Conference on Principles and Practice of Constraint Programming.
  • May 9, 2014  Configurable SAT Solver Challenge (CSSC) 2014 by Franck Hutter CFP 

    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).
  • May 8, 2014  Workshop on Logic and Search - LaSh'2014 by Marc Denecker CFP 

    The purpose of the LaSh workshops is to foster scientific exchange on subjects related to languages for representing, and methods for solving, computationally challenging search problems.
  • May 2, 2014  11th Workshop on Boolean Problems by Miroslav Velev CFP 

    Extended Deadline for 11th International Workshop on Boolean Problems (IWSBP’14).
  • 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.

Our scientific association

The SAT association

Upcoming deadlines

January 21, 2018
Postdoc @ KTH
January 29, 2018
Call for papers IJCAR 2018
February 7, 2018
SAT'18 paper submission

SAT related books