[Om-announce] [fm-announcements] Fourth Verified Software Competition (VSComp), 14-16 June, 2014

Fourth Verified Software Competition (VSComp) 2014 14-15 June 2014 http://vscomp.org Organizers: Ernie Cohen, Marcelo Frias, Peter Müller, Natarajan Shankar The Fourth Verified Software Competition (VSComp) aims to showcase the progress in verification technology. The competition will occur

[Om-announce] CFP Synasc 2014 (FIRM extended deadline)

[Please post - apologies for multiple copies.] Call for Papers --- SYNASC 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing September 22-25, 2014, Timisoara, Romania