Title: FM 2012: Formal Methods
Subjects: Mathematical Logic and Formal Languages, Information Systems, Software engineering, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Management of Computing and Information Systems, Formal methods (Computer science), Congresses