|
Call for Papers: Embedded Systems Letters Special Issue on Real-Time Technologies in CPS |
0
|
415 |
by Anonymous
Jan 4 2018 - 1:59pm |
n/a |
|
CALL FOR PAPERS - 2nd IFAC Conference on Cyber-Physical & Human Systems |
0
|
1023 |
by Anonymous
Dec 21 2017 - 3:35pm |
n/a |
|
CfP: 11th International Conference on Model Transformation (ICMT 2018) |
0
|
371 |
by Anonymous
Dec 14 2017 - 12:07pm |
n/a |
|
CfP: 13th Workshop on Parallel Systems and Algorithms (PASA 2018) |
0
|
404 |
by Anonymous
Dec 13 2017 - 11:46am |
n/a |
|
CfP: SCOPE 2018 with GCTC |
0
|
568 |
by dabhishe
Dec 12 2017 - 4:02pm |
n/a |
|
CfP: 21st International Workshop on Software and Compilers for Embedded Systems (SCOPES 2018) |
0
|
494 |
by Anonymous
Dec 8 2017 - 11:27am |
n/a |
|
CfP: 3rd Workshop on formal reasoning about Causation, Responsibility, and Explanations in Science and Technology (CREST 2018) |
0
|
364 |
by Anonymous
Dec 8 2017 - 11:16am |
n/a |
|
CfP: 22nd International Symposium on Formal Methods (FM 2018) |
0
|
431 |
by Anonymous
Dec 8 2017 - 11:03am |
n/a |
|
CFP: JETCAS special issue on energy-quality scalable circuits and systems for sensing and computing |
0
|
448 |
by Anonymous
Dec 8 2017 - 10:50am |
n/a |
|
CfP: IEEE Computer Special Issue on Resiliency in CPS |
0
|
416 |
by Anonymous
Dec 8 2017 - 10:46am |
n/a |
|
Extended: 12th International Conference on Verification and Evaluation of Computer and Communication Systems (VECoS 2018) |
0
|
570 |
by Anonymous
Apr 20 2018 - 12:34pm |
n/a |
|
CfP: IEEE Transactions on Industrial Informatics Special Section Call for Papers: Resilience in Energy Industries |
0
|
1628 |
by Anonymous
Dec 8 2017 - 10:25am |
n/a |
|
CfP - Security & Privacy in Automotive & Aerospace CPS - Springer Journal of Hardware & Systems Security |
0
|
442 |
by selcuk
Nov 30 2017 - 12:56am |
n/a |
|
CfP: IEEE Transactions on Industrial Informatics Special Section on Resilience in Energy Industries |
0
|
647 |
by Anonymous
Nov 29 2017 - 4:36pm |
n/a |
|
Call for Papers: First Workshop on Formal Methods for ML-Enabled Autonomous Systems (FOMLAS 2018) |
0
|
422 |
by el_wehby
Nov 29 2017 - 12:48pm |
n/a |
|
CfP: The 29th International Conference on Concurrency Theory (CONCUR 2018) |
0
|
452 |
by Anonymous
Nov 21 2017 - 2:25pm |
n/a |
|
CfP Extended Deadline: 6th International Conference on Software Engineering and Formal Methods (SEFM 2018) |
0
|
381 |
by Anonymous
Feb 28 2018 - 2:48pm |
n/a |
|
CfP: 23rd Conf. Reliable Software Technologies, Ada-Europe 2018 |
0
|
409 |
by Anonymous
Nov 21 2017 - 1:56pm |
n/a |
|
CfP - Impending Deadline: Conference on Formal Methods in Software Engineering (FORMALISE 2018) |
0
|
470 |
by Anonymous
Jan 19 2017 - 1:43pm |
n/a |
|
CfP: 10th International Conference on Formal Ontology in Information Systems (FOIS 2018) |
0
|
405 |
by Anonymous
Nov 21 2017 - 1:33pm |
n/a |
|
CfP: The 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) |
0
|
441 |
by Anonymous
Nov 21 2017 - 1:23pm |
n/a |
|
CfP: Impending Deadline: 10th Workshop on Rapid Simulation and Performance Evaluation: Methods and Tools - RAPIDO |
0
|
380 |
by Anonymous
Nov 20 2017 - 6:59pm |
n/a |
|
CFP: DATE 2018 Workshop on "New Platforms for Future Cars" |
0
|
380 |
by Anonymous
Nov 20 2017 - 6:53pm |
n/a |
|
Early Submission closes 1st Dec - Intelligent Systems Conference 2018 (London) |
0
|
373 |
by Anonymous
Nov 20 2017 - 6:44pm |
n/a |
|
CfP - IMPENDING DEADLINE: ECYPS’2018 - the 6th EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems |
0
|
302 |
by Anonymous
Jan 26 2018 - 5:09pm |
n/a |
