|
|
|
Size
|
New Academia.edu feature for FMNet
|
Richard Price |
Mon, 16 Nov 2009 23:36:39 +0000 |
36 lines |
7 members of FMNet on Academia.edu
|
Richard Price |
Sat, 21 Nov 2009 02:14:56 +0000 |
33 lines |
Reminder:FACS/LMS Evening Seminar: Forward with Hoare, 1 December 2009, London Mathematical Society, Demorgan House
|
Paul Boca |
Sun, 22 Nov 2009 21:48:51 +0000 |
137 lines |
VSTTE 2010: Verified Software -- Second Call for Papers
|
Gudmund Grov |
Mon, 23 Nov 2009 10:14:04 +0000 |
192 lines |
1st CfP: DEPEND 2010 || July 18-25, 2010 - Venice, Italy
|
Zhe Chen |
Thu, 26 Nov 2009 15:48:42 +0100 |
152 lines |