|
|
|
Size
|
2nd International Summer School on Cyber-Physical Systems, GRENOBLE (FRANCE) JULY 7-10, 2014
|
Ylies Falcone |
Mon, 31 Mar 2014 20:01:26 +0200 |
121 lines |
[ABZ2014] -- Call For Participation
|
Yamine AIT AMEUR |
Mon, 31 Mar 2014 19:00:37 +0200 |
418 lines |
RV 2014: LAST Call for Papers, Deadline in 1 week
|
Runtime Verification |
Mon, 31 Mar 2014 10:29:40 +0200 |
304 lines |
BCS-FACS evening seminars, London, May/June/July 2014
|
Jonathan Bowen |
Sun, 30 Mar 2014 21:09:48 +0100 |
133 lines |
Call for Participation: Formal Methods 2014 (FM 2014), Singapore, May 12-16, 2014
|
Jonathan Bowen |
Sun, 30 Mar 2014 16:10:23 +0100 |
106 lines |
Call for Participation: FM 2014
|
jun sun |
Sun, 30 Mar 2014 00:18:26 +0800 |
113 lines |
AI4FM 2014: Call for Participation
|
Iain Whiteside |
Tue, 25 Mar 2014 16:18:00 +0000 |
74 lines |
PhD position in formal methods at ITU of Copenhagen
|
Alexandar Dimovski |
Mon, 24 Mar 2014 02:51:09 -0700 |
44 lines |
RV 2014: Call for Papers, Deadline in 2 weeks
|
Runtime Verification |
Sun, 23 Mar 2014 16:44:09 +0900 |
308 lines |
2nd CFPapers: 5th IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS 2014), Västerås, Sweden
|
Cristina Seceleanu |
Thu, 20 Mar 2014 02:08:24 +0100 |
144 lines |
SSTiC 2014: March 15, 4th registration deadline
|
GRLMC |
Sat, 8 Mar 2014 16:00:16 +0100 |
249 lines |
Call for Participation: FM 2014, Singapore, May 12-16
|
jun sun |
Sat, 8 Mar 2014 07:47:00 +0800 |
114 lines |
2nd Call for Papers, 9th Biennial FOODSIM Conference, June 23-25, 2014, Oceanopolis, Brest, France
|
Philippe Geril |
Wed, 5 Mar 2014 13:02:28 +0000 |
145 lines |
2nd Call for Paper: ICFEM 2014, Luxembourg, 3-7 November 2014
|
Liu Yang (Asst Prof) |
Tue, 4 Mar 2014 12:35:29 +0000 |
236 lines |