News
Jürgen attends FoIKS in Pisa
Jürgen attends FoIKS in Pisa Jürgen will give a invited talk on "Strategic Abilities of Agents".-FoIKS 2008-
Martin Balaz in Clausthal
Martin Balaz in Clausthal Martin Balaz from the Faculty of Mathematics, Physics and Informatics, Comenius University, Bratislava will visit us for two weeks. He is going to extend his cooperation with Peter.