|
'IoT360' Summer School on the Internet of Things (Oct 27-30, 2015, Rome, Italy |
0
|
601 |
by Anonymous
Jun 19 2015 - 1:30pm |
n/a |
|
ECRTS 2015 - Call for Registration |
0
|
692 |
by Anonymous
May 26 2015 - 3:28pm |
n/a |
|
The 2015 Safe and Secure Systems and Software Symposium (S5) Draft Agenda Is Now Posted! |
0
|
551 |
by Anonymous
May 26 2015 - 3:10pm |
n/a |
|
New Speakers Added to the GCTC Expo Agenda |
0
|
849 |
by Anonymous
May 8 2015 - 4:11pm |
n/a |
|
FM 2015: Call for Participation (20th Intl. Symposium on Formal Methods, Oslo) |
0
|
481 |
by Anonymous
May 7 2015 - 11:57am |
n/a |
|
2015 S5 - Registration is Now Open and There is Still Time to Submit an Abstract! |
0
|
516 |
by Anonymous
May 7 2015 - 11:46am |
n/a |
|
GCTC Festival Updates and Agenda |
0
|
793 |
by Anonymous
May 4 2015 - 10:14am |
n/a |
|
Call for participation: DISCOTEC 2015 (DAIS, FORTE, COORDINATION), June 2-5, 2015, Grenoble, France. |
0
|
695 |
by Anonymous
Apr 22 2015 - 3:31pm |
n/a |
|
CODES+ISSS 2015: Call for Special Sessions |
0
|
552 |
by Anonymous
Apr 16 2015 - 4:18pm |
n/a |
|
"Correctness-by-Construction Approach to Programming" tutorial at FM 2015 - Registration Open |
0
|
935 |
by Anonymous
Apr 15 2015 - 1:28pm |
n/a |
|
2015 HCSS Conference Update |
0
|
685 |
by Anonymous
Apr 13 2015 - 10:36am |
n/a |
|
Invitation to the 15th meeting of the Software Certification Consortium - Annapolis May 3/4, 2015 |
0
|
659 |
by Anonymous
Apr 7 2015 - 9:59am |
n/a |
|
Last chance to register: CPS PWG April 7-8 Face-to-Face meeting at NIST Gaithersburg |
0
|
571 |
by Anonymous
Apr 6 2015 - 10:55am |
n/a |
|
Save the Date - Global City Teams Challenge Festival |
0
|
652 |
by Anonymous
Apr 6 2015 - 10:46am |
n/a |
|
CFP: Ptolemy Miniconference, Oct. 16, 2015, Berkeley |
0
|
696 |
by Anonymous
Mar 31 2015 - 9:52am |
n/a |
|
Transformation Tool Contest 2015 - Call for Solutions |
0
|
631 |
by Anonymous
Mar 27 2015 - 5:18pm |
n/a |
|
Graduate Summer School: Games and Contracts for Cyber-Physical Security |
0
|
2430 |
by Katie Dey
Mar 20 2015 - 10:04am |
n/a |
|
Call For Participation: FormaliSE 2015, Florence, Italy, 18 May 2015 |
0
|
583 |
by Anonymous
Mar 18 2015 - 11:51am |
n/a |
|
Graphs as Models, 11-12 April 2015: Call for Tool Demos |
0
|
667 |
by Anonymous
Mar 16 2015 - 3:46pm |
n/a |
|
2015 Safe and Secure Systems and Software Symposium (S5) - Save the Date! |
0
|
985 |
by Anonymous
Mar 16 2015 - 3:22pm |
n/a |
|
Conference on Simulation-Based Test Beds for Smart Grids at CMU March 30 |
0
|
576 |
by Anonymous
Mar 2 2015 - 5:41pm |
n/a |
|
Mark your Calendar: MPSoC 2015 July 13-17, 2015, Ventura, CA, http://www.mpsoc-forum.org |
0
|
941 |
by Anonymous
Mar 2 2015 - 5:23pm |
n/a |
|
TechJam Webcast and Presentations Now Available |
0
|
587 |
by Anonymous
Feb 26 2015 - 3:55pm |
n/a |
|
DARPA LAUNCHES Robots4Us VIDEO CONTEST FOR HIGH SCHOOL STUDENTS |
0
|
657 |
by Anonymous
Feb 23 2015 - 2:03pm |
n/a |
|
WearSys 2015 call for poster and demo |
0
|
793 |
by Anonymous
Feb 18 2015 - 4:23pm |
n/a |
