Recent news about SAT subscribe via RSS

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

• Feb 1, 2018  16 PhD Positions in Austria - Logical Methods in Computer Science by Stefan Szeider PhD  Position 

  Three Austrian universities TU Wien, TU Graz, and JKU Linz are seeking exceptionally talented and motivated students for their joint doctoral program on Logical Methods in Computer Science (LogiCS). LogiCS has been established in 2014 and currently includes 44 students.

• Dec 23, 2017  Postdoc and PhD positions 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 postdocs and PhD students in SAT solving.

• Dec 13, 2017  SAT 2018 - July 9 - 12, 2018 - Oxford, UK by Daniel Le Berre CFP  Deadline 

  The next SAT conference will take place in Oxford, within FLoC'18.

• Sep 18, 2017  IJCAR'18 Call for papers by Valentin Montmirail CFP  Deadline 

  The 9th International Joint Conference on Automated Reasoning, IJCAR 2018 Oxford, UK, July 14-17, 2018.

• Sep 1, 2017  Postdoc 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 postdoc in SAT solving.

• Jul 11, 2017  Special Issue on Algorithm Selection and Configuration in Evolutionary Computation, Evolutionary Computation Journal, MIT Press by Holger H. Hoos CFP  Deadline 

  The goal of this special issue is to provide an account of recent advances in research on algorithm selection and configuration, with a focus on evolutionary computation and related meta-heuristic techniques.

• Jun 20, 2017  CFP ICTAI'17 Special track on SAT and CSP by Jean-Marie Lagniez Deadline  CFP 

  Submission deadline is June 25.

• May 5, 2017  Call for Workshops at the 2018 Federated Logic Conference (FLoC 2018) by Martina Seidl CFP  Deadline 

  The SAT'18 conference invites proposals for workshops affiliated with SAT at FLoC 2018 in Oxford, England, 6-19 July 2018.

• Apr 24, 2017  Final CFP - SAT 2017 - August 28 - September 1, 2017 - Melbourne, Australia by Daniel Le Berre CFP  Deadline 

  Final call for papers. The next SAT conference will take place in Melbourne, right after IJCAI, together with CP and ICLP.