|
|
|
Size
|
FACS 2010 CFP
|
Sun Meng |
Mon, 26 Apr 2010 15:27:13 +0200 |
172 lines |
VSTTE 2010: Call for POSTERS
|
Gudmund Grov |
Mon, 26 Apr 2010 08:39:02 +0100 |
287 lines |
CFP: VSTTE workshops on Theory and on Experiments & Tools
|
Gudmund Grov |
Thu, 15 Apr 2010 17:15:37 +0100 |
66 lines |
Call for papers: 12th International Conference on Formal Engineering Methods (ICFEM 2010), Shanghai, China
|
Jonathan Bowen |
Sun, 11 Apr 2010 23:52:14 +0100 |
164 lines |
6 ProCoS members have posted 4 papers on Academia.edu
|
Richard Price |
Sat, 10 Apr 2010 02:16:55 +0100 |
34 lines |
FMICS 2010: Call for Papers (deadline extended)
|
Marco Roveri |
Wed, 7 Apr 2010 19:36:06 +0200 |
139 lines |
Deadline Extended: 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010)
|
jun sun |
Wed, 7 Apr 2010 19:40:28 +0800 |
86 lines |
REMINDER: FACS Evening Seminar -- joint event with the SCSC -- by Prof. Robin Bloomfield, 14 April, 5.45pm, Birkbeck College: Interdependencies and Resilient Infrastructure
|
Paul Boca |
Tue, 6 Apr 2010 21:06:51 +0100 |
85 lines |
Final Call for Papers: ICGT 2010 -- Abstract submission: 9 Apr '10
|
Eduardo Zambon |
Sat, 3 Apr 2010 17:31:29 +0200 |
283 lines |
Call for Papers (UTP 2010)
|
Huibiao Zhu |
Sat, 3 Apr 2010 16:35:52 +0800 |
152 lines |
UML&FM'09 CFP
|
Sun Meng |
Fri, 2 Apr 2010 18:04:29 +0200 |
177 lines |