Title: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Subjects: Software engineering, Artificial intelligence, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Programming Languages, Compilers, Interpreters, Operating systems (Computers), Operating Systems, Artificial Intelligence (incl. Robotics)