Recent news about SAT subscribe via RSS

• Oct 29, 2021  PhD positions in TCS and combinatorial optimization (deadline November 28) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for PhD positions in theoretical computer science and combinatorial optimization.

• Oct 25, 2021  Formal Method full professorship position @ JKU Linz by Martina Seidl Position  Deadline 

  The Johannes Kepler University Linz has an opening for a full professorship in Formal Methods.

• Oct 11, 2021  Two PhD Positions on Innovative Applications of SAT Techniques (Stefan Szeider, TU Wien, Vienna, Austria) by Stefan Szeider Position  PhD 

  There is an opening for two PhD positions on innovative applications of SAT techniques (that includes, SAT, MaxSAT, (D)QBF, and related techniques), with theoretical and experimental objectives.

• Oct 11, 2021  20 PhD Positions in Computer Science at TU Wien, Vienna, Austria by Stefan Szeider PhD  Position 

  The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme LogiCS@TUWien co-funded by the European Commission, will offer 20 full-time PhD positions.

• Oct 10, 2021  SAT 2022 Call for Papers by Kuldeep S. Meel CFP  SAT  Deadline 

  The International Conference on Theory and Applications of Satisfiability Testing (SAT) is the premier annual meeting for researchers focusing on the theory and applications of the propositional satisfiability problem, broadly construed. In 2022, it is organized within FLoC in Haifa, Israel.

• Oct 4, 2021  Assistant Professor in Model-Based AI at ILLC in Amsterdam by Ulle Endriss Position  Deadline 

  We have a vacancy for an Assistant Professor in Model-Based AI at the Institute for Logic, Language and Computation (ILLC) in Amsterdam, with SAT being one of the relevant topics of expertise.

• Aug 17, 2021  PhD positions in theoretical computer science and/or combinatorial optimization by Jakob Nordström PhD  Position  Deadline 

  The CS department at Lund University invites applications for PhD positions in theoretical computer science and/or combinatorial optimization.

• Aug 10, 2021  SAT'22 Call for Workshops by Alexander Nadel CFP  Deadline 

  We invite proposals for workshops affiliated with SAT. The purpose of the workshops is to provide an informal venue in which participants can explore specific research areas in-depth.

• Aug 2, 2021  Pre-Call for 20 PhD Positions in Computer Science at TU Wien, Vienna, Austria by Stefan Szeider PhD  Position 

  The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme LogiCS@TUWien co-funded by the European Commission, will offer 20 full-time PhD positions.

• Jun 13, 2021  SAT 2021 Registration open by Felip Mania SAT 

  The annual international SAT conference registration is now open. The conference (July 7-9) will follow a hybrid format, with in-person and virtual participation options, while the affiliated workshops will be held virtually (July 5-6).

• May 29, 2021  Grant: Helmut Veith Stipend for Female Master’s Students in Computer Science by Alexandra Traxier CFP  Deadline 

  The VCLA invites applications for the Helmut Veith Stipend from motivated and outstanding female master's students who plan to pursue one of the programs in Computer Science at TU Wien taught in English in one of the following semesters: winter semester 2021/2022, summer semester 2022.

• May 15, 2021  CP'2021 - Call For Papers by Véronique Rousseau CFP  Deadline 

  All deadlines have been shifted by one week.

• May 11, 2021  CP'2021 - Call For Workshop Proposals by Véronique Rousseau CFP  Deadline 

  We invite proposals for workshops preceding the main conference program of CP 2021, which will be held online from October 25th to October 29th, 2021.

• May 10, 2021  CFP - 12th International Pragmatics of SAT Workshop by Daniel Le Berre CFP  Deadline 

  The submission deadlines and the author notification date have been shifted by a week.

• May 8, 2021  Call for Participation: the 2021 MAXSAT Evaluation by Daniel Le Berre CFP  Deadline 

  The 2021 MaxSAT Evaluation (MSE 2021) is the 15th edition of MaxSAT evaluations, the primary competition-style event focusing on the evaluation of MaxSAT solvers organized yearly since 2006.

• May 8, 2021  CP'2021 - Call For Tutorial Proposals by Véronique Rousseau CFP  Deadline 

  Due to the COVID-19 pandemic, the 27th Conference on Principles and Practice of Constraint Programming will be transformed into a fully virtual event.

• May 7, 2021  CFP - 8th 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 27, 2021  A Satisfying Result (CACM article by Don Monroe) by Daniel Le Berre SAT 

  A CACM article presents the resolution of the Keller Conjecture for dimension 7 using SAT technology.

• Apr 1, 2021  CP'2021 - Call For Papers by Véronique Rousseau CFP 

  Due to the COVID-19 pandemic, the 27th Conference on Principles and Practice of Constraint Programming will be transformed into a fully virtual event.

• Mar 29, 2021  CALL FOR NOMINATIONS: VCLA International Student Awards 2021 FOR Outstanding Master and Bachelor Theses conferred between 15.11.2019 and 31.12.2020 (inclusive) by Alexandra Traxier CFP  Deadline 

  The Vienna Center for Logic and Algorithms of TU Wien (Vienna University of Technology), calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science.