Title: Software Engineering and Formal Methods
Subjects: Mathematical Logic and Formal Languages, Software engineering, Computer networks, Logic design, Logics and Meanings of Programs, Computer science, Programming Languages, Compilers, Interpreters, Artificial intelligence, Artificial Intelligence (incl. Robotics), Congresses, Formal methods (Computer science), Computer Communication Networks