17th Conference on Computational Complexity. Co-located with STOC'02. Montréal, Québec, Canada; 21--24 May 2002.

18th IEEE Conference on Computational Complexity. BRICS, University of Aarhus, Denmark; 7--10 July 2003.

19th IEEE Conference on Computational Complexity. Amherst, MA, USA; 21--24 June 2004.

Schloss Dagstuhl, Wadern, Germany; 27 April -- 2 May 2003.

DIMACS special year. Rutgers, NJ, USA; 1999-2001.

DIMACS Workshop, Princeton, NJ, USA; 23-24 February 2000.

Wilhelm-Schickard-Institut, University of Tübingen, Germany; 8--9 April 2002.

The Seventh International Conference on Theory and Applications of Satisfiability Testing. Vancouver, BC, Canada; 10--13 May 2004.

Workshop On The Satisfiability Problem. Siena, Italy; 29 April -- 3 May 1996.