Loading...
Computers and technology — programming languages, software, hardware, internet services, security, artificial intelligence, and more. Explore thousands of tech resources organized by a knowledgeable community of editors.
56203 resources
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.
DIMACS Workshop, Princeton, NJ, USA; 23-24 February 2000.
DIMACS special year. Rutgers, NJ, USA; 1999-2001.
The Seventh International Conference on Theory and Applications of Satisfiability Testing. Vancouver, BC, Canada; 10--13 May 2004.
Schloss Dagstuhl, Wadern, Germany; 27 April -- 2 May 2003.
ICC conferences and related meetings. Last meeting as a satellite workshop of LICS'07.