Title: Logic-Based Program Synthesis and Transformation
Subjects: Mathematical Logic and Formal Languages, Computational complexity, Discrete Mathematics in Computer Science, Software engineering, Programming Techniques, Logic design, Logics and Meanings of Programs, Computer science, Artificial intelligence, Artificial Intelligence (incl. Robotics), Logic programming, Congresses, Program transformation (Computer programming)