Call for Papers and Other Useful Academic Information

Call for Papers and Workshop Proposals Hybrid Systems: Computation and Control (HSCC’09) San Francisco, April, 2009 http://www.ee.ucla.edu/hscc09 ——————————————————————————————- The 12th International Conference on Hybrid Systems: Computation and Control (HSCC’09) will take place in San Francisco in mid-April. HSCC’09 is part of the 2nd Cyber Physical Systems Week (CPSWeek) which consists of the collocation of HSCC [...]

APV 2009 Automatic Program Verification http://se.ethz.ch/apv/ February 14-15, 2009 Argentina ——————————————————————– Automatic software verification is once again at the forefront of research in computer science, thanks to a combination of novel techniques and more powerful hardware to implement them. The aim of the ASV symposium is to bring together researchers to exchange and develop new [...]