|
|
|
Size
|
Final Call for papers: IEEE SEFM Software Engineering and Formal Methods, London, 10-14 September 2007
|
Jonathan Bowen |
Sat, 31 Mar 2007 11:52:50 -0400 |
197 lines |
BCSWomen/BCS-FACS Evening Seminar by Prof. Ursula Martin, 26 April 2007, 5.45pm, London
|
Paul Boca |
Fri, 30 Mar 2007 21:37:51 +0100 |
82 lines |
Lecturer/Senior Lecturer in Computing , University of Surrey
|
Steve Schneider |
Fri, 30 Mar 2007 00:18:58 +0100 |
72 lines |
2nd Call for papers: IEEE SEFM Software Engineering and Formal Methods, London, 10-14 September 2007
|
Jonathan Bowen |
Sun, 25 Mar 2007 22:06:24 +0100 |
200 lines |
Call for Papers : FORMATS'07
|
Susanne Graf |
Sun, 25 Mar 2007 17:23:56 +0200 |
121 lines |
Second Call for Papers - AMOST 2007
|
Rob Hierons |
Thu, 15 Mar 2007 12:11:24 -0000 |
81 lines |
1st Call for Papers: ATVA 2007
|
Susanne Graf |
Tue, 13 Mar 2007 07:33:48 +0100 |
161 lines |
Evening Seminar: The Abstract State Machines Method for High-Level System Design and Analysis, by Prof Egon Borger, 21 March, 6pm, London
|
Paul Boca |
Thu, 8 Mar 2007 08:18:53 +0000 |
80 lines |