 KLEE 2022 : 3rd International KLEE Workshop on Symbolic ExecutionLondon, UK and Online |
||
| When: Sep 15, 2022 - Sep 16, 2022 Submission Deadline: Jul 14, 2022 | ||
| # Call for Presentations • We solicit proposals for presentations related to the KLEE infrastructure and symbolic execution more generally. In particular, we welcome three types of contribution... | ||
 |
||
| When: Oct 23, 2022 - Oct 25, 2022 Submission Deadline: Jul 20, 2022 | ||
| Are you working on model-based development of automotive systems? • Submit your work at the 4th international workshop on Modeling in Automotive System and Software Engineering (MASE) co-locate... | ||
| MODELING MASE MODELS AUTOMOTIVE | ||
 |
||
| When: Oct 1, 2022 - Oct 3, 2022 Submission Deadline: Jul 10, 2022 | ||
| CALL FOR PAPERS - IWBIS 2022 • The International Workshop on Big Data and Information Security (IWBIS) provides an international forum designed to examine key critical innovations in the resear... | ||
| COMPUTER SCIENCE BIG DATA INFORMATION SECURITY | ||
 |
||
| When: Nov 2, 2022 - Nov 2, 2022 Submission Deadline: Jul 1, 2022 | ||
| --------------- • CALL FOR PAPERS • --------------- • BDL 2022 • Workshop on Big Data & Deep Learning in • High Performance Computing • Bordeaux, France, November ... | ||
| HIGH PERFORMANCE COMPUTING BIG DATA DEEP LEARNING | ||
 OCL 2022 : 21st International Workshop on OCL and Textual ModelingMontreal, Canada |
||
| When: Oct 23, 2022 - Oct 25, 2022 Submission Deadline: Jul 20, 2022 | ||
| Modeling started out with UML and its precursors as a graphical notation. Such visual representations enable direct intuitive capturing of reality, but they have weaknesses: for example, detailed vis... | ||
| SOFTWARE ENGINEERING MODELING MODELING LANGUAGES MODEL-BASED ENGINEERING | ||
|
|
||
| When: Nov 18, 2022 - Nov 18, 2022 Submission Deadline: Jul 24, 2022 | ||
| In conjunction with the ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) - https://2022.esec-fse.org • **WORKSHOP ORGANIZER... | ||
| PRIVACY SOFTWARE ENGINEERING KNOWLEDGE DISCOVERY SECURITY | ||
 |
||
| When: Nov 4, 2022 - Nov 4, 2022 Submission Deadline: Jul 22, 2022 | ||
| HiPNet 2022: 4th High-Precision, Predictable, and Low-Latency Networking Workshop • ********************************************************************** • 4th International Workshop on ... | ||
| NETWORKING QOS MANAGEMENT PROTOCOLS | ||
|
|
||
| When: Oct 15, 2022 - Oct 15, 2022 Submission Deadline: Jul 5, 2022 | ||
| CALL FOR PAPERS • The 6th INFORMS Workshop on Data Science • October 15, 2022, Indianapolis, Indiana • Hosted by INFORMS College on Artificial Intelligence • The INFORMS Works... | ||
| ARTIFICIAL INTELLIGENCE DATA SCIENCE DATA ANALYTICS BUSINESS ANALYTICS | ||
 7th IEEE Wireless-Sec 2022 : The Seventh IEEE Workshop on 5G and Beyond Wireless Security (7th IEEE Wireless-Sec) with IEEE GLOBECOM 2022Rio de Janeiro, Brazil and Virtual |
||
| When: Dec 4, 2022 - Dec 8, 2022 Submission Deadline: Jul 25, 2022 | ||
| The Seventh IEEE Workshop on 5G and Beyond Wireless Security (7th IEEE Wireless-Sec) • with IEEE GLOBECOM 2022, 4–8 December 2022 - Rio de Janeiro, Brazil - Hybrid: In-Person and Virtual Conf... | ||
| 5G WIRELESS SECURITY CYBER | ||
 |
