Recent news about SAT subscribe via RSS

• May 5, 2019  SAT 2019 Call for Participation by Alexey Ignatiev SAT  CFP  Registration 

  22nd International Conference on Theory and Applications of Satisfiability Testing

• May 3, 2019  CP'2019 - Call For Papers by Charlotte Truchet CFP  Deadline 

  The submission deadlines have been extended.

• Apr 25, 2019  CFP - 10th International Pragmatics of SAT Workshop by Daniel Le Berre CFP  Deadline  QBF 

  The deadline for abstract submission has been extended to the paper submission deadline, i.e. April 29

• Apr 24, 2019  CFP - 6th International Workshop on Quantified Boolean Formulas and Beyond by Florian Lonsing CFP  Deadline  QBF 

  The goal of the International Workshop on Quantified Boolean Formulas and Beyond is to bring together researchers working on theoretical and practical aspects of QBF solving and related formalisms involving quantifiers. The workshop addresses theoreticians and practitioners in order to reflect on the-state-of-the-art in research and to consolidate on immediate and long-term challenges.

• Apr 11, 2019  CP'2019 - Call For Papers by Charlotte Truchet CFP 

  The Twenty-Fifth Conference on Principles and Practice of Constraint Programming (CP 2019) will take place in Stamford (CT), USA, September 30 to October 4, 2019. Stamford is one hour away from NYC by train.

• Mar 25, 2019  SAT/SMT/AR Summer School 2019 by Alexey Ignatiev SAT  SMT  AR  Registration 

  The SAT/SMT/AR Summer School aims to bring a select group of students up to speed quickly in this exciting research area. The school continues the successful line of Summer Schools that ran from 2011 to 2015 as SAT/SMT Summer Schools and added AR in 2016.

• Mar 17, 2019  Call for Participation: 2019 SAT Race by Marijn Heule CFP  SAT  Deadline 

  The 2019 SAT Race is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 22th International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the yearly SAT Competitions / Races / Challenges. The deadline for submitting benchmarks and solvers is Monday April 15, 2019 (23:59 GMT -12, anywhere on earth). Visit the SAT Race website at http://sat-race-2019.ciirc.cvut.cz/ for details.

• Mar 16, 2019  Pragmatics of SAT 2015 and 2018 proceedings available by Daniel Le Berre SAT  PBO  QBF 

  The proceedings of the 2015 and 2018 editions of Pragmatics of SAT workshops has just been published in Easychair Proceedings in Computing.

• Mar 14, 2019  VCLA International Student Awards 2019 - Logic and Computer Science - Extended deadline by Mihaela Rozman CFP  Deadline 

  The Vienna Center for Logic and Algorithms (VCLA) at TU Wien seeks nominations for the VCLA International Student Awards 2019. The annually awarded VCLA International Student Awards for Outstanding Master and Undergraduate Research (Bachelor) Theses (or equivalent) recognize authors of scientific works across the wide spectrum of Logic and Computer Science. Extended Submission Deadline: 25.3.2019

• Mar 3, 2019  16th edition of the European Conference on Logics in Artificial Intelligence (JELIA'19) by Francesco Calimeri CFP  Deadline 

  Registration to JELIA 2019 is now open! Deadline for early registration is March 31st, 2019.

• Feb 26, 2019  SAT 2019 Final Call for Papers by Alexey Ignatiev CFP  SAT  Deadline 

  22nd International Conference on Theory and Applications of Satisfiability Testing

• Feb 21, 2019  SAT conference hosting call for proposals by Fahiem Bacchus CFP  SAT  Deadline 

  As we have done in the past we are seeking proposals for hosting and organizing SAT 2020.

• Feb 4, 2019  SAT 2019 Call for Papers by Alexey Ignatiev CFP  SAT  Deadline 

  22nd International Conference on Theory and Applications of Satisfiability Testing

• Feb 2, 2019  CP'2019 - Call For Papers by Charlotte Truchet CFP 

  The Twenty-Fifth Conference on Principles and Practice of Constraint Programming (CP 2019) will take place in Stamford (CT), USA, September 30 to October 4, 2019. Stamford is one hour away from NYC by train.

• Jan 26, 2019  Call for Papers: SC-square Workshop 2019 by Alberto Griggio CFP  Deadline 

  4th International Workshop on Satisfiability Checking and Symbolic Computation, Wed. 10 July 2019, University of Bern, Switzerland.

• Jan 22, 2019  Doctoral Research Position at TU Wien, Vienna, Austria by Stefan Szeider PhD  Position 

  There is an opening for a fully funded research assistant position (PhD student) at the Algorithms and Complexity group at TU Wien, Vienna, Austria.

• Jan 17, 2019  SAT 2019 Call for Workshops by Alexey Ignatiev CFW  SAT  Deadline 

  The SAT'19 conference invite proposals for workshops associated with the main conference program of SAT 2019, which will be held in Lisbon (Portugal) from July 7-12, 2019

• Jan 16, 2019  Postdoctoral and Doctoral Research Positions in Helsinki, Finland by Jussi Rintanen PostDoc  PhD  Position  Deadline 

  Post-doctoral and Ph.D. thesis positions in SAT, constraints, search and applications offered at the CS department of Aalto University in Helsinki, Finland. Apply by February 7, 2019.

• Dec 24, 2018  Postdoc positions in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The TCS Group at KTH Royal Institute of Technology invites applications for postdoc positions in computer science focused on algorithms for solving the Boolean satisfiability problem (SAT) very efficiently for large classes of instances, and on analyzing and understanding such algorithms.

• Dec 19, 2018  CP’2019 - Call for Tracks by Charlotte Truchet CFP  Deadline 

  CP, the international conference on Principles and Practice of Constraint Programming, is welcoming special tracks on topics which may not be present at the conference, yet which may be of interest to the community.