|
|
|
Size
|
Postdoc Position at Queen's University in Foundations of MDD
|
Juergen Dingel |
Wed, 31 Oct 2007 12:39:38 -0400 |
88 lines |
BCS-FACS/LMS Evening Seminar by Prof. Samson Abramsky: Games, Interaction and Computation, 5 November 2007 [note change of venue]
|
Paul Boca |
Thu, 25 Oct 2007 16:26:33 +0100 |
98 lines |
Research Engineer position at Verimag
|
Susanne Graf |
Mon, 22 Oct 2007 22:35:39 +0200 |
50 lines |
Invitation to subscribe the mailing lists on embedded systems of the ARTIST NoE
|
Susanne Graf |
Wed, 17 Oct 2007 22:53:50 +0200 |
42 lines |
BCS-FACS/LMS Evening Seminar by Prof. Samson Abramsky: Games, Interaction and Computation, 5 November 2007, BCS Offices, London
|
Paul Boca |
Sat, 13 Oct 2007 13:16:57 +0100 |
83 lines |
2nd CFP: 3rd Int'l Workshop on Automated Specification and Verification of Web Systems (WWV'07)
|
Santiago Escobar |
Sat, 6 Oct 2007 09:18:30 +0200 |
119 lines |
Final Call for Papers: FACS Xmas Workshop on Formal Methods in Industry, 17 December, 2007, London
|
Paul Boca |
Wed, 3 Oct 2007 13:45:40 +0100 |
117 lines |