||
| When: Dec 4, 2022 - Dec 8, 2022 Submission Deadline: Jul 15, 2022 | ||
| Sustainable Future Ultra Dense Networks (FutureUDNs) include vehicular environments, smart cities and buildings and envisage the most important components in future networks: frequency spectrum usage... | ||
| ULTRA DENSE NETWORKS SUSTAINABILITY SPECTRUM MANAGEMENT BUSINESS ORIENTED STRATEGIES | ||
 |
||
| When: Nov 17, 2022 - Nov 18, 2022 Submission Deadline: Jul 28, 2022 | ||
| ********************************************************************** • CALL FOR PAPERS • ********************************************************************** • A-TEST 2022 &bul... | ||
| SOFTWARE TESTING TEST AUTOMATION TEST TOOLS | ||
 |
||
| When: Oct 12, 2022 - Oct 17, 2022 Submission Deadline: Jul 11, 2022 | ||
| VarDial 2022 - Ninth Workshop on NLP for Similar Languages, Varieties and Dialects • VarDial 2022: https://sites.google.com/view/vardial-2022 • Shared Tasks: https://sites.google.com/view... | ||
| CLOSELY RELATED LANGUAGES SIMILAR VARIETIES DIALECTS | ||
|
|
||
| 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: Oct 16, 2022 - Oct 16, 2022 Submission Deadline: Jul 22, 2022 | ||
| VisGuides: 4th IEEE VIS Workshop on Visualization Guidelines – Visualization Guidelines in Research, Design, and Education • This year’s topic: Visualization Research in the Wild • 16... | ||
| VISUALIZATION | ||
 WSACC 2022 : Workshop on Smart and Circular CitiesPaphos, Cyprus |
||
| When: Sep 26, 2022 - Sep 29, 2022 Submission Deadline: Jul 1, 2022 | ||
| Organized in the scope of the 8th IEEE International Smart Cities Conference 2022, 26-29 September 2022, Aliathon Resort, Paphos, Cyprus, attend.ieee.org/isc2-2022/ • Smart Cities and the IoT, ... | ||
| SMART CITY IOT SUSTAINABILITY AI | ||
 |
||
| When: Sep 19, 2022 - Sep 20, 2022 Submission Deadline: Jul 1, 2022 | ||
| The increasing usage of machine learning (ML) coupled with the software architectural challenges of the modern era has given rise to two broad research challenges: i) Software architecture (SA) for M... | ||
| SOFTWARE ARCHITECTURE MACHINE LEARNING ARTIFICIAL INTELLIGENCE SOFTWARE ENGINEERING | ||
 |
||
| When: Dec 4, 2022 - Dec 8, 2022 Submission Deadline: Jul 15, 2022 | ||
| [Apologies, if you receive multiple copies of this CFP] • CALL FOR PAPERS • IEEE GLOBECOM IoST-5G&B (3rd Workshop on Recent Trends of Internet of Softwarized Things- 5G & B) • Confe... | ||
| INTERNET OF SOFTWARIZED THINGS 5G NETWORK COMMUNICATION | ||
 |
