- 16/03/2011
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. - 01/02/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. - 03/01/2011
The 19th IEEE International Requirements Engineering Conference, August 29th -- September 2nd, 2011, Trento, Italy. - 12/02/2010
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.