cz.cvut.fel.ida.logging