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