The 6th International Workshop on System Software Verification. The workshop will be held in conjunction with ITP 2011, Nijmegen, The Netherlands. 26-27 August, 2011.
The 16th Formal Methods in Safety Critical Systems (FMICS 2011) workshop. The workshop will be held in Trento, Italy from 29-30 August 2011 in conjunction with RE 2011.
The 19th IEEE International Requirements Engineering Conference, August 29th -- September 2nd, 2011, Trento, Italy.
The 15th Formal Methods in Safety Critical Systems (FMICS 2010) workshop. The workshop will be held in Antwerp, Belgium from 20-21 September 2010 in conjunction with ASE 2010.