Call for Papers and Other Useful Academic Information

–===============0328964259== Content-Type: multipart/alternative; boundary=Apple-Mail-2-535587797 –Apple-Mail-2-535587797 Content-Type: text/plain; charset=WINDOWS-1252; format=flowed; delsp=yes Content-Transfer-Encoding: quoted-printable ******************************************************************** SPEC Benchmark Workshop 2009 January 25, 2009 Austin, Texas ******************************************************************** http://www.spec.org/workshops/2009/austin/ In Cooperation with IEEE Technical Committee on Computer =20 Architecture (TCCA) Proceedings published by Springer as LNCS volume. The goal of the SPEC 2009 Workshop is to provide a forum for [...]

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 [...]

[Apologize for multiple copies] Dear colleagues, We have the pleasure to organise a special session dealing with ?Reconfiguration for Discrete Events control. It will take place during the 2nd workshop on Dependable Control of Discrete Systems in Bari, Italy, June 10-12, 2009. Today, reconfigurable systems that have the ability to switch from one configuration to [...]