All sites of Computer Science

SAT Live! SAT Live!
SAT Live!- A collection of up-to-date links about the satisfiability problem (solvers, benchmarks, articles). A discussion forum is available as well. ...
Computability and Complexity Computability and Complexity
Computability and Complexity- An online course on complexity. ...
Parameterized Complexity Parameterized Complexity
Parameterized Complexity- Brief description, list of workers and problem compendium, compiled by Todd Wareham. ...
Probabilistically Checkable Proofs and Approximation Probabilistically Checkable Proofs and Approximation
Probabilistically Checkable Proofs and Approximation- Pointers to some survey articles and their authors, by M. Bellare. ...
Complexity of Algorithms Complexity of Algorithms
Complexity of Algorithms- A list of topics from a Computer Science course involving complexity of algorithms. HTML and PS format. ...
Computational Complexity Theory Computational Complexity Theory
Computational Complexity Theory- Wikipedia article. ...
Computational Complexity and Programming Languages Computational Complexity and Programming Languages
Computational Complexity and Programming Languages- Summaries of talks of the DIMACS workshop (July 1996), collected by James Royer. ...
Complexity Theory Complexity Theory
Complexity Theory- Two set of lecture notes by Prof. Oded Goldreich, Weizmann Institute. ...
Lecture notes on Complexity Lecture notes on Complexity
Lecture notes on Complexity- Collection of lecture notes by Prof. Eric Allender, Rutgers University. ...
IBM Research: Algorithms & Theory IBM Research: Algorithms & Theory
IBM Research: Algorithms & Theory- An overview of computational models and methods and how they relate to complexity, with links to selected papers. ...
Efficient algorithms and intractable problems Efficient algorithms and intractable problems
Efficient algorithms and intractable problems- Course taught by Christos Papadimitriou and Umesh Vazirani at the University of California at Berkeley. ...
Computational Complexity Theory Computational Complexity Theory
Computational Complexity Theory- Course COMS 30126: Computational Complexity Theory, Department of Computer Science, University of Bristol ...
Constraint Satisfaction Problems Constraint Satisfaction Problems
Constraint Satisfaction Problems- Research group in the Computing Laboratory, Oxford University. ...
Computational Complexity Conference Computational Complexity Conference
Computational Complexity Conference- Annual conference that deals with computational complexity broadly defined. ...
Midwest Theory Day Midwest Theory Day
Midwest Theory Day- Held twice a year, usually on a Saturday in December and on a Saturday in April. Details of past and future meetings. ...
Theoretical Computer Science Conferences & Journals Theoretical Computer Science Conferences & Journals
Theoretical Computer Science Conferences & Journals- Conference calls for papers, conference and workshop programs, journal calls for papers. ...
STOC STOC
STOC- ACM Symposium on Theory of Computing. ...
Gandalf 2010 Gandalf 2010
Gandalf 2010- A conference on games, automata, logics and formal verification. ...
Formal Language Theory Formal Language Theory
Formal Language Theory- A lecture on grammars, generating languages from grammars, the Chomsky classification and derivation trees. ...
Formal Language Theory Formal Language Theory
Formal Language Theory- An introductory approach to the topic using many examples. ...
A Hierarchy of Languages A Hierarchy of Languages
A Hierarchy of Languages- A brief discussion of context sensitive languages, recursively enumerable languages and languages with no grammars. Examples show these are not equivalent. ...
Grammars Grammars
Grammars- A set of slides on grammars and language generation, with examples including a grammar for an abbreviated C language. ...
Formal Language Theory for Natural Language Processing Formal Language Theory for Natural Language Processing
Formal Language Theory for Natural Language Processing- A draft manuscript with chapters on set theory, regular languages, context free languages and the Chomsky hierarchy. ...
Grammars and Parsing Grammars and Parsing
Grammars and Parsing- Description of several types of formal grammars for natural language processing, parse trees, and a number of parsing methods. ...
LING 106 Introduction to Formal Linguistics LING 106 Introduction to Formal Linguistics
LING 106 Introduction to Formal Linguistics- Lecture notes providing definitions, examples, theorems and problems. Course taught at University of Pennsylvania, Department of Linguistics. ...
The Types Forum The Types Forum
The Types Forum- E-mail forum for semantical, categorical, operational, and proof theoretical topics relating to type theory. ...
Vereshchagin, N.K. Vereshchagin, N.K.
Vereshchagin, N.K.- Moscow State University. ...
Information-Based Complexity Information-Based Complexity
Information-Based Complexity- Resources for computational complexity problems in the presence of partial or contaminated information. ...
Average-Case Complexity Forum Average-Case Complexity Forum
Average-Case Complexity Forum- Provides an overview, including surveys and a bibliography, of recent work on average-case complexity analysis. ...
Computability and Complexity in Analysis Network Computability and Complexity in Analysis Network
Computability and Complexity in Analysis Network- CCA Net aims to provide a central location for collecting information useful for researchers working in the field of computability and complexity in analysis. ...
Chicago Journal of Theoretical Computer Science Chicago Journal of Theoretical Computer Science
Chicago Journal of Theoretical Computer Science- Electronic journal hosted by the University of Chicago. ...
Electronic Colloquium on Computational Complexity Electronic Colloquium on Computational Complexity
Electronic Colloquium on Computational Complexity- ECCC publishes research reports, surveys and books in computational complexity and is hosted by the University of Trier. ...
Theory and Practice of Logic Programming Journal (TPLP) Theory and Practice of Logic Programming Journal (TPLP)
Theory and Practice of Logic Programming Journal (TPLP)- The official journal of the Association for Logic Programming. ...
Information and Computation Information and Computation
Information and Computation- Covers all areas of theoretical computer science and computational aspects of information theory. ...
Electronic Journal of Combinatorics Electronic Journal of Combinatorics
Electronic Journal of Combinatorics- Electronic journal maintained by the American Mathematical Society. ...
Journal of Experimental Algorithmics Journal of Experimental Algorithmics
Journal of Experimental Algorithmics- ACM's journal for experimental algorithmics . ...
Mathematical Logic Quarterly Mathematical Logic Quarterly
Mathematical Logic Quarterly- MLQ is an international journal on mathematical logic and foundations of mathematics published by Wiley-VCH. ...
Discrete Mathematics and Theoretical Computer Science Discrete Mathematics and Theoretical Computer Science
Discrete Mathematics and Theoretical Computer Science- DMTCS is an electronic journal published by the Maison de l'Informatique et des Mathématiques Discrètes. ...
Theory of Computing Theory of Computing
Theory of Computing- An open-access electronic journal of theoretical computer science. Online archive and submission instructions. ...
Transactions on Computational Logic Transactions on Computational Logic
Transactions on Computational Logic- This addition to ACM's Transactions Series is devoted to research concerned with all uses of logic in computer science. ...
Journal of Graph Algorithms and Applications Journal of Graph Algorithms and Applications
Journal of Graph Algorithms and Applications- The electronic edition of the journal hosted by Brown University. ...
DIMACS DIMACS
DIMACS- Center for Discrete Mathematics and Theoretical Computer Science, Rutgers, New Jersey. ...
Theoretical Computer Science Theoretical Computer Science
Theoretical Computer Science- Elsevier journal covering the mathematical and theoretical basis of computer science. ...
Journal of Logic Programming Journal of Logic Programming
Journal of Logic Programming- Journal of Logic Programming published up to 2000. ...
European Association for Theoretical Computer Science European Association for Theoretical Computer Science
European Association for Theoretical Computer Science- An international organization founded in 1972. ...
Ronald L. Rivest Ronald L. Rivest
Ronald L. Rivest- Andrew and Erna Viterbi Professor of Electrical Engineering and Computer Science in MIT's EECS Dept and member of Theory of Computation Group at CSAIL. ...
Rajeev Motwani Rajeev Motwani
Rajeev Motwani- Professor and Director of Graduate Studies, Computer Science Department, Stanford University. ...
Christos H. Papadimitriou Christos H. Papadimitriou
Christos H. Papadimitriou- Professor in CS Dept, UCB. ...
Giorgi Japaridze Giorgi Japaridze
Giorgi Japaridze- Associate Professor in Department of Computing Sciences, Villanova University, Pennsylvania. ...
Daniel A. Spielman Daniel A. Spielman
Daniel A. Spielman- Professor of Applied Mathematics and Computer Science at Yale. ...

Latest sites from Computer Science