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 with RTAS and IPSN.
HSCC’09 is the 12th in […]

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 ideas in all aspects of software verification, from design to
implementation.
Topics […]