International Conference & Workshop on ‘Mathematics and Logics in Computer Science