|
||
When: Mar 21, 2023 - Mar 24, 2023 Submission Deadline: Sep 26, 2022 | ||
Digital Forensics Research Workshop EU 2023 (DFRWS EU 2023) • https://dfrws.org/conferences/dfrws-eu-2023 • March 21-24, 2023 • Bonn, Germany • Submission deadlines: • -... | ||
DIGITAL FORENSICS | ||
|
||
When: Sep 26, 2022 - Sep 26, 2022 Submission Deadline: Jul 31, 2022 | ||
High levels of safety, security, and privacy standards require formal methods to specify and develop compliant software (sub-)systems. Any standard comes with an assessment process, which requires a ... | ||
FORMAL METHODS THEORETICAL COMPUTE SCIENCE | ||
|
||
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 4, 2022 - Sep 4, 2022 Submission Deadline: Jun 3, 2022 | ||
======================================================================== • 5th International Workshop Gam-R - Gamification Reloaded in conjunction • with ACM In-Cooperation Mensch und Com... | ||
GAMIFICATION GAMES-BASED LEARNING SERIOUS GAMES PERSAVIVE GAMES | ||
|
||
When: Sep 26, 2022 - Sep 26, 2022 Submission Deadline: May 15, 2022 | ||
BESCHREIBUNG • ------------ • Nach wie vor sind große Unternehmen Vorreiter im Bereich der künstlichen Intelligenz. So gaben in 2021 laut dem Institut der Deutschen Wirtschaft 40% der G... | ||
ARTIFICIAL INTELLIGENCE SME MACHINE LEARNING | ||
|
||
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 | ||
|
||
When: Sep 5, 2022 - Sep 8, 2022 Submission Deadline: Apr 22, 2022 | ||
The 17th International Workshop on Acoustic Signal Enhancement (IWAENC 2022) will be held at the Welcome Congress Hotel Bamberg in 2022. Since its first edition in Berlin, Germany, in September 1989,... | ||
ACOUSTICS SIGNAL PROCESSING SPEECH AUDIO | ||
|
||
When: Jun 5, 2022 - Jun 9, 2022 Submission Deadline: Mar 15, 2022 | ||
What are the new frontiers of autonomous driving: Are there open technical or non-technical issues that impede autonomous driving now or in the upcoming future? Can cognitive inspiration and machine ... | ||
AUTONOMOUS DRIVING AUTONOMOUS VEHICLES | ||
|
||
When: Sep 19, 2022 - Sep 20, 2022 Submission Deadline: May 31, 2022 | ||
iWoar is an international workshop with conference character, which is organized by Fraunhofer IGD and the University of Rostock. This year's workshop is held in Rostock, Germany. The workshop focuse... | ||
ARTIFICIAL INTELLIGENCE HUMAN INTERACTION PATTERN RECOGNITION HEALTH | ||
|
||
When: Sep 13, 2022 - Sep 13, 2022 Submission Deadline: Jun 5, 2022 | ||
The 15th Workshop on Social and Human Aspects of Business Process Management (BPMS2’22) • As part of BPM 2022 • 20th International Conference on Business Process Management • Sept... | ||
SOCIAL MEDIA BUSINESS PROCESS PLATFORMS | ||
|
||
When: Jun 2, 2022 - Jun 2, 2022 Submission Deadline: Apr 4, 2022 | ||
3rd ISC HPC International Workshop on Monitoring & Operational Data Analytics (MODA22) • June 02, 2022, Hamburg, Germany • Website: moda.dmi.unibas.ch • Submission: https://easychai... | ||
HIGH PERFORMANCE COMPUTING DATA ANALYTICS MACHINE LEARNING DATA CENTER | ||
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 2, 2022 Submission Deadline: Feb 1, 2022 | ||
The First Workshop on Reproducibility and Replication of Research Results (RRRR 2022) is part of ETAPS 2022 in Munich, Germany. It provides a forum to present novel approaches to foster reproducibili... | ||
FORMAL METHODS VERIFICATION TEST SOFTWARE | ||
|
||
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 13, 2022 | ||
Many Program Verification and Synthesis problems of interest can be modeled • directly using Horn clauses and many recent advances in the CLP and CAV • communities have centered around ef... | ||
PROGRAM VERIFICATION PROGRAM SYNTHESIS CONSTRAINED HORN CLAUSES | ||
|
||
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 | ||
ISon 2022 : Interactive Sonification Workshop 2022Delmenhorst, near Bremen, Germany |
||
When: Sep 22, 2022 - Sep 23, 2022 Submission Deadline: Jun 16, 2022 | ||
The Interactive Sonification workshop (ISon) will be a hybrid event, taking place in September 22nd to 23rd 2022. Interactive Sonification is the specialized research topic concerned with the use of ... | ||
SONIFICATION PSYCHOACOUSTICS AUDIO MULTIMEDIA | ||
Find and Compare Upcoming Workshops in Germany in 2022. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.