UKCI 2024 : 23rd UK Workshop on Computational IntelligenceBelfast, Northern Ireland, UK |
||
When: Sep 4, 2024 - Sep 6, 2024 | ||
The 23rd UK Workshop on Computational Intelligence (UKCI 2024) will be held in Belfast Campus, Ulster University, Belfast, United Kingdom, on September 4th-6th, 2024. It will be co-located with the 8... | ||
NEURAL NETWORKS EVOLUTIONARY COMPUTATION DATA MINING HYBRID METHODS | ||
|
||
When: Sep 15, 2023 - Sep 15, 2023 | ||
====================================================================== • 1st Workshop on • Domain-specific Modeling Methods and Tools - OMiLAB Nodes experience & knowledge exchange (OMILA... | ||
CONCEPTUAL MODELING MODELING LANGUAGES DOMAIN SPECIFIC MODELING MODELING TOOLS | ||
|
||
When: Sep 18, 2023 - Sep 18, 2023 Submission Deadline: Jun 12, 2023 | ||
Learning to Quantify (LQ - also known as "quantification", or "class prior estimation", or "unfolding"), is the task of training class prevalence estimators via supervised learning. In other words, t... | ||
MACHINE LEARNING DATA MINING KNOWLEDGE DISCOVERY INFORMATION RETRIEVAL | ||
|
||
When: Nov 16, 2023 - Nov 17, 2023 Submission Deadline: Sep 8, 2023 | ||
LANMR 2023 is the fifteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning organized by Universidad Nacional Autónoma de México through Fa... | ||
LOGIC AUTOMATED RESONING FORMAL METHODS | ||
|
||
When: Sep 18, 2023 - Sep 19, 2023 Submission Deadline: Jun 30, 2023 | ||
The 7th Workshop on Formal Approaches for Advanced Computing Systems (FAACS’2023) Co-located with the 17th European Conference on Software Architecture (ECSA) • Istanbul, Turkey, September 18... | ||
SOFTWARE ARCHITECTURE FORMAL METHODS VALIDATION AND VERIFICATION AUTONOMOUS SYSTEMS | ||
|
||
When: Nov 28, 2022 - Dec 4, 2022 Submission Deadline: Sep 30, 2022 | ||
The increasing adoption of Artificial Intelligence techniques in safety-critical systems, employed in real world scenarios, requires the design of reliable, robust, and verifiable methodologies. Arti... | ||
FORMAL METHODS VERIFICATION GAME THEORY | ||
|
||
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 23, 2022 - Oct 27, 2022 Submission Deadline: Sep 1, 2022 | ||
AIM AND SCOPE • Reinforcement Learning (RL) is promising for continuous learning and discovery of optimal policies for complex tasks. However, a major open challenge is the safety and robustnes... | ||
FORMAL METHODS CONTROL HUMAN-ROBOT INTERACTION | ||
|
||
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: 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 12, 2022 - Sep 12, 2022 Submission Deadline: Jun 1, 2022 | ||
• Scope and Topics • The EXPRESS/SOS workshop series aims at bringing together researchers interested in the formal semantics of systems and programming concepts, and in the expressiveness... | ||
FORMAL METHODS PROGRAMMING LANGUAGES LOGIC SOFTWARE | ||
|
||
When: Dec 07, 2020 - Dec 07, 2020 Submission Deadline: Sep 11, 2020 | ||
This one day workshop will bring together researchers working on a range of techniques for formal verification of autonomous systems, to present recent work in the area, discuss key difficulties, and ... | ||
FORMAL METHODS AUTONOMOUS SYSTEMS ROBOTICS FORMAL VERIFICATION | ||
|
||
When: Nov 03, 2020 - Nov 04, 2020 Submission Deadline: Sep 14, 2020 | ||
Program Committee solicites regular research submissions in the form of extended abstracts (up to 8 pages, LNCS style) in English (additional details could be included in an appendix up to 4 pag... | ||
FORMAL METHODS SEMANTICS | ||
|
||
When: Sep 14, 2020 - Sep 15, 2020 Submission Deadline: Jun 24, 2020 | ||
The main objective of the workshop is to foster the integration between the formal methods and the software architecture communities, and to foster cooperation between them. We encourage researchers a... | ||
FORMAL METHODS SOFTWARE ENGINEERING SOFTWARE ARCHITECTURE | ||
|
||
When: Nov 9, 2019 - Nov 9, 2019 Submission Deadline: Sep 3, 2019 | ||
------------------------------------------------------------------- • Call for Papers • &nb... | ||
FORMAL METHODS SOFTWARE ENGINEERING VERIFICATION INDUSTRIAL APPLICATIONS | ||
|
||
When: Sep 16, 2019 - Sep 17, 2019 Submission Deadline: Jul 1, 2019 | ||
# CoSim-CPS-19: 3rd Workshop on Formal Co-Simulation of Cyber-Physical Systems • **Oslo, Norway, September 16-17, 2019** • ## Overview • **Conference website:** https://sites.google.... | ||
FORMAL METHODS CO-SIMULATION MODELLING SAFETY | ||
|
||
When: Sep 24, 2019 - Sep 27, 2019 Submission Deadline: Jun 15, 2019 | ||
DTW2019 Data Teaching Workshop – 5th Workshop on Curricula and Teaching Methods in Cloud Computing, Big Data, and Data Science • as part of 15th eScience Conference (https://escience2019.sdsc.... | ||
DATA SCIENCE BIG DATA CLOUD COMPUTING INSTRUCTIONAL METHODOLOGIES | ||
|
||
When: Sep 9, 2019 - Sep 10, 2019 Submission Deadline: Jun 8, 2019 | ||
CFP: Formal Approaches for Advanced Computing Systems - workshop @ ECSA 2019 • ***************************************************************** • 3rd Workshop on Formal Approaches for Adv... | ||
SOFTWARE ARCHITECTURE SOFTWARE ENGINEERING FORMAL METHODS SOFTWARE VERIFICATION | ||
Find and Compare Upcoming Methods Workshops in September. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.