Recent news about SAT subscribe via RSS

• May 1, 2023  Modalities in Substructural Logic: Theory, Methods and Applications (MOSAIC 2023) by Josephine Femke Dik CFP  Deadline 

  Modalities in Substructural Logic: Theory, Methods and Applications (MOSAIC 2023) will be held on 27-29 September 2023 in Vienna, (Austria)

• Mar 17, 2023  CFP - QBF Gallery 2023 by Luca Pulina CFP  Deadline  QBF 

  The QBF Gallery 2023 invites submissions of QBF solvers (PCNF as well as non-PCNF and DQBF solvers), related tools like preprocessors as well as novel benchmark instances to challenge current solvers (in particular, the publicly available solvers of the last QBFEval events).

• Mar 16, 2023  CP 2023 Call for Papers by Anna Latour CFP  Deadline 

  Submissions for CP 2023 are now open. Long papers and short papers are due by 27 April 2023 (abstracts due by 2 May 2023). Check out the SAT fast track for papers that have been rejected by SAT (submission deadline 17 May 2023).

• Mar 1, 2023  Call for Participation: the 2023 SAT Competition by Matti Järvisalo CFP  Deadline 

  The SAT competition 2023 welcomes your benchmarks and solvers.

• Mar 1, 2023  CFP - 14th International Pragmatics of SAT Workshop by Daniel Le Berre CFP  Deadline 

  The International Pragmatics of SAT Workshop is organized again this year, as a joint event with SAT'23, with dedicated looking back/forward contributions, post-workshop proceedings and SAT'23 fast track.

• Feb 21, 2023  3-year researcher position on OMT in Trento by Roberto Sebastiani Position 

  URGENT: 3-year researcher position on Optimization Modulo Theories in Trento. PhD and expertise in SMT|SAT|CP|MILP needed

• Feb 20, 2023  VCLA International Student Awards - Call for Nominations by Andrea Hackl CFP  Deadline 

  The Vienna Center for Logic and Algorithms of TU Wien calls for the nomination of authors of outstanding theses and scientific works in the field of Logic and Computer Science, in the two categories outstanding master thesis and outstanding undergraduate thesis. Submission deadline updated to April 11th.

• Jan 20, 2023  SAT 2023 Call for Papers by Friedrich Slivovsky CFP  SAT  Deadline 

  Submissions for SAT 2023 are now open. Submit your latest research on satisfiability (long papers, short papers, tool papers) by March 17th (abstracts due March 10th).

• Jan 7, 2023  Core Challenge 2023 (an International Competition for Combinatorial Reconfiguration) by Takehide Soh CFP  Competition  SAT  Deadline 

  The 2nd Combinatorial Reconfiguration Challenge (CoRe Challenge 2023) is a competition aiming for practically exploring the combinatorial reconfiguration problem.

• Dec 11, 2022  Postdoc positions in combinatorial optimization (deadline January 10, 2023) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for several postdoc positions in theoretical computer science.

• Dec 11, 2022  PhD positions in TCS and/or combinatorial optimization (deadline January 10, 2023) 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/or combinatorial optimization.

• Dec 11, 2022  Call for Verified Proof Checkers by Markus Iser CFP  Deadline 

  The organizers of the SAT Competition are looking for proposals of new proof checkers.

• Dec 10, 2022  Helmut Veith Stipend – Call for Applications – Deadline extended to Jan 16 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 2022/2023, summer semester 2023.

• Dec 10, 2022  Postdoc positions in combinatorial optimization (deadline January 15, 2023) 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.

• Dec 10, 2022  PhD opening in TCS and/or combinatorial optimization (deadline January 12) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.

• Dec 10, 2022  PhD positions around SAT and SMT for formal verification of B models by Daniel Le Berre PhD  Position  Deadline 

  BLaSST is a project funded by ANR, the French research agency. It involves the VeriDis team of Inria in Nancy, the CRIL laboratory of University of Artois in Lens, the CLEARSY company, and the Montefiore Institute of University of Liège in Belgium. BLaSST was selected for funding as project ANR-21-CE25-0010.

• Dec 10, 2022  Assistant Professors in Computer Science 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.

• Aug 18, 2022  PhD opening in TCS and/or combinatorial optimization (deadline September 15) by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science at Lund University invites applications for a PhD position in theoretical computer science and/or combinatorial optimization.

• Jun 24, 2022  Travel Support for SAT conference 2022 for community members impacted by war in Ukraine by Stefan Mengel Deadline 

  The organizers of the SAT conference 2022 and the SAT association would like to support members of the SAT community at large that have been impacted by the ongoing war in Ukraine.

• May 23, 2022  PhD positions around SAT and SMT for formal verification of B models by Daniel Le Berre PhD  Position  Deadline 

  BLaSST is a project funded by ANR, the French research agency. It involves the VeriDis team of Inria in Nancy, the CRIL laboratory of University of Artois in Lens, the CLEARSY company, and the Montefiore Institute of University of Liège in Belgium. BLaSST was selected for funding as project ANR-21-CE25-0010.