Caution: This is an automatically generated list

CS People (click here)

Texts

Search systems

ResearchIndex
MathSciNet Full Search
Conference Proceedings
MOPS -- a search index for complexity papers
BibTeXing project: Index of files in /pub
TeX User Group bibliography archive: directory table
Experimental bibliography parser
MOPS -- Martin's online paper search
CORA Research Paper Search
NCSTRL Home Page
Networked CS Technical Reference Library
xxx Math archive
IM-Net Homepage
Computer Science Bibliography Collection
Theoretical Computer Science on the Web
Mathematics WWW Virtual Library

Preprints

ECCC 2002
BRICS Publications
The Mathematics Preprint Server
Cryptology ePrint Archive: Complete Contents
APES Reports
DIMACS 2002
RUTCOR 2002

Workgroups

Leaf Languages Homepage
Complexity Theory
Algorithms
CIS Publications
MPI Informatik: Algorithms and Complexity Group
Coding Theory Group
Fakultt fr Informatik: Publikationen
IC-Parc Publications
JN's Research Group: Publications
Abstracts of Papers: MPII Saarbruecken

Courses

Streaming Video
Cai: Complexity I
Cai: Complexity II
Physics 229 Course Information
notes
Complexity of Algorithms, contents
6.854J/18.854J Advanced Algorithms
15-852 RANDOMIZED ALGORITHMS
Advanced Topics in Graph Algorithms
http://www-cse.ucsd.edu/users/russell/RANDCLASS/outline.html
Collection of Lecture Notes, Survey Papers, etc
CS683
Lecture-notes: Approximation Algorithms for Network Problems
543 lecture notes 5-22-97
Lecture-notes: Approximation Algorithms for Network Problems
Randomized Methods in Computation (lecture summaries)
Randomized Methods in Computation (Lecture Notes by Oded Goldreich)
CS 170: Efficient Algorithms and Intractable Problems

Particular papers/books

Book: The Complexity Theory Companion

Collections

http://cs-tr.cs.cornell.edu/Dienst/UI/2.0/Query?author=Chari+Suresh
Biane -- Quantum Probability
SAT2000 by IOS Press
phase transitions in constraint satisfaction search
Verification links
Entropy in Logic and the Theory of Algorithms
Designs, Codes, and Cryptography
Coding Theory Links
Measures of Complexity: SubIndex on KOLMOGOROV
Kolmogorov Complexity Resources
Links to other lists of results
Formal Methods related Papers
Boolean Satisfiability Information Page
Phase Transition Page (Xerox)
PCP
Frequently Asked Questions in Mathematics
Average-Case Complexity Forum
IJCAI SAT Challenge
The Second DIMACS Challenge
Algorithms archive
ANALYSIS of ALGORITHMS HOME PAGE
CSPLib home page
Boolean Satisfiability Information Page
http://www.uni-paderborn.de/fachbereich/AG/agmadh/WWW/english/scripts.html
Comp.Theory FAQ
FOUNDATIONS OF COMPUTER SCIENCE
Books of interest for complexity people
BRICS Theme: Proofs and Complexity (1)
BRICS Theme: Proofs and Complexity (2)
Satisfiability: Bibliography

A compendium of NP optimization problems
NSF: TCS Challenges
Challenges for Theory of Computing
Hilbert's Problems
Math Encyclopedia (Wolfram Research)
CRC Concise Encyclopedia of Mathematics
Linear Programming: Foundations and Extensions
ONLINE BOOK: L. Levin. Theory of Computation.
Cheeseman-Kanefsky-Taylor-91
Hayes: Can't Get No Satisfaction
Multicovering Radii
D.B.Wilson Random walks on Z_2^d
Quantum algorithms for satisfiability
L.Levin:ICM94
L.Levin:Holo-Proofs
Gaps in Bounded Query Hierarchies
DOCUMENTA MATHEMATICA, Extra Vol. ICM III (1998), 645-656
SINGLE-STEP QUANTUM SEARCH USING PROBLEM STRUCTURE
Randomness-Optimal Unique Element Isolation withApplications to Perfect Matching and Related Problems
Classification of Entropies
abstract quant-ph/9910033
Quantum theory, the Church-Turing principle and the universal quantum computer - Deutsch (ResearchIndex)
Hardness of Approximating Sigma_2^p Minimization Problems (ResearchIndex)
http://msri.org/publications/ln/msri/2000/introant/vazirani/1/banner/06.html

CS Conferences

CS Conferences Lists

ECCC
Logic oriented conferences
Uni-Paderborn
Uni-Konstanz
Uni-Trier
Uni-Muenchen
BEATCS
Open Directory - Science: Math: Logic: Meetings
DIMACS workshops by dates
DIMACS Workshops Listing
DIMACS
WWW Virtual Library: Conferences
ASL: Meetings, conferences and announcements
Computer.Org
ACM Digital Library
Conferences & Workshops (DB&LP)
Forum Internet Resource Collection
ira.uka.de
AAAI
Stanford
Conferences

permanent

IEEE Conference on Computational Complexity
STACS Websites

forthcoming

STOC 2002
ICALP 2002

participated

lccs
dagstuhl
icalp
random
CPL-95
KI-95
SODA'98
SWAT'98
STACS'2000
DIMACS Workshop on Faster Exact Solutions for NP-hard Problems
SAT-2000

held

