Title: Foundations of Software Science and Computational Structures
Subjects: Mathematical Logic and Formal Languages, Software engineering, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Programming Languages, Compilers, Interpreters, Artificial intelligence, Artificial Intelligence (incl. Robotics)