Recent news about SAT subscribe via RSS

 

  • Jun 13, 2019  CFP - The 8th International Workshop on Numerical and Symbolic Abstract Domains by Charlotte Truchet CFP  Deadline 

    Abstract domains are a key notion in Abstract Interpretation theory and practice. They embed the semantic choices, data-structures and algorithmic aspects, and implementation decisions. The Abstract Interpretation framework provides constructive and systematic formal methods to design, compose, compare, study, prove, and apply abstract domains. This year's edition will be more open to work in progress, and contributions coming from other close communities such as constraint solving, compilation, worst-case execution time communities, will be welcome.
  • May 28, 2019  Doctoral position on SAT-Based Local Improvement for Graph Width Parameters by Stefan Szeider Position  Deadline  PhD 

    There is an opening for a fully funded doctoral position at the Algorithms and Complexity group at TU Wien, Vienna, Austria. The position is within the FWF-funded research project P32441 on SAT-Based Local Improvement for Graph Width Parameters.

  • May 28, 2019  Call for Participation: MAXSAT Evaluation 2019 by Ruben Martins CFP  MAXSAT  Deadline 

    The MaxSAT Evaluation 2019 is coming up soon! We have extended the deadline for submitting benchmarks and solvers for the MaxSAT Evaluation 2019 to Friday, June 7, 2019.

  • May 17, 2019  Several PhD and Postdoc positions in Formal Methods and Web Security at TU Wien funded by ERC Consolidator Grant by Mihaela Rozman Position  Deadline 

    The Security & Privacy group at TU Wien is currently looking for several outstanding Ph.D. and postdoc candidates to conduct research within the ERC Consolidator Project “Foundations and Tools for Client-Side Web Security”. The project will develop a holistic approach to client-side web security, laying its theoretical foundations and developing innovative security enforcement technologies. The project is a multidisciplinary research effort, promising practical impact and delivering breakthrough advancements in various disciplines, such as web security, JavaScript semantics, software engineering, and program verification.

  • May 17, 2019  CFP (deadline extension) - 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.
  • May 16, 2019  SAT/SMT/AR summer school by Antonio Morgado SAT  Deadline 

    The SAT/SMT/AR summer school will precede SAT 2019 and SMT 2019 taking place on July 3-6, 2019 at the Instituto Superior Técnico (IST/UL), University of Lisbon, Portugal. The summer school registration is free of charge to make it accessible for participants to attend. The registration deadline is May, 31st. The program, registration, and all the information can be found in the website of the summer school.

  • May 16, 2019  Pragmatics of SAT invited talk annonced by Daniel Le Berre SAT 

    The invited talk for the decade edition of Pragmatics of SAT is Joao Marques Silva. His talk is titled SAT: Disruption, Demise and Resurgence.

  • May 10, 2019  EXTENDED DEADLINE SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019) by Mihaela Rozman CFP  Deadline 

    It is our pleasure to announce an extended deadline for the SIGLOG/VCLA Travel Awards for attendees of Women in Logic Workshop 2019 (WiL) associated with the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019.

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

Our scientific association

The SAT association

Our annual conference

Our journal

Journal on Satisfiability, Boolean Modeling and Computation

Upcoming deadlines

June 18, 2019
FWF PhD
July 4, 2019
NSAD'19
November 30, 2019
Helmut Veith Stipend

SAT related books