Recent news about SAT subscribe via RSS

• 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.