Slovak Academy of Sciences, Institute of Informatics