SAT-related Conferences and Journal Special Issues

• SAT Competition 2002 , organized in conjunction with SAT 2002.
  deadline: March 6, 2002
  

  SAT 2002 , Fifth International Symposium on the Theory and Applications of Satisfiability Testing; May 6-9, 2002, Cincinnati, Ohio, USA.
  

  Microprocessors Test and Verification; January 21-22, 2002, Austin, Texas, USA:
  Special sessions on optimizing SAT procedures for application to testing and formal verification. Deadline for submitting abstracts is October 26, 2001.
  

  SAT 2001: Workshop on Theory and Applications of Satisfiability Testing;
  The workshop is held in association with the IEEE Symposium on Logic in Computer Science 2001 (LICS 2001).
  

  IJCAI-01: Seventeenth International Joint Conference on Artificial Intelligence;
  in particular IJCAI-01 Workshops on Empirical Methods in Artificial Intelligence and Stochastic Search Algorithms.
  

  ECAI-2000: 14th European Conference on Artificial Intelligence
  As usual, the ECAI conference can be expected to have a variety of papers and talks on SAT
  

  AAAI-2000: 17th National Conference on Artificial Intelligence
  As usual, the AAAI conference can be expected to have a variety of papers and talks on SAT
  

  SAT2000: Special Issue of the Journal of Automated Reasoning
  

  SAT2000: Third Workshop on the Satisfiability Problem
  A photograph of the participants can be found here. By clicking on the picture, you get various enlargements; in these magnified parts the names will appear when touching the heads.