|
|
|
Size
|
Call for papers (Deadline Extended): MULTICONF-10, USA, July 2010
|
James Heralds |
Fri, 26 Mar 2010 21:36:03 -0400 |
84 lines |
Deadline extension - LfSA'10 - Logics for System Analysis
|
Philipp Ruemmer |
Fri, 26 Mar 2010 13:44:58 +0000 |
140 lines |
IEEE TASE 2010: Call for poster papers (to be included in the symposium proceedings)
|
Farn Wang |
Thu, 25 Mar 2010 21:58:17 +0800 |
224 lines |
Call for Papers (TASE 2010)
|
Huibiao Zhu |
Tue, 23 Mar 2010 11:04:10 +0800 |
261 lines |
VSTTE 2010: Verified Software -- Final Call for Conference Papers
|
Gudmund Grov |
Mon, 22 Mar 2010 18:19:54 +0100 |
275 lines |
NASSLLI 2010: Open for Registration
|
Joey Frazee |
Mon, 22 Mar 2010 08:42:38 -0500 |
61 lines |
Reversible Computation 2010
|
Paolo Zuliani |
Sun, 21 Mar 2010 18:21:23 -0400 |
132 lines |
FMICS 2010: Call for Papers
|
Marco Roveri |
Sun, 21 Mar 2010 12:15:12 +0100 |
138 lines |
Call for Papers (ICFEM 2010)
|
Huibiao Zhu |
Sun, 21 Mar 2010 19:10:22 +0800 |
304 lines |
Final CFP: LfSA'10 - Logics for System Analysis
|
Philipp Ruemmer |
Fri, 19 Mar 2010 10:45:37 +0000 |
130 lines |
FACS Evening Seminar -- joint event with the SCSC -- by Prof. Robin Bloomfield, 14 April, Birkbeck College: Interdependencies and Resilient Infrastructure
|
Paul Boca |
Wed, 17 Mar 2010 23:10:04 +0000 |
80 lines |
Position in Softw. Engin. & IT Security, Fraunhofer ISST, Dortmund (Germany)
|
Jan Ju''rjens |
Sun, 14 Mar 2010 23:53:18 +0100 |
50 lines |
CFP, LfSA10 -- Logics for System Analysis 2010 at FLoC, Edinburgh
|
Philipp Ruemmer |
Sat, 13 Mar 2010 16:50:48 +0000 |
130 lines |
CFP with Extended Deadline of Mar. 21, 2010: WORLDCOMP'10 (conferences in comp. sci., comp. eng., and applied computing), USA, July 2010
|
A. M. G. Solo |
Thu, 11 Mar 2010 19:59:39 -0800 |
243 lines |
Call for papers: MULTICONF-10, USA, July 2010
|
James Heralds |
Wed, 10 Mar 2010 19:53:11 -0500 |
89 lines |
VSTTE 2010: Verified Software -- Third Call for Papers
|
Gudmund Grov |
Mon, 8 Mar 2010 11:41:52 +0000 |
285 lines |
REMINDER: BCS-FACS Evening Seminar by Prof Mike Holcombe, 10 March, London: Formal methods, supercomputers and simulation --- understanding complex biological, economic and social systems
|
Paul Boca |
Fri, 5 Mar 2010 22:52:39 +0000 |
87 lines |
CFP with Extended Deadline of Mar. 21, 2010: The 2010 International Conference on Embedded Systems and Applications (ESA'10), USA, July 2010
|
A. M. G. Solo |
Thu, 4 Mar 2010 15:02:14 -0800 |
328 lines |
Final CALL FOR PAPERS: 8th International Symposium on Automated Technology for Verification and Analysis (ATVA 2010)
|
jun sun |
Tue, 2 Mar 2010 10:53:23 +0800 |
161 lines |
(PN) CFP: NASSLLI 2010 Student Session
|
Joey Frazee |
Wed, 24 Feb 2010 13:29:50 -0600 |
95 lines |