Recent news about SAT subscribe via RSS

• Jan 21, 2021  Simons institute Satisfiability: Theory, Practice, and Beyond Boot Camp by Jakob Nordström Course 

  The Simons Institute Satisfiability: Theory, Practice, and Beyond Boot Camp will take place from Feb 1 to Feb 5, 2021, virtually.

• Jan 13, 2021  SMT 2021 Call for Papers by Alexander Nadel CFP  SMT  Deadline 

  The annual international workshop on Satisfiability Modulo Theories will be held in Los Angeles, United States, from July 16-25, 2021.

• Jan 12, 2021  SAT 2021 Call for Papers by Jesús Giráldez-Cru CFP  SAT  Deadline 

  The annual international SAT conference will be held in Barcelona, Spain, from July 5-9, 2021.

• Dec 12, 2020  Postdoctoral position in combinatorial optimization (including SAT solving and constraint programming) at University of Copenhagen by Jakob Nordström PostDoc  Position  Deadline 

  The Department of Computer Science (DIKU) at the University of Copenhagen invites applications for postdoctoral positions in combinatorial optimization.

• Nov 22, 2020  SAT+SMT indian school 2020 is fully online by Daniel Le Berre SAT  SMT  Deadline 

  The SAT+SMT school is organized each year in an indian city in December since 2016. This year, due to COVID, the school will be fully online. As such, everybody is welcome to attend the school.

• Nov 21, 2020  Tenure Track Assistant Professors in Computer Science at Aalto University, Helsinki, 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. The CS Department is very well funded, availability of research funding in Finland in general is very good, and the positions come with a generous start-up package that funds a new research group for a number of years. Quality of life in Helsinki is internationally very competitive on multiple scales, and Finland is globally known as one of the progressive and technologically advanced Nordic societies.

• Aug 25, 2020  Keller's conjecture for dimension 7 solved using SAT by Daniel Le Berre SAT 

  The Keller’s conjecture is a 90 years old conjecture by Ott-Heinrich Keller that in any tiling of Euclidean space by identical hypercubes there are two cubes that meet face to face. The conjecture was know to be true up to dimension 6, and false in dimensions higher than 7. The conjecture was open for dimension 7.

• Aug 24, 2020  Awardees of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science - 2020 by Mihaela Rozman CFP 

  The Vienna Center for Logic and Algorithms of TU Wien (VCLA) has the pleasure to announce the recipients of the VCLA International Student Awards for Outstanding Master and Undergraduate Theses in Logic and Computer Science.

• Aug 24, 2020  Postdoc In Sample Complexity (Or Machine Learning) In Vienna (TU Wien), Austria by Mihaela Rozman Position  Deadline 

  Do you hold a PhD in Computer Science or Mathematics, or have the expectation to receive one within the next 12 months?

• Aug 24, 2020  Phd Position In Parameterized Complexity In Vienna (TU Wien), Austria by Mihaela Rozman Position  Deadline 

  The position is part of the prestigious START project “Parameterized Analysis in Artificial Intelligence” of the Austrian Science Fund (FWF), supervised by Robert Ganian (principal investigator).

• Jun 16, 2020  PhD position focused on SAT solving and combinatorial optimization at Lund University by Jakob Nordström PhD  Position  Deadline 

  The Department of Computer Science at Lund University invites applications for a PhD position focused on SAT solving and combinatorial optimization.

• Jun 16, 2020  Doctoral and Postdoctoral Openings Representation Learning for Planning by Hector Geffner and Blai Bonet PhD  Position  Deadline 

  We have several funded slots for doctoral students and postdoctoral researchers at the AI and ML group at the Universitat Pompeu Fabra, Barcelona, Spain to carry out research on Representation Learning for Planning.

• May 26, 2020  PhD Position in QBF Solving at TU Wien by Friedrich Slivovsky PhD  Position  QBF  Deadline 

  The Algorithms & Complexity group at TU Wien is looking for a PhD student in QBF solving.

• May 13, 2020  32th IEEE International Conference on Tools with Artificial Intelligence by Jean-Marie Lagniez CFP  Deadline 

  The next ICTAI conference is taking place virtually. Check the submission deadline now!

• May 12, 2020  Several Open PhD Positions in the doctoral program on Logical Methods in Computer Science (LogiCS) in Austria by Mihaela Rozman Position  Deadline 

  TU Wien (Vienna University of Technology), TU Graz (Graz University of Technology), and JKU Linz (Johannes Kepler University), are seeking highly qualified candidates for the joint doctoral program on Logical Methods in Computer Science (LogiCS), funded by the Austrian Science Fund (FWF).

• May 7, 2020  CFP - 11th International Pragmatics of SAT Workshop by Daniel Le Berre CFP  Deadline 

  The deadline for abstract submission has been extended to the paper submission deadline, i.e. May 22. Please submit your abstract ASAP.

• Feb 28, 2020  Call for Participation: the 2020 SAT Competition by Marijn Heule CFP  Deadline 

  The 2020 SAT Competition is a competitive event for solvers of the Boolean Satisfiability (SAT) problem. It is organized as a satellite event to the 23th International Conference on Theory and Applications of Satisfiability Testing and stands in the tradition of the yearly SAT Competitions, Races, and Challenges.

• Feb 28, 2020  Call for Participation: Competitive Evaluation of QBF Solvers by Martina Seidl CFP  Deadline 

  QBFEVAL'20 is the 2020 competitive evaluation of QBF solvers, and the fifteenth event aimed to assess the performance of QBF solvers. QBFEVAL'20 awards solvers that stand out as being particularly effective on specific categories of QBF instances. We warmly encourage developers of QBF solvers to submit their work, even at early stages of development, as long as it fulfills some very simple requirements. We also welcome the submission of QBF formulas to be used for the evaluation.

• Feb 28, 2020  Call for Participation: 1st International Competition on Model Counting (MC 2020) by Daniel Le Berre CFP  Deadline 

  The 1st International Competition on Model Counting (MC 2020) is a competition to deepen the relationship between latest theoretical and practical development on the various model counting problems and their practical applications. It targets the problem of counting the number of models of a Boolean formula.

• Feb 17, 2020  SIGLOG, VCLA and ILLC Travel Awards for WiL 2020 (Women in Logic Workshop) by Mihaela Rozman CFP  Deadline 

  Thanks to the generous support of SIGLOG, the Vienna Center for Logic and Algorithms (VCLA) and the Institute of Logic, Language and Computation of the University of Amsterdam (ILLC), applications for awards are invited to facilitate students and postdocs, who are authors of accepted papers to register and travel to the WiL 2020.