Title: Theoretical Aspects of Computing – ICTAC 2017
Subjects: Software engineering, Logic design, Artificial intelligence