| 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 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 study of computational models and theories for understanding
complex systems and their computational foundation and (b) the philosophy of
informatics, as part of the general 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, 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.
- S.B. Cooper and J. van Leeuwen (Eds), Alan Turing:
His Work and Impact, Elsevier, 2013 (now available,
- APA newsletter: Philosophy
- IS4IS Summit Vienna 2015: The information
society at the crossroads, Vienna, June3-7, 2015.
- CiE 2015: Evolving computability,
Bucharest, June 29 -July 3, 2015.
- IACAP 2015: CEPE-IACAP, Delaware, June 22-25,
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: May 2015.