|
Integrated Formal Methods 2014 - Call for Participation |
0
|
954 |
by Anonymous
Aug 18 2014 - 12:40pm |
n/a |
|
PV@CONCUR 2014 - First Workshop on Parameterized Verification |
0
|
683 |
by Anonymous
Aug 1 2014 - 1:57pm |
n/a |
|
Summer School on Cyber Physical Systems for Industrial Applications: Wireless self-powered vibration monitoring and control |
0
|
689 |
by Anonymous
Jul 21 2014 - 12:33pm |
n/a |
|
Resilience Week 2014, Denver, Colorado - Early Registration Ends Today! |
0
|
834 |
by Anonymous
Jul 11 2014 - 1:39pm |
n/a |
|
Student Poster Session during MobiHoc 2014 Workshop on "Airborne Networks and Communications" |
1
|
675 |
by knamuduri
Jun 3 2014 - 2:22pm |
by knamuduri
Jul 1 2014 - 2:05pm |
|
CFP for Demos and Posters at MODELS 2014 |
0
|
575 |
by Anonymous
May 19 2014 - 1:09pm |
n/a |
|
Joint CFP for the Workshop Papers at MODELS 2014 |
0
|
1152 |
by Anonymous
May 5 2014 - 2:53pm |
n/a |
|
Online course on Cyber-Physical Systems on edX |
0
|
1680 |
by Anonymous
May 5 2014 - 1:31pm |
n/a |
|
2014 CAD Contest Call for Participation |
0
|
757 |
by Anonymous
May 5 2014 - 1:29pm |
n/a |
|
ACP Summer School on Practical Constraint Programming (deadline extension) |
0
|
712 |
by Anonymous
May 5 2014 - 1:09pm |
n/a |
|
Call for Participation: FormaliSE 2014 (co-located with ICSE 2014) |
0
|
644 |
by Anonymous
Apr 21 2014 - 2:10pm |
n/a |
|
Call for Participation: Formal Methods for Timing Verification (FMTV'14) |
0
|
664 |
by Anonymous
Apr 21 2014 - 1:58pm |
n/a |
|
RePP 2014 workshop call for participation: Grenoble, France, Sunday April 6th, 2014 |
0
|
624 |
by Anonymous
Mar 26 2014 - 3:23pm |
n/a |
|
Call for Presentations: 2014 HCSS Conference Update |
0
|
658 |
by Anonymous
Mar 26 2014 - 2:56pm |
n/a |
|
Call for Solutions -- Transformation Tool Contest 2014 |
0
|
742 |
by Anonymous
Mar 26 2014 - 1:58pm |
n/a |
|
ACACES 2014: Call for participation |
0
|
856 |
by Anonymous
Mar 12 2014 - 1:49pm |
n/a |
|
CfP: HCSS Conference 2014 |
0
|
897 |
by Katie Dey
Feb 24 2014 - 10:32am |
n/a |
|
Call For Posters: DATE 2014 - Workshop on Performance, Power and Predictability of Many-Core Embedded Systems |
0
|
780 |
by Anonymous
Feb 18 2014 - 12:08pm |
n/a |
|
2nd Call for Posters and Participation - DUHDe |
0
|
827 |
by Anonymous
Feb 18 2014 - 11:50am |
n/a |
|
1st Call for Posters and Participation - Design Automation for Understanding Hardware Designs (DATE-W4) |
0
|
755 |
by Anonymous
Feb 4 2014 - 3:16pm |
n/a |
|
IPSN 2014 CALL FOR DEMOS AND POSTERS |
0
|
1010 |
by Anonymous
Feb 3 2014 - 2:00pm |
n/a |
|
2nd Call For Posters: DATE 2014 - Workshop on Performance, Power and Predictability of Many-Core Embedded Systems |
0
|
761 |
by Anonymous
Jan 22 2014 - 2:25pm |
n/a |
|
Call for Cases: (TTC) 2014 |
0
|
1083 |
by Anonymous
Jan 8 2014 - 4:07pm |
n/a |
|
CfP - RATE - Workshop on Real-Time Ethernet - Call for Participation |
0
|
774 |
by Anonymous
Nov 12 2013 - 11:48am |
n/a |
|
Call for Participation: ACM SenSys, BuildSys, ENSsys, SenseMine 2013 |
0
|
1049 |
by Anonymous
Oct 15 2013 - 4:54pm |
n/a |
