SCSS 2014: 6TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE
Invited Speakers

Nikolaj Bjorner (Microsoft Research)

William M. Farmer (McMaster University)

 

Invited Tutorial Speaker

Stephen M. Watt (The University of Western Ontario)