1. DEPENDENT TYPES IN MATHEMATICAL THEORY OF PROGRAMMING. Authors: VALERIE NOVITZKÁ, ANITA VERBOVÁ.2. ADVANTAGES AND DISADVANTAGES OF THE METHODS OF DESCRIBING CONCURRENT SYSTEMS. Authors: ANITA VERBOVÁ, RÓBERT HUŽVÁR.