| Algorithmic Systems
INFORMATICA / COMPUTER SCIENCE
PHILOSOPHY OF COMPUTER SCIENCE -
``Exploring the Scientific Nature of the Information and Computing Sciences''
Computer science (Informatics) has far-reaching effects on all facets
of science and society. New developments continue to challenge our
understanding of the field. How are its scientific foundations evolving? What
can the computational lens tell us about the world? How does it shape
our algorithmic society? Our research focuses on (a) the models
and theories for understanding and designing complex algorithmic systems, and
(b) the philosophy of computing, as part of the philosophy of
The Center for Philosophy of Computer Science is led by
professor Jan van Leeuwen
and is part of the division `Algorithms' of the Department
of Information and Computing Sciences of Utrecht University.
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.
- Computation: interactive algorithms, algorithmic mechanisms, intelligent
algorithms, non-classical computing.
- Complexity: computational complexity, network analysis, resource-bounded
agents, non-uniform complexity.
- Design: algorithmic modeling, algorithmic systems, autonomous
robots, intelligent infrastructures.
- Philosophy: foundations of informatics, understanding computation, nature of
Symposia and Societies
- Symposia general:
- Interest Groups
Publications, technical reports
Reports, views, seminars
More philosophical pointers and diversions
Scientific information / Search tools
Stanford Encyclopedia of Philosophy
Internet Encyclopedia of Philosophy (IEP),
e-Print archive (ArXiv),
computer science (e-prints),
CoRR (Computing Research Repository),
DBLP (Trier, see also: old format ),
UU library (Utrecht University),
ACM portal (ACM),
ACM guide (ACM),
ACM digital lib (ACM),
Electronic Colloquium on
Computational Complexity (ECC),
IEEE digital lib (IEEE),
Notes in Computer Science (LNCS, see also here),
Electronic Notes in TCS
Science Direct (Elsevier)
- Search engines:
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: June 2022.