Recent news about SAT subscribe via RSS

• Dec 20, 2021  Tenure-track assistant professorship in complexity theory (deadline Jan 30) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for a tenure-track assistant professorship in computational complexity theory.

• Dec 7, 2021  Reminder: Two PhD Positions on Innovative Applications of SAT Techniques (Stefan Szeider, TU Wien, Vienna, Austria) by Stefan Szeider Position  PhD  Deadline 

  The deadline for applying to those two SAT related PhD positions is the end of the month (Dec. 30).

• Dec 7, 2021  Reminder: 20 PhD Positions in Computer Science at TU Wien, Vienna, Austria by Stefan Szeider PhD  Position  Deadline 

  The deadline for applying to those 20 full-time PhD positions is the end of this month (Dec. 30).

• Nov 29, 2021  Core Challenge 2022 (an International Competition for Combinatorial Reconfiguration) by Takehide Soh CFP  Competition  SAT  Deadline 

  The 1st Combinatorial Reconfiguration Challenge (CoRe Challenge 2022) is a competition aiming for practically exploring the combinatorial reconfiguration problem.

• Nov 20, 2021  CS Professorships at Aalto University, Finland by Jussi Rintanen Position  Deadline 

  The CS Department of Aalto University calls for applications for tenure-track Assistant Professorship in all areas of Computer Science.

• Oct 29, 2021  Postdoc positions in 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 postdoc positions in combinatorial optimization.

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