Describir: Conference on system theoretical aspects in computer science