| 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. Innovations 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.
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,
extended computability, non-classical computing.
- Complexity: ad-hoc networks, resource-bounded agents, computational complexity,
- Design: algorithmic thinking, information flow, 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,
- Conferences vs journals: Where to send your paper?.
- Seminar on algorithmic game theory:
Algorithms, games and the
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
- Societies: Society for Philosophy of
Information (also here,
SPI), European Forum for ICST.
- AISB 2013: The
Scandal of Computation - What is Computation?, Symposium on Computing and
Philosopy, Exeter, 2-5 April, 2013.
- AISB 2013:
Exeter, 2-5 April, 2013.
- CiE 2013: The Nature of Computation
- Logic, Algorithms, Applications, Milan, 1-5 July, 2013.
- IACAP conferences: IACAP.
Some reports and papers
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).
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).
We distance ourselves from the contents of any website that this website, or any other
website maintained by us, links to outside of our own realm and declare that
we do not adopt those contents as our own nor accept any responsibility for them.
Last changed: November 2012.