This repository host the public content of the web pages of the Department of Artificial Intelligence of CIIRC at CTU, where:
- CIIRC = The Czech Institute of Informatics, Robotics and Cybernetics, and
- CTU = Czech Technical University in Prague.
The web pages are hosted by GitHub Pages at ai4reason.github.io.
Information about page administration for department members can be found here.