|
|
|
Size
|
Call for Participation: ATVA 2015
|
jun sun |
Thu, 23 Jul 2015 15:38:58 +0800 |
211 lines |
Postdoctoral Position
|
Shan Lin |
Wed, 22 Jul 2015 22:01:59 -0400 |
39 lines |
TESTBEDS 2015 - 6th International Workshop on Testing Techniques for Event BasED Software
|
Xiao Qu |
Tue, 21 Jul 2015 13:26:56 +0000 |
129 lines |
IoE @ ICDIM 2015
|
<> |
Tue, 21 Jul 2015 14:53:24 +0530 |
106 lines |
BCS-FACS Seminar - Ian Hayes, 16 September 2015, BCS London offices
|
Jonathan Bowen |
Sun, 19 Jul 2015 23:56:24 +0100 |
66 lines |
CFV 2015: ** Deadline Extension ** Submit Your Abstract Until July 25; Paper Until August 1
|
Rozier, Kristin Yvonne (rozierky) |
Sat, 18 Jul 2015 20:14:57 +0000 |
127 lines |
OCL 2015: ** Deadline Extension ** Submit Your Paper Until July 26, 2015
|
Achim D. Brucker |
Fri, 17 Jul 2015 19:23:20 +0200 |
161 lines |
AVoCS 2015: Joint Call for Research Idea Papers & Participation
|
Lin, Yuhui |
Fri, 17 Jul 2015 10:43:19 +0000 |
173 lines |
CfP: 2nd Autumn School on Automatic Analysis and Verification of Complex Systems
|
Martin Fränzle |
Tue, 14 Jul 2015 09:52:47 +0200 |
107 lines |
ICDIM 2015
|
<> |
Mon, 13 Jul 2015 16:46:14 +0530 |
161 lines |
AI4FM 2015: Final call for short contributions
|
Andrius Velykis |
Sun, 12 Jul 2015 14:48:58 +0100 |
138 lines |
Call for Participation: TASE 2015, Nanjing, China, September
|
jun sun |
Sun, 12 Jul 2015 11:15:45 +0800 |
104 lines |
Postdoc Position at SUTD on Attestation
|
jun sun |
Tue, 7 Jul 2015 13:23:07 +0800 |
41 lines |
OCL 2015: Final Call for Papers - Only 10 Days Left
|
Achim D. Brucker |
Mon, 6 Jul 2015 20:25:49 +0200 |
157 lines |
Hybrid Systems Biology 2015: Call for Participation and Posters/Demos
|
Paolo Zuliani |
Mon, 6 Jul 2015 12:42:39 +0100 |
162 lines |
CFV 2015: Second Call for Papers (Constraints in Formal Verification)
|
Rozier, Kristin Yvonne (rozierky) |
Wed, 1 Jul 2015 05:42:51 +0000 |
127 lines |