Archive for September 15th, 2008

(PN) 2nd CfP SPEC Benchmark Workshop 2009

–===============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
[…]

[Concurrency] Symposium on Automatic Program Verification - cfp

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

(PN) [DCDS 09] Special session on Reconfiguration

[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 another in order to answer a disturbance […]