· OSPERT 2010 July 6th, 2010 · Quantitative Model Checking 2010 March 5, 2010 Previous ARTIST Workshops in 2008 June 23-27, 2008 November 27-28, 2008 June 23-25, 2008 November 12-13, 2008 June 17-18, 2008 October 28th, 2008 June 16-24, 2008 October 27th, 2008 June 16-17, 2008 October 23rd, 2008 May 26-30, 2008 October 19th, 2008 May 13-14, 2008 September 29th, 2008 May 5th, 2008 September 8-12, 2008 21st, 2008 August 25-29, 2008 April 5th, 2008 July 12-18, 2008 March 13th, 2008 July 3-4, 2008 March 12th, 2008 July 1st, 2008 March 3rd, 2008 July 1st, 2008
· OSPERT 2010 July 6th, 2010 · Quantitative Model Checking 2010 March 2010 Previous ARTIST Workshops in 2008 November 27-28, 2008 November 12-13, 2008 October 28th, 2008 October 27th, 2008 October 23rd, 2008 October 19th, 2008 September 29th, 2008 September 8-12, 2008 August 25-29, 2008 July 12-18, 2008 July 3-4, 2008 July 1st, 2008 July 1st, 2008 June 23-27, 2008 June 23-25, 2008 June 17-18, 2008 June 16-24, 2008 June 16-17, 2008 May 26-30, 2008 May 13-14, 2008 May 5th, 2008 21st, 2008 April 5th, 2008 March 13th, 2008 March 12th, 2008 March 3rd, 2008 5,
D4-2-0-Y4_Spreading_Excellence.docx