|
|
|
|
Size
|
Call for Journal Papers: STVR Special Issue on Tests and Proofs
|
Achim D. Brucker <[log in to unmask]> |
Sat, 25 Feb 2012 13:34:25 +0100 |
93 lines |
Call for Papers: 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2012, Wroclaw, Poland
|
Grzegorz J. Nalepa <[log in to unmask]> |
Sat, 11 Feb 2012 19:54:10 +0100 |
209 lines |
Call for Workshop Proposals - ICSOC-2012: The 10th International Conference on Service-Oriented Computing
|
Jonathan Bowen <[log in to unmask]> |
Wed, 22 Feb 2012 22:32:24 +0000 |
217 lines |
CFP: FTfJP 2012 - 14th ECOOP Workshop on Formal Techniques for Java-like Programs
|
Florin Craciun <[log in to unmask]> |
Sat, 11 Feb 2012 12:35:22 +0200 |
102 lines |
CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
|
Takashi KITAMURA <[log in to unmask]> |
Mon, 13 Feb 2012 17:22:58 +0900 |
118 lines |
FormSERA workshop at ICSE 2012: 2nd CfP
|
Nico Plat <[log in to unmask]> |
Wed, 1 Feb 2012 21:16:03 +0100 |
135 lines |
Ph.D. Studentship at University of Teesside, UK
|
Florin Craciun <[log in to unmask]> |
Sun, 12 Feb 2012 13:17:48 +0200 |
50 lines |
SAFECOMP: March 5th - Deadline for papers
|
Ortmeier, Frank, Prof. <[log in to unmask]> |
Tue, 14 Feb 2012 09:43:19 +0100 |
605 lines |
Special Issue of Science of Computer Programming - post AVoCS 2011
|
Cliff Jones <[log in to unmask]> |
Sat, 11 Feb 2012 09:46:51 +0000 |
63 lines |
[fm-announcements] RV 2012 - 1st Call For Papers
|
Klaus Havelund <[log in to unmask]> |
Sun, 5 Feb 2012 11:35:40 -0800 |
502 lines |
