Recent news about SAT subscribe via RSS

• Jan 27, 2015  Postdoc position (SAT, constraints, optimization) by Matti Jarvisalo PostDoc  Position 

  The Constraint Reasoning and Optimization group, led by Dr. Matti Jarvisalo at the University of Helsinki, Finland, is looking for one or more talented and highly motivated postdoctoral researchers to work with us.

• Jan 12, 2015  SAT2015 second call for workshops by Sean Weaver CFP 

  Workshop proposals for the SAT conference is open now. Check out the details ...

• Jan 9, 2015  PhD position - Parallel SAT Solving by Norbert Manthey PhD  Position 

  TU Dresden offers a PhD position within on parallel SAT solving, which offers both theoretical and applied research.

• Jan 3, 2015  13th Int. Conf. on Logic Programming and Non-monotonic Reasoning by Francesco Calimeri CFP 

  LPNMR 2015 associated events are now announced.

• Dec 20, 2014  PhD position in QBF solving at Vienna University of Technology, Austria by Stefan Szeider Position  PhD  QBF 

  There is an opening for a funded PhD position in Quantified Boolean Formula (QBF) solving at the Vienna University of Technology, Vienna, Austria.

• Dec 4, 2014  13th Int. Conf. on Logic Programming and Non-monotonic Reasoning by Francesco Calimeri CFP 

  LPNMR 2015 will be collocated with the 4th Conference on Algorithmic Decision Theory 2015.

• Nov 8, 2014  SAT2015 First call for workshops by Sean Weaver CFP 

  Workshop proposals for the SAT conference is open now. Check out the details ...

• Nov 8, 2014  JSAT Special Issue on SAT 2014 COMPETITIONS AND EVALUATIONS by Marijn Heule CFP 

  A special issue for the participants of SAT 2014 competitive events.

• Nov 8, 2014  31st International Conference on Logic Programming by Michael Fink CFP 

  ICLP 2015 will be co-located with CP 2015 during The Year of George Boole.

• Oct 9, 2014  VCLA International Student Awards by Stefan Szeider Awards 

  The Vienna Center for Logic and Algorithms calls for the nomination of authors of outstanding scientific works in the field of Logic and Computer Science.

• Oct 9, 2014  18th Int. Conf. on Theory and Applications of Satisfiability Testing by Sean Weaver CFP 

  The next SAT conference is taking place in Austin. Check the submission deadline now!

• Jun 20, 2014  PostDoctoral position proposal in Propositional Satisfiability by Lakhdar Saïs Position  PostDoc 

  Algorithms for Inference and Constraints group (CRIL, CNRS UMR 8188), at Lens (France), is offering a postDoctoral position.

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