|
|
|
Size
|
ANNOUNCEMENT -- Extension of SEW-2011 submission deadline
|
Jonathan Bowen |
Sun, 30 Jan 2011 19:05:00 +0000 |
88 lines |
FM2011 Doctoral Symposium
|
Jonathan Bowen |
Thu, 27 Jan 2011 22:03:41 +0000 |
68 lines |
REMINDER:BCS-FACS/BCS Women Evening Seminar: Wanted: Formalisms for Natural Computing, Prof. Susan Stepney, 7 Feb. 2011, 6pm, London
|
Paul Boca |
Thu, 27 Jan 2011 21:15:36 +0000 |
156 lines |
CfPs - QSIC 2011: TeDSA and WS-FMDS Workshops
|
Haitao Dan |
Sat, 22 Jan 2011 17:18:24 +0000 |
80 lines |
CfP: Formal Methods for Pervasive Systems [Pervasive@FM2011] ...
|
Michael Fisher |
Tue, 18 Jan 2011 20:41:12 +0000 |
135 lines |
CfP: 5th IEEE International Conference on Theoretical Aspects of Software Engineering (TASE 2011)
|
Jonathan Bowen |
Mon, 17 Jan 2011 23:06:16 +0000 |
143 lines |
Call for Papers: ICFEM 2011, 13th International Conference on Formal Engineering Methods
|
Jonathan Bowen |
Fri, 14 Jan 2011 15:39:48 +0000 |
354 lines |
CfP: SAFECOMP 2011 - The 30th International Conference on Computer Safety, Reliability and Security
|
Francesco Flammini |
Mon, 10 Jan 2011 14:57:22 +0100 |
118 lines |
[fm-announcements] CFP - VVPS 2011: Verification and Validation for Planning and Scheduling Systems
|
Havelund, Klaus (317J) |
Sat, 8 Jan 2011 12:58:44 -0800 |
339 lines |
BCS-FACS/BCS Women Evening Seminar: Wanted: Formalisms for Natural Computing, Prof. Susan Stepney, 7 Feb. 2011, 6pm, London
|
Paul Boca |
Fri, 7 Jan 2011 23:45:33 +0000 |
75 lines |
CfP - FM 2011: 17th International Symposium on Formal Methods (deadline 10 January 2011)
|
Jonathan Bowen |
Thu, 6 Jan 2011 18:31:12 +0000 |
183 lines |