Patrick COUSOT    Professor of Computer Science    Courant Institute of Mathematical Sciences    New York University

• 2th Tsinghua Software Day (TSD 2012), Tsinghua University, Beijing, China, March 15, 2012.
• Workshop on Systems Biology and Formals Methods (SBFM'12), New York, USA, March 29-30, 2012.
• 4th NASA Formal Methods Symposium (NFM 2012), Norfolk, Virginia, April 3-5, 2012.
• School of Computer Science Distinguished Lecture, CMU, Pittsburgh, April 12, 2012.

• Verified Software: Theories, Tools and Experiments (VSTTE 2012), Philadelphia, USA, January 28-29, 2012.
• Hybrid Systems: Computation and Control (HSCC 2012), Beijing, China, April 17-19, 2012.
• Programming Languages Day 2012, IBM Thomas J. Watson Research Center on Friday, June 29, 2012.
• 19th Static Analysis Symposium (SAS), Deauville, France, September 11-13, 2012.

• Web page at ENS
• Web page at MIT