emBO++ 2024 : Meeting The Experts On Embedded SystemsBochum, Germany |
||
When: Mar 14, 2024 - Mar 16, 2024 | ||
emBO++ is passion: passion for a better IT infrastructure. This is because most embedded systems work with simple, sometimes outdated C code, while visitors to emBO++ want to integrate modern C++ int... | ||
SOFTWARE DEVELOPMENT EMBEDDED DEVICES EMBEDDED DEVELOPMENT | ||
|
||
When: Jan 17, 2024 - Jan 17, 2024 Submission Deadline: Nov 17, 2023 | ||
================================================================== • 6th Workshop on Accelerated Machine Learning (AccML) • Co-located with the HiPEAC 2024 Conference • (https://www... | ||
COMPUTER ARCHITECTURE COMPUTER SYSTEMS ACCELERATORS MACHINE LEARNING | ||
|
||
When: Oct 23, 2023 - Oct 23, 2023 Submission Deadline: Aug 4, 2023 | ||
CALL FOR PAPERS • 12th Workshop on Programming Languages and Operating Systems • (PLOS 2023) • October 23, 2023 • Koblenz, Germany • https://plos-workshop.org/2023/ &bu... | ||
OPERATING SYSTEMS PROGRAMMING LANGUAGES | ||
|
||
When: Sep 26, 2022 - Sep 27, 2022 Submission Deadline: Jul 29, 2022 | ||
FMAS 2022 is a two-day workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work in the area, discuss key ch... | ||
FORMAL METHODS CYBER-PHYSICAL SYSTEMS | ||
|
||
When: Sep 5, 2022 - Sep 5, 2022 Submission Deadline: Jun 15, 2022 | ||
Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for... | ||
FORMAL METHODS CYBER-PHYSICAL SYSTEMS VERIFICATION | ||
|
||
When: Sep 6, 2022 - Sep 6, 2022 Submission Deadline: May 9, 2022 | ||
In recent years it has become evident that the use of software to perform critical functions is on the rise. As a result, dependable embedded systems are getting more intelligent and automated. &bul... | ||
FORMAL METHODS CYBER-PHYSICAL SYSTEMS SECURITY DATA SCIENCE | ||
MARESEC 2022 : European Workshop on Maritime Systems Resilience and SecurityBremerhaven, Germany & ONLINE |
||
When: Jun 20, 2022 - Jun 20, 2022 Submission Deadline: Apr 4, 2022 | ||
The second European Workshop on Maritime Systems Resilience and Security (MARESEC 2022) is dedicated to the research on Resilience, Security, Technology and related Ethical, Legal, and Social Aspects... | ||
RESILIENCE SECURITY MARITIME ELSA | ||
|
||
When: Apr 2, 2022 - Apr 3, 2022 Submission Deadline: Jan 10, 2022 | ||
MARS 2022 - CALL FOR PAPERS - Munich (Germany) - 2-3 April 2022 • Call for Papers • Models for Formal Analysis of Real Systems • (MARS 2022) • 2-3 April 2022 • Affiliate... | ||
NETWORKS FORMAL METHODS CYBER-PHYSICAL SYSTEMS MODELING | ||
|
||
When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Jan 24, 2022 | ||
Scope of the Workshop • System variants often arise by configuring parameters that have a direct impact on the system’s behavior. Most prominently, in feature-oriented system design, features... | ||
FORMAL METHODS CYBER-PHYSICAL SYSTEMS DESIGN PERFORMANCE | ||
|
||
When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Feb 4, 2022 | ||
The increasingly concurrent and parallel landscape of hardware and software infrastructures demands the exploration and understanding of a wide variety of foundational and practical ideas. The Intern... | ||
PROGRAMMING LANGUAGES DISTRIBUTION AND CONCURRENCY TYPE SYSTEMS VERIFICATION | ||
|
||
When: Mar 22, 2021 - Mar 26, 2021 Submission Deadline: Nov 09, 2020 | ||
Labelling user data is a central part of the design and evaluation of pervasive systems that aim to support the user through situation-aware reasoning. It is essential both in designing and training t... | ||
ARTIFICIAL INTELLIGENCE UBIQUITOUS COMPUTING DATA SCIENCE ANNOTATION | ||
RALS 2020 : 1st Workshop on Robust and Adaptive Large Scale Software SystemsKarlsruhe, Germany |
||
When: Sep 29, 2020 - Oct 01, 2020 Submission Deadline: May 15, 2020 | ||
The workshop schedule focuses on a significant amount of discussion. Each session consists of three talks of 20 minutes each with 2 minutes for clarification questions. The ta... | ||
COMPUTER SCIENCE SOFTWARE SYSTEMS | ||
|
||
When: Jul 29, 2020 - Jul 31, 2020 Submission Deadline: Mar 28, 2020 | ||
In the advent of autonomous driving the industry longs for appropriately educated employees in a wider range of fields than ever before. To meet the need of the industry academic teachers and members ... | ||
AUTOMOTIVE SOFTWARE SOFTWARE ENGINEERING EDUCATION MACHINE LEARNING | ||
|
||
When: Sep 15, 2019 - Sep 17, 2019 Submission Deadline: Jul 5, 2019 | ||
MPM4CPS, the First International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems is organized as part of the IEEE/ACM 22nd International Conference on Model Driven Engineering Language... | ||
CYBER-PHYSICAL SYSTEMS MODELLING SIMULATION | ||
|
||
When: Sep 17, 2019 - Sep 17, 2019 Submission Deadline: Jun 23, 2019 | ||
... | ||
HYPERTEXT INFORMATION SYSTEMS KNOWLEDGE MANAGEMENT HUMAN COMPUTER INTERACTION | ||
|
||
When: Jul 9, 2019 - Jul 9, 2019 Submission Deadline: Apr 16, 2019 | ||
... | ||
REAL-TIME SECURITY DEPENDABILITY EMBEDDED SYSTEMS | ||
|
||
When: Sep 9, 2019 - Sep 13, 2019 Submission Deadline: Jun 3, 2019 | ||
... | ||
THEORY PROGRAMMING LANGUAGES COGNITIVE SYSTEMS REASONING | ||
HPC-IODC 2019 : 5th HPC I/O in the Data Center WorkshopFrankfurt Germany |
||
When: Jun 21, 2019 - Jun 21, 2019 Submission Deadline: Apr 19, 2019 | ||
The 5th HPC I/O in the Data Center Workshop (HPC-IODC 2019) in conjunction with • ISC High Performance on Thursday June 21th, 2019, in Frankfurt, Germany. • == Workshop overview == •... | ||
STORAGE HPC FILE SYSTEMS | ||
PaPoC 2019 : 6th Workshop on Principles and Practice of Consistency for Distributed DataDresden Germany (with Eurosys 2019) |
||
When: Mar 25, 2019 - Mar 25, 2019 Submission Deadline: Jan 24, 2019 | ||
Call for Papers • Submission Deadline 24th Jan 2019 • Author Notification 14th Feb 2019 • Camera Ready Submission 22th Feb 2019 • PaPoC 2019 25th Mar 2019 • Submission Li... | ||
DISTRIBUTED SYSTEMS STORAGE SYSTEMS AVAILABLE CONSISTENCY REPLICATION | ||
Find and Compare Upcoming Systems Workshops in Germany. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.