| 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.
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
- PT-AI 2013: Philosophy & Theory of Artificial
Intelligence, Oxford, 21-22 September, 2013.
- AISB-50 Symposium: Computing and Philosophy:
Is computation observer-relative , Goldsmith's, London, 1-4 April 2014.
- CiE 2014: Language, Life, Limits,
Budapest, Hungary, 23-28 June 2014.
- IACAP conferences: IACAP.
Some reports, papers, and seminars
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: December 2013.