From pete at ccs.neu.edu Fri Jan 5 18:58:17 2018 From: pete at ccs.neu.edu (Pete Manolios) Date: Fri, 5 Jan 2018 18:58:17 -0500 Subject: [PRL] Special Topics Course Message-ID: Hi guys, This semester (Spring), I will teach a special topics course in Formal Methods. I will cover topics such as SAT/SMT, interactive theorem proving, reasoning about programs, logic (including completeness & incompleteness), set theory, reactive systems, verification, testing, (bi)simulation, refinement. The intended audience is PhD students interested in learning about current developments in formal methods or exploring how to apply these methods in their research. In particular, students in FM, PL, SE, Systems, Databases, and Security may find this course of interest. Here is the URL: http://www.ccs.neu.edu/home/pe te/courses/Topics-Formal-Methods/2018-Spring/ Classes start Monday! -- Pete Manolios Professor of Computer and Information Science Northeastern University http://www.ccs.neu.edu/home/pete -------------- next part -------------- HTML attachment scrubbed and removed