Web Directory

» CCC 2003
   18th IEEE Conference on Computational Complexity. BRICS, University of Aarhus, Denmark; 7--10 July 2003.
   http://www.brics.dk/Complexity2003/

» CCC 2004
   19th IEEE Conference on Computational Complexity. Amherst, MA, USA; 21--24 June 2004.
   http://www.cs.umass.edu/~barring/ccc2004/

» Centennial Seminar on Kolmogorov Complexity and Applications
   Schloss Dagstuhl, Wadern, Germany; 27 April -- 2 May 2003.
   http://www.dagstuhl.de/programm/kalender/semhp/?semnr=03181

» Computational Intractability
   DIMACS special year. Rutgers, NJ, USA; 1999-2001.
   http://dimacs.rutgers.edu/SpecialYears/1999_2000/

» Faster Exact Solutions for NP-Hard Problems
   DIMACS Workshop, Princeton, NJ, USA; 23-24 February 2000.
   http://dimacs.rutgers.edu/Workshops/Faster/

» Proof, Computation, Complexity
   Wilhelm-Schickard-Institut, University of Tübingen, Germany; 8--9 April 2002.
   http://www-ls.informatik.uni-tuebingen.de/logik/kahle/pcc.html

» SAT 2004
   The Seventh International Conference on Theory and Applications of Satisfiability Testing. Vancouver, BC, Canada; 10--13 May 2004.
   http://www.satisfiability.org/SAT04/

» SAT'96
   Workshop On The Satisfiability Problem. Siena, Italy; 29 April -- 3 May 1996.
   http://www.ece.uc.edu/~franco/Sat-workshop/sat-workshop.html