| Route and Travel planners
INFORMATICA / COMPUTER SCIENCE
CENTER for PHILOSOPHY OF COMPUTER SCIENCE -
``Exploring the Scientific Nature of the Information and Computing Sciences''
Computer science (or: Informatics) is reaching into every facet of science,
industry, business and society. New developments continuously challenge our understanding
of the field. What is its scientific core? What challenges are facing computing science?
What can the computational lens tell us about the world and how can this be
used? The Center focuses on
(a) the study of computational models and theories for understanding complex
systems, and (b) the philosophy of informatics as part of the philosophy of
The Center for Philosophy of Computer Science is headed by
professor Jan van Leeuwen, and is part
of the Department of Information and Computing Sciences of Utrecht University (division
We have a long-standing interest in the theories, algorithms and philosophy of the
information and computing sciences and their application in science, industry, the
algorithmic economy and society. See also our research on algorithm design and
analysis in the
Center for Algorithmic Systems.
- Computation: interactive algorithms, algorithmic mechanisms, intelligent
algorithms, non-classical computing.
- Complexity: computational complexity, resource-bounded agents, non-uniform
- Design: algorithmic thinking, information architecture, algorithmic modeling
e.g. in AI and the sciences.
- Philosophy of Informatics: foundations of informatics, understanding
computation, nature of information technology, perspectives.
Reports, papers, and seminars
- Informatics: A fascinating
science (Van Leeuwen), The Algorithm:
Idiom of Modern Science (Chazelle).
Science in-between a fundamental discipline and the third pillar of science (Petre,
enrollment and image of the Informatics discipline (van Leeuwen & Tanca,
Informatics Europe report).
- Questioning two myths in computer science education (Rocchi, 2014).
- Why philosophers should care about
computational complexity (Aaronson).
- Scott Aaronson on
Philosophical Progress (MIRI).
- Towards a philosophy of the
information and computing sciences (van Leeuwen, NIAS Newsletter 42).
- The role and relevance of experimentation in Informatics (Schiaffonati et al,
- Joint papers on
computation by Jan van Leeuwen and Jiří Wiedermann.
- See: More
reports and papers (surveys, courses, books, viewpoints, ..)
- Alan Turing: His Work and Impact (Cooper, van
computing - The fourth great scientific domain (Rosenbloom, 2013).
- Probably Approximately Correct: Nature's Algorithms for Learning and
in a Complex World (Valiant, 2013).
Computing and Information Science (Hagengruber, Riss, eds, 2014).
Science of Computing: Shaping a Discipline (Tedre, 2014).
- The Fourth Revolution: How tha
e Infosphere is Reshaping Human Reality (Floridi, 2014).
- Great Principles
of Computing (Denning, Martell, 2015).
Philosophical pointers and diversions
Scientific information / Search tools
Stanford Encyclopedia of Philosophy
Internet Encyclopedia of Philosophy (IEP),
Computers and Information Technology (Encyclopedia Smithsonian),
History of computers (Hitmill).
UU library (Utrecht University),
ACM portal (ACM),
ACM digital lib (ACM),
Notes in Computer Science (LNCS, see also here),
Electronic Notes in TCS
Science Direct (Elsevier).
DBLP (Trier, also: old format),
Computer science bibliographies.
- Search engines:
- Archives: e-Print archive (arXiv),
CoRR (computing research
repository), computer science
- Conferences vs journals: Where to send your paper?.
This website is intended for educational purposes only. Linked documents are only
intended for private use and should be cited by their original reference, to obey
copyrights whereever applicable. Any rights issues remaining are unintended and
will be eliminated as soon as they become known to us. We do not accept any
responsibility for any contents this website links to outside our own realm.
Last changed: October 2015.