|
|
|
Size
|
AVoCS 2012 Call for Papers
|
AVOCS 2012 |
Mon, 27 Feb 2012 15:22:19 +0100 |
133 lines |
Call for Journal Papers: STVR Special Issue on Tests and Proofs
|
Achim D. Brucker |
Sat, 25 Feb 2012 13:38:42 +0100 |
94 lines |
CALL FOR WORSHOP PROPOSALS (ICSOC-2012: The 10th International Conference on Service-Oriented Computing)
|
Huibiao Zhu |
Mon, 20 Feb 2012 08:18:32 +0800 |
187 lines |
1st Call for Papers, 4th Annual NASTEC'2012, August 16-18, 2012, Digipen Institute of Technology, Redmond, USA
|
Philippe Geril |
Tue, 14 Feb 2012 14:28:37 +0000 |
237 lines |
1st CFP: ICFEM 2012 - 14th International Conference on Formal Engineering Methods
|
Takashi KITAMURA |
Mon, 13 Feb 2012 21:42:28 +0900 |
124 lines |
Special Issue of Science of Computer Programming - post AVoCS 2011
|
Jonathan Bowen |
Sat, 11 Feb 2012 19:12:28 +0000 |
71 lines |
Call for Papers: 10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - MSVVEIS 2012, Wroclaw, Poland
|
Grzegorz J. Nalepa |
Sat, 11 Feb 2012 19:52:29 +0100 |
210 lines |
Ph.D. Studentship at University of Teesside, UK
|
Florin Craciun |
Sat, 11 Feb 2012 17:07:31 +0200 |
51 lines |
SAFECOMP: March 5th - Deadline for papers
|
Ortmeier, Frank, Prof. |
Sat, 11 Feb 2012 15:05:33 +0100 |
190 lines |
CFP: FTfJP 2012 - 14th ECOOP Workshop on Formal Techniques for Java-like Programs
|
Florin Craciun |
Fri, 10 Feb 2012 23:21:10 +0200 |
103 lines |
TIME 2012 Call for Papers
|
Ben Moszkowski |
Wed, 8 Feb 2012 16:38:33 GMT |
221 lines |
RC 2012 (Reversible Computation)
|
Paolo Zuliani |
Mon, 6 Feb 2012 22:16:39 -0500 |
128 lines |
[QAPL 2012] Call for Participation
|
Mieke Massink |
Thu, 2 Feb 2012 10:01:34 +0100 |
124 lines |
2nd Call for Papers - 8th Bi-Annual FOODSIM'2012, June 18-20, 2012, Fraunhofer Institute IVV, Freising, Germany
|
Philippe Geril |
Wed, 1 Feb 2012 13:40:45 +0000 |
161 lines |