List of Important Publications in Computer Science - Theoretical Computer Science

Theoretical Computer Science

Topics covered: theoretical computer science, including computability theory, computational complexity theory, algorithms, algorithmic information theory, information theory and formal verification.

Read more about this topic:  List Of Important Publications In Computer Science

Other articles related to "computer science, theoretical computer science, computer":

Symposium On Foundations Of Computer Science
... Annual IEEE Symposium on Foundations of Computer Science, is an academic conference in the field of theoretical computer science ... FOCS is sponsored by the IEEE Computer Society ... considered the two top conferences in theoretical computer science, considered broadly they “are forums for some of the best work throughout theory of computing that promote breadth among theory of ...
Discrete Mathematics - Grand Challenges, Past and Present
... Kenneth Appel and Wolfgang Haken, using substantial computer assistance) ... II led to advances in cryptography and theoretical computer science, with the first programmable digital electronic computer being developed at England's Bletchley Park ... geometry has been an important part of the computer graphics incorporated into modern video games and computer-aided design tools ...
Theoretical Computer Science - Conferences
... ACM Symposium on Theory of Computing (STOC) Annual IEEE Symposium on Foundations of Computer Science (FOCS) ACM–SIAM Symposium on Discrete Algorithms (SODA) Annual ACM Symposium on Computational ...
Conference On Implementation And Application Of Automata - Recent History of The Conference
14th CIAA 2009 in Sydney, Australia Special Issue Theoretical Computer Science 411(38-39), 2010 ... in San Francisco, CA, USA Special Issue International Journal of Foundations of Computer Science 20(4), 2009. 12th CIAA 2007 in Prague, Czech Republic Special Issue Theoretical Computer Science 410(37), 2009 ...
Department Of Computer Science, FMPI, Comenius University - Educational and Scientific Achievements
... The first comprehensive computer science curriculum in Czechoslovakia (now Slovakia) was introduced at the Faculty in 1973 ... continues to be responsible for organizing the major part of the undergraduate and graduate computer science education to this date ... of the curriculum has been a balanced coverage of the mathematical foundations, theoretical computer science, and practical computer science ...

Famous quotes containing the words science, theoretical and/or computer:

    Science is intimately integrated with the whole social structure and cultural tradition. They mutually support one other—only in certain types of society can science flourish, and conversely without a continuous and healthy development and application of science such a society cannot function properly.
    Talcott Parsons (1902–1979)

    The hypothesis I wish to advance is that ... the language of morality is in ... grave disorder.... What we possess, if this is true, are the fragments of a conceptual scheme, parts of which now lack those contexts from which their significance derived. We possess indeed simulacra of morality, we continue to use many of the key expressions. But we have—very largely if not entirely—lost our comprehension, both theoretical and practical, of morality.
    Alasdair Chalmers MacIntyre (b. 1929)

    The analogy between the mind and a computer fails for many reasons. The brain is constructed by principles that assure diversity and degeneracy. Unlike a computer, it has no replicative memory. It is historical and value driven. It forms categories by internal criteria and by constraints acting at many scales, not by means of a syntactically constructed program. The world with which the brain interacts is not unequivocally made up of classical categories.
    Gerald M. Edelman (b. 1928)