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