1. DEPENDENT TYPES IN MATHEMATICAL THEORY OF PROGRAMMING. Authors: VALERIE NOVITZKÁ, ANITA VERBOVÁ.2. COALGEBRAIC APPROACH FOR PROGRAM BEHAVIOR IN COMONADS OVER TOPOSES. Authors: VALERIE NOVITZKÁ.3. PRINCIPLES OF ACTION SEMANTICS FOR FUNCTIONAL PROGRAMMING LANGUAGES. Authors: VALERIE NOVITZKÁ.4. NETWORK ROUTING MODELLED BY GAME SEMANTICS. Authors: VALERIE NOVITZKÁ, PETER PRAZŇÁK.