Recent news about SAT subscribe via RSS

• Oct 21, 2018  Two Research Assistant positions in Swansea available soon by Oliver Kullmann Position 

  Based on the grant The next level of SAT solving for very hard problems, soon the details of the two RA positions in Swansea will become available.

• Oct 20, 2018  Third International Competition on Computational Models of Argumentation (ICCMA'19) by Francesco Santini CFP  Deadline 

  Argumentation is a major topic in the study of Artificial Intelligence. In particular, the problem of solving certain reasoning tasks on Dung's abstract argumentation frameworks is central to many advanced argumentation systems. The fact that many of the problems to be solved are intractable requires efficient algorithms and solvers.

• Oct 1, 2018  JELIA 2019 - First CfP - IJCAI + TPLP papers and AWARDS by Francesco Calimeri CFP  Deadline 

  The next JELIA conference is taking place in Rende, ITALY and will feature cooperation with IJCAI and TPLP for best papers. Check the submission deadline !

• Sep 26, 2018  PhD position in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology is looking for a PhD student in SAT solving.

• Sep 11, 2018  Postdoctoral and Doctoral Research Positions in Helsinki, Finland by Jussi Rintanen PostDoc  PhD  Position  Deadline 

  Post-doctoral and Ph.D. thesis positions in SAT, constraints, search and applications offered at the CS department of Aalto University in Helsinki, Finland. Apply by September 29, 2018.

• Sep 2, 2018  Two postdoc positions in SAT/CP/AI available at NUS by Kuldeep S. Meel Position 

  Two post-doctoral research fellow positions in the area of SAT/CP/AI are available at the School of Computing, National University of Singapore, Singapore.

• Aug 30, 2018  Call for papers - JSAT special issue on SAT 2018 competitions and evaluations by Martina Seidl CFP 

  The JSAT journal is hosting a special issue related to the competitive events that took place around the SAT 2018 conference.

• Jul 27, 2018  DATE 2019 Call For Papers Topic D4 Formal Methods and Verification by Armin Biere CFP  Deadline 

  Call for papers for 21st Conference on Design Automation and Test in Europe Topic D4 Formal Methods and Verification.

• Jul 1, 2018  PhD position on `Quantum Annealing for SAT Solving' in Trento by Roberto Sebastiani PhD  Position 

  One PhD Student Position on `Quantum Annealing for SAT Solving' available in Trento (Italy) in collaboration with D-Wave Inc.

• Jun 24, 2018  LPAR'18 Call for papers by Valentin Montmirail CFP  Deadline 

  22nd International Conference on Logic For Programming, Artificial Intelligence and Reasoning.

• Apr 22, 2018  PhD position in SAT solving at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The Theory Group at KTH Royal Institute of Technology is looking for a PhD student in SAT solving.

• Apr 20, 2018  Call for papers RCRA 2018 by Marco Maratea Deadline 

  The RCRA group (Knowledge Representation & Automated Reasoning) of the AI*IA (Italian Association for Artificial Intelligence) organizes the 25th RCRA workshop Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2018) within FLoC 2018.

• Apr 20, 2018  Call for participation MaxSAT evaluation 2018 by Fahiem Bacchus Deadline 

  The MaxSat Evaluation is designed to provide a snapshot of current progress in solving MaxSat by running submitted MaxSat solvers on a heterogenous collection of benchmark instances.

• Apr 20, 2018  Call for proposals SAT 2019 by Fahiem Bacchus Deadline 

  The SAT association is seeking proposals for hosting and organizing SAT’19.

• Apr 9, 2018  Abstract deadline extension for Pragmatics of SAT workshop by Daniel Le Berre CFP  Deadline 

  The deadline for submitting abstracts has been extended to reach the deadline for submitting papers.

• Mar 22, 2018  Deadline extension of the 2018 SAT Competition by Marijn Heule CFP  Deadline 

  ** Submission deadline extended to April 15, 2018 **

• Mar 17, 2018  Sparkle SAT Challenge 2018 -- A new competitive event for SAT solvers by Chuan Luo CFP  Deadline 

  This year, a new Sparkle SAT Challenge 2018 will be organised.

• Mar 9, 2018  CP 2018 - August 37 - 31, 2018 - Lille, France by George Katsirelos CFP  Deadline 

  CP 2018 will take place in Lille, France in late August

• Mar 4, 2018  VCLA International Student Awards 2018 in Memory of Helmut Veith by Mihaela Rozman 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, in the following two categories:

• Feb 16, 2018  FLoC 2018 workshops call for papers opened by Daniel Le Berre CFP  Deadline 

  The call for papers for the 79 workshops organized within the Federated Logic Conference are now available.