||
| When: Sep 26, 2022 - Sep 30, 2022 Submission Deadline: Jul 1, 2022 | ||
| IT devices are day-by-day becoming more pervasive in several application fields and in the everyday life. The major driving factors are the ever increasing coverage of the Internet connectivity, the ... | ||
| SECURITY COMPUTER SCIENCE | ||
ERROR 2022 : 2nd Workshop on E-science ReseaRch leading tO negative ResultsSalt Lake City, Utah |
||
| When: Oct 11, 2022 - Oct 14, 2022 Submission Deadline: Jul 8, 2022 | ||
| Call for papers: • =========================== • 2nd Workshop on • E-science ReseaRch leading tO negative Results (ERROR) • in conjunction with • eScience 2022 • S... | ||
| ESCIENCE WORKFLOW ERROR NEGATIVE | ||
|
|
||
| When: Sep 18, 2022 - Sep 23, 2022 Submission Deadline: Jul 7, 2022 | ||
| Modern online services continuously generate data at very fast rates. This continuous flow of data encompasses content - e.g. posts, news, products, comments -, but also user feedback - e.g. ratings,... | ||
| RECOMMENDER SYSTEMS ARTIFICIAL INTELLIGENCE DATA SCIENCE MACHINE LEARNING | ||
|
|
||
| When: Jul 23, 2022 - Jul 25, 2022 Submission Deadline: May 31, 2022 | ||
| Description of Workshop • DiverseInAI.org is an affinity group which aims to foster links between participants from underrepresented populations in the field of artificial intelligence. After o... | ||
| MACHINE LEARNING DIVERSITY IN AI WOMEN IN MACHINE LEARNING DEEP LEARNING | ||
 |
||
| When: Oct 28, 2022 - Oct 30, 2022 Submission Deadline: Jul 1, 2022 | ||
| The 14th International Workshop on Cyberspace Security and Artificial Intelligence (CAI-2022) • cybersecai.org • To be held in conjunction with IEEE TrustCom-2022, 28-30 October 2022, Wuh... | ||
| CYBER SECURITY ARTIFICIAL INTELLIGENCE TRUST PRIVACY | ||
|
|
||
| When: Jul 11, 2022 - Jul 15, 2022 Submission Deadline: May 22, 2022 | ||
| INRA 2022 in conjunction with SIGIR 2022. • Daily news consumption has crucial importance where it affects personal beliefs, decision making, political voting and world views in general. The ne... | ||
| NEWS RECOMMENDER SYSTEM | ||
|
|
||
| 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 19, 2022 - Sep 20, 2022 Submission Deadline: Jul 1, 2022 | ||
| MOTIVATION AND SCOPE • The way services and information are currently delivered to a multitude of end-users is changing impressively thanks to the availability of new technologies (e.g., IoT co... | ||
| FORMAL METHODS VERIFICATION SOFTWARE ENGINEERING | ||
|
|
||
| When: Jul 23, 2022 - Jul 25, 2022 Submission Deadline: May 31, 2022 | ||
| ===================================================== • CDCEO 2022 • 2nd workshop on Complex Data Challenges in Earth Observation • Vienna, Austria, July 23-25th, 2022 (exact date T... | ||
| EARTH OBSERVATION REMOTE SENSING ARTITIFICAL INTELLIGENCE MACHINE LEARNING | ||
|
|
||
| When: Oct 23, 2022 - Oct 25, 2022 Submission Deadline: Jul 20, 2022 | ||
| MULTI 2022 --- Call For Papers • The 9th International Workshop on Multi-Level Modelling at MODELS 2022 • 23-25 October 2022, Montreal, Canada • ------------------------------------... | ||
| SOFTWARE ENGINEERING CONCEPTUAL MODELING OBJECT-ORIENTED MODELING ONTOLOGICAL MODELING | ||
MDE Intelligence 2022 : The 4th Workshop on Artificial Intelligence and Model-driven EngineeringMontreal (Canada), Virtual |
||
| When: Oct 23, 2022 - Oct 28, 2022 Submission Deadline: Jul 20, 2022 | ||
| As usual, MDE Intelligence 2022 is going to be co-located with MODELS 2022 (ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems) • Model-driven engineering ... | ||
| SOFTWARE ENGINEERING MODEL-DRIVEN ENGINEERING ARTIFICIAL INTELLIGENCE MACHINE LEARNING | ||
|
|
||
| When: Jul 23, 2022 - Jul 25, 2022 Submission Deadline: May 13, 2022 | ||
| In the last decade, there has been a growing concern on risks of Artificial Intelligence (AI). Safety is becoming increasingly relevant as humans are progressively ruled out from the decision/control... | ||
| ARTIFICIAL INTELLIGENCE SAFETY | ||
Find and Compare Upcoming Workshops in July. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
