Recent news about SAT subscribe via RSS

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

• Apr 5, 2017  CP'17 call for papers by Yael Ben-Haim CFP  Deadline 

  This year, CP will be co-located with SAT and ICLP. Moreover, CP will hold a thematic track on SAT & CP.

• Apr 3, 2017  JAR Special Issue on Automated Reasoning Systems by Armin Biere CFP  Deadline 

  The past few decades have seen major developments and practical achievements in automated reasoning systems: that special issue is dedicated to those systems in their full variety.

• Mar 1, 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.

• Feb 25, 2017  SAT'17 call for workshop by Stefan Ruemmele CFP  Deadline 

  The SAT'17 conference invite proposals for workshops associated to the main conference program of SAT 2017, which will be held in Melbourne (Australia) from August 28 to September 1, 2017, colocated with CP 2017 and ICLP 2017, and following IJCAI 2017

• Feb 24, 2017  TABLEAUX 2017: 26th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods by Valentin Montmirail CFP  Deadline 

  TABLEAUX is the main international conference at which research on all aspects, theoretical foundations, implementation techniques, systems development and applications, of the mechanization of tableaux-based reasoning and related methods is presented

• Feb 8, 2017  ARCADE: Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements CFP by Dmitriy Traytel CFP  Deadline 

  The main goal of this workshop is to bring together key people from various sub-communities of automated reasoning—such as SAT/SMT, resolution, tableaux, theory-specific calculi (e.g. for description logic, arithmetic, set theory), interactive theorem proving—to discuss the present, past, and future of the field.

• Jan 7, 2017  Associate professorship in computer science (including SAT solving) at KTH Royal Institute of Technology by Jakob Nordström Position  Deadline 

  The School of Computer Science and Communication at KTH Royal Institute of Technology invites applications for a tenured associate professorship in computer science with a broad profile, covering all research areas currently represented at the school (thus including SAT solving).

• Dec 20, 2016  PhD and Postdoc positions in SAT solving at KTH Royal Institute of Technology by Jakob Nordström PhD  PostDoc  Position  Deadline 

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