stacs
cp
ICM'98 Welcome Page
Computational Complexity at IAS
STOC 01
MFCS 2001
SWAT 2000
Boolean Functions 2000
MFCS-2000
ESA-2000
APPROX-2000
csl
DIMACS Workshop on Computing Approximate Solutions to NP-hard Problems
CADE-16
http://www.tcs.auckland.ac.nz/~acsw99/
LICS'99 Call for Papers (plain text)
http://www.opt.math.tu-graz.ac.at/ipco99
http://sigact.acm.org/stoc99/
TABLEAUX'99
LLC'99 Home Page
FCT'99 - Call for Papers
ICALP'99
LPAR'99 Home Page
FLOC'99
http://mozart.sip.ucm.es:1580/csl99/
http://www.eccc.uni-trier.de/eccc/info/Conferences/in/COCOON99.CFP.html
STOC 2000
http://stacs.uni-trier.de/STACS99/
http://www.cs.jhu.edu/Conferences/ALENEX99/
Workshop on Computer Science and Information Technologies - CfP Letter
http://jupiter.kaist.ac.kr/~isaac98/
Tenth Annual ACM-SIAM Symposium on Discrete Algorithms
FSTTCS
AAAI-98
FOCS98
CSL '98
http://jupiter.kaist.ac.kr/~isaac98/
http://www.ms.mff.cuni.cz/esa99
Workshop on the Satisfiability Problem
FOCS 99 Conference Home Page FOCS '99
FLOC'99
ESSLLI X in Saarbrcken
Tenth Annual International Symposium on Algorithms And Computation
http://www.iis.sinica.edu.tw/cocoon98
MFCS'98 home page
APPROX'98
Logic Colloquium 1998
The Second DIMACS Challenge
SAT Workshop, Siena
LiCS'97
Computational Complexity 97
Calls for Participation at Software Dpt. of UdSU
Workshop CCL'97
COCOON '97: Call for Papers
CSL '97
http://www.boeing.com/sigmod98/
http://www.cs.rice.edu/~kavraki/wafr_conference.html
http://cuiwww.unige.ch/~random97/
IEEE Conference on Computational Complexity
Electronic Submissions for Complexity '98

Journals

CS journals lists

Math WWW VL: Journals

American Scientist: Past Issues Archive
BEATCS: The Hyper Bulletin of the EATCS
Carleton Scientific Information for Authors: Style Guide
Computational Complexity
CJTCS: Chicago Journal of Theoretical Computer Science
DAM: Discrete Applied Mathematics
EJC
IPL: Information Processing Letters
J.Alg.: Journal of Algorithms
JAIR: Journal of Artificial Intelligence Research
JAR
JAR: Journal of Automated Reasoning
JAR: special issue SAT-2000
JGAA: Journal of Graph Algorithms and Applications
LJ IGPL: Logic Journal of the IGPL - Imperial College
LJ IGPL: Logic Journal of the IGPL - Oxford University
LNCS
LNCS/LNAI: Information for Authors
SIAM Journals: Electronic Access
SIAM Journal on Computing
Theoretical Computer Science (Elsevier Science)

Other -

Jobs ---

Jobs - Computing Research Association (CRA)
Jobclips
Math Job Search Resources
DIMACS: Participation Guide

Grants

CRDF: Travel Limits
POISK News
EATCS Awards
Alfred P. Sloan Foundation
RSCI -- konkursy

Grants lists

Awards in Computer Science, Computer Engineering, and related fields

ASM
DFG
EPSRC

INTAS

INTAS Fellowships and Conference Grants
INTAS - International association for the promotion of cooperation with scientists from the New Independent States of the former Soviet Union

NATO
NSF: SBE - International Programs
TMR
SPb Grants

Org

AAAI
DIMACS
ASL
Computing Research Association (CRA)
Computational Intelligence Research Laboratory
EACSL
IEEE
LIAFA
NASA: Artificial Intelligence Reseach Branch PublicationsComputational Sciences Division
NASA Computational Sciences Division

SIAM

Welcome to SIAM Meetings and Conferences!
Student Travel Awards

SPbGU: Math-Mech
SPbGU: Spetsseminar

Weizmann Institute

WISDOM CC Seminars
WISDOM CS Seminars
Weizmann Institute: Applied Mathematics and Computer Science
http://www.weizmann.ac.il/feinberg/home.html
WISDOM Home Page
Weizmann Institute of Science--Faculty of Mathematics
UNDERGRADUATE PROGRAMS

People search

Authors
http://sigact.acm.org/tcs-address/textual.html
Entries by Profession: Mathematician
Personal WWW home pages of complexity theorists

CS News

SAT Live!
DMANET by thread
Technion Mathematics Net
CCA Net - CCA'98
Computability and Complexity in Analysis - Network

SAT-Ex
SATLIB
Optimization Online
Centre for Quantum Computation - Home Page
Watanabe -- SAT Instance Generation Page
Math Forum Internet Collection - mathresearch (Annotated)
List of Useful Optimization Software
CCC -- Constraints Archive
Michael Trick's Operations Research Page
DIMACS Challenge on SAT
E-Print Archive Help (uploads)
BRICS Theme: Proofs and Complexity
DMANET by thread
http://robotics.stanford.edu/~suresh/theory
OR Directory
TeX User Group bibliography archive: directory table
Mathematics on the Web
Math Forum Internet Collection - mathlists (Annotated)
Theory-Edge Mailing List
Erdos Number Project Home Page
Razborov's Medal (1990)

[Back to Home Page]