Computing + Mathematical Sciences Lecture

Monday April 18, 2011 4:00 PM

Software Synthesis using Automated Reasoning

Speaker: Ruzica Piskac, Ecole Polytechnique Federal de Lausanne, Switzerland
Location: Moore B270
"Software Synthesis using Automated Reasoning," Ruzica Piskac, Ecole Polytechnique Federal de Lausanne, Switzerland.
Series Computing + Mathematical Sciences Lecture Series

Contact: Sydney Garstang at x4555 sydney@caltech.edu