| 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) has branched out to every facet of science,
industry, business and society. New developments continuously challenge the understanding
of the field as a science. What is its scientific core? What are its fundamental
questions? What can the computational lens tell us about the world? The Center
focuses on (a) the computational models and theories for understanding advanced IT
systems and their foundation, and (b) the philosophical investigations of
informatics as part of the philosophy of science.
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 algorithmics and applied philosophy of the information
and computing sciences, the implications and trends of ICT, and their application in industry
and society. See also our research on algorithm design and analysis in the
Center for Algorithmic Systems.
- Computation: interactive algorithms, algorithic mechanisms, intelligent algorithms,
- Complexity: computational complexity, resource-bounded agents,
- Design: algorithmic thinking, information organization, algorithmic modeling
e.g. in AI and the sciences.
- Philosophy of Informatics: foundations of informatics, computation, nature of
information technology, perspectives.
- S.B. Cooper and J. van Leeuwen (Eds), Alan Turing:
His Work and Impact, Elsevier, 2013 (now available,
Theory of computation
(Lipton & Regan),
Bits and pieces (Lewis),
- Updates: Ars Technica,
Sixth sense tech (TED,
Deluge of data
shapes new era in computing (Gray, 2007),
- APA newsletter: Philosophy
Philosophy of Information (also here, SPI),
Philosophy and Technology (SPT),
European Forum for ICST.
Some 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,
- The role and relevance of experimentation in Informatics (Schiaffonati et al,
- Why philosophers should care about
computational complexity (Aaronson).
- Towards a philosophy of the
information and computing sciences (van Leeuwen, NIAS Newsletter 42, pdf).
enrollment and image of the Informatics discipline (van Leeuwen & Tanca,
Informatics Europe report, pdf).
Algorithms, games and the
Algorithmic computational biology
- See: More
reports and papers (surveys, courses, books, viewpoints, ..)
Philosophically interesting books
Philosophical pointers and diversions
Scientific information / Search tools
- Conferences vs journals: Where to send your paper?.
Stanford Encyclopedia of Philosophy
Internet Encyclopedia of Philosophy (IEP),
Computers and Information Technology (Encyclopedia Smithsonian),
History of computers (Hitmill).
journals (Utrecht University),
ACM portal (ACM),
ACM digital lib (ACM),
Notes in Computer Science (LNCS, see also here),
Electronic Notes in TCS
(vol 1 -) ,
Science Direct (Elsevier).
DBLP (Trier, also: old format ),
Computer science bibliographies.
- Scientific search engines:
Best search ,
Scirus , Scopus,
- Archives: e-Print archive (arXiv),
CoRR (computing research
repository), computer science
Philosophy of the Information and Computing Sciences
This creation of this website was partially supported by
The Netherlands Institute for Advanced Study (NIAS)
and the Lorentz Center (International Center for
workshops in the Sciences).
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: July 2013.