National Institute for Research in Computer Science and Control