Week: 21 April - 27 April | Project Seminar "Formal Methods II" (326.090, SS 2010) | RISC

Calendar

Monday	Tuesday	Wednesday	Thursday	Friday	Saturday	Sunday
						No events, Sunday, 1 December No events, Sunday, 1 December
No events, Monday, 2 December No events, Monday, 2 December	No events, Tuesday, 3 December No events, Tuesday, 3 December	No events, Wednesday, 4 December No events, Wednesday, 4 December	No events, Thursday, 5 December No events, Thursday, 5 December	No events, Friday, 6 December No events, Friday, 6 December	No events, Saturday, 7 December No events, Saturday, 7 December	No events, Sunday, 8 December No events, Sunday, 8 December
No events, Monday, 9 December No events, Monday, 9 December	No events, Tuesday, 10 December No events, Tuesday, 10 December	No events, Wednesday, 11 December No events, Wednesday, 11 December	No events, Thursday, 12 December No events, Thursday, 12 December	No events, Friday, 13 December No events, Friday, 13 December	No events, Saturday, 14 December No events, Saturday, 14 December	No events, Sunday, 15 December No events, Sunday, 15 December
No events, Monday, 16 December No events, Monday, 16 December	No events, Tuesday, 17 December No events, Tuesday, 17 December	No events, Wednesday, 18 December No events, Wednesday, 18 December	No events, Thursday, 19 December No events, Thursday, 19 December	No events, Friday, 20 December No events, Friday, 20 December	No events, Saturday, 21 December No events, Saturday, 21 December	No events, Sunday, 22 December No events, Sunday, 22 December
No events, Monday, 23 December No events, Monday, 23 December	No events, Tuesday, 24 December No events, Tuesday, 24 December	No events, Wednesday, 25 December No events, Wednesday, 25 December	No events, Thursday, 26 December No events, Thursday, 26 December	No events, Friday, 27 December No events, Friday, 27 December	No events, Saturday, 28 December No events, Saturday, 28 December	No events, Sunday, 29 December No events, Sunday, 29 December
No events, Monday, 30 December No events, Monday, 30 December	No events, Tuesday, 31 December No events, Tuesday, 31 December

Section outline

Discussion on Article

David Parnas: Really Rethinking 'Formal Methods'
IEEE Computer: January 2010 (Vol. 43, No. 1) pp. 28-34