Adresse Masarykova UniverzitaFakulta informatiky Katedra teorie programování Botanická 554/68a 602 00 Brno Tschechische Republik