Institute of Computer Science. General information, research and educational programs, news, events, publications, links and resources.

Institute of Computing Science.

Department of Information Systems. Staff, conferences, links.

Department of Theoretical Computer Science.

Institute of Computer Science.

Faculty of Mathematics, Informatics and Mechanics. The Institute of Informatics has research interests in software engineering, theory of algorithms, logic and specification theory, Artificial Intelligence and data bases.