 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 | ||
 WUML 2024 : Workshop on Uncertainty in Machine LearningMunich, Germany |
||
| When: Feb 19, 2024 - Feb 21, 2024 | ||
| The notion of uncertainty is of major importance in machine learning and constitutes a key element of modern machine learning methodology. In recent years, it has gained in importance due to the incr... | ||
| ENSEMBLE METHODS IMPRECISE PROBABILITY PREDICTION INTERVALS UNCERTAINTY QUANTIFICATION | ||
 |
||
| When: Jun 4, 2024 - Jun 5, 2024 Submission Deadline: Feb 18, 2024 | ||
| The 8th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS 2024), co-located with the 21st IEEE International Conference on Software Architecture (ICSA 2024), will be h... | ||
| SOFTWARE ARCHITECTURE FORMAL METHODS VALIDATION AND VERIFICATION GENERATIVE AI | ||
 |
||
| When: Apr 23, 2024 - Apr 25, 2024 Submission Deadline: Nov 25, 2023 | ||
| The 5th International Workshop on Statistical Methods and Artificial Intelligence • In conjunction with the The 15th International Conference on Ambient Systems, Networks and Technologies (ANT)... | ||
| ARTIFICIAL INTELLIGENCE DATA MINING COMPUTATIONAL STATISTICS NEURAL NETWORKS | ||
|
|
||
| When: Mar 26, 2024 - Mar 26, 2024 Submission Deadline: Nov 26, 2023 | ||
| The Workshop is a part of WorldCist'24 - 12th World Conference on Information Systems and Technologies, to be held in Lodz, at Lodz University of Technology, Poland, 26 - 28 March 2024 (https://world... | ||
| COMPUTATIONAL INTELLIGENCE INTELLIGENT SYSTEMS COMPUTER SCIENCE ALGORITHMS | ||
 |
||
| When: Sep 15, 2023 - Sep 15, 2023 Submission Deadline: Nov 26, 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: Oct 22, 2023 - Oct 22, 2023 Submission Deadline: Jul 21, 2023 | ||
| --------------------------------------------------------------------- • Call for Papers • FTSCS 2023 • 9th ACM International Workshop on Formal Techniques for Safety-Critical System... | ||
| FORMAL METHODS SOFTWARE ENGINEERING SAFETY-CRITICAL SYSTEMS VERIFICATION | ||
 ArgXAI 2023 : 2nd International Workshop on Argumentation for eXplainable AIImperial College London London, UK, |
||
| When: Jul 10, 2023 - Jul 10, 2023 Submission Deadline: May 15, 2023 | ||
| 2nd International Workshop on Argumentation for eXplainable AI (ArgXAI) • Co-located with ICLP 2023 (London, UK) • In recent years, research on intelligent systems that can explain their ... | ||
| LOGIC PROGRAMMING FORMAL METHODS EXPLAINABLE AI | ||
 |
||
| When: Nov 6, 2023 - Nov 9, 2023 Submission Deadline: Aug 9, 2023 | ||
| * At a Glance • . Submission Deadline: *NEW* August 9th, 2023 • . Location: Lisbon, Portugal • . Papers: Complete studies, designs, or position papers (10 LNCS pages max) • . ... | ||
| CONCEPTUAL MODELING EMPIRICAL METHODS | ||
|
|
||
| When: Nov 7, 2023 - Nov 9, 2023 Submission Deadline: Jun 15, 2023 | ||
| Dear Colleague(s), • the Third International Workshop on Artificial Intelligence methods for Smart Cities (AISC 2023) is organized in *online mode* by the Artificial Intelligence and Big Data L... | ||
| COMPUTER SCIENCE MACHINE LEARNING COMPUTER VISION ARTIFICIAL INTELLIGENCE | ||
 |
||
| 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 | ||
FMAS 2023 : Fifth Workshop on Formal Methods for Autonomous SystemsLeiden, The Netherlands |
||
| When: Nov 15, 2023 - Nov 16, 2023 Submission Deadline: Aug 31, 2023 | ||
| FMAS 2023 is a two-day peer-reviewed international workshop that brings together researchers working on a range of techniques for the formal verification of autonomous systems, to present recent work... | ||
| FORMAL METHODS AUTONOMOUS SYSTEMS VERIFICATION SOFTWARE ENGINEERING | ||
|
|
||
| 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: Aug 26, 2022 - Aug 27, 2022 Submission Deadline: May 30, 2022 | ||
| The workshop is organized by the Faculty of Informatics of the University of Debrecen, directly before DCFS 2022, the 24th International Conference of Descriptional Complexity of Formal Systems (Debr... | ||
| FORMAL METHODS COMPUTER SCIENCE AUTOMATA | ||
 |
||
| When: Aug 14, 2022 - Aug 18, 2022 Submission Deadline: May 10, 2022 | ||
| This workshop aims to bring together both academic researchers and industrial practitioners from different backgrounds to discuss a wide range of topics of emerging importance for GNN, including 1) t... | ||
| DEEP LEARNING GRAPH NEURAL NETWORK ARTIFICIAL INTELLIGENCE DATA MINING | ||
 |
||
| When: Jun 21, 2022 - Jun 21, 2022 Submission Deadline: Apr 20, 2022 | ||
| For the successful realization of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of cruci... | ||
| SOFTWARE ENGINEERING CYBER-PHYSICAL SYSTEMS FORMAL METHODS MODELING | ||
|
|
||
| When: Oct 17, 2022 - Oct 20, 2022 Submission Deadline: Jun 15, 2022 | ||
| * At a Glance • . Submission Deadline: June 15th, 2022 • . Location: Hyderabad, India (co-located with ER'22) • . Papers: Complete studies, designs, or position papers (10 LNCS page... | ||
| CONCEPTUAL MODELING EMPIRICAL METHODS | ||
|
|
||
| When: Jul 27, 2022 - Jul 29, 2022 Submission Deadline: May 20, 2022 | ||
| CALL FOR PAPERS • ---------------------------------------------------- • DS4CS 2022: IEEE Workshop on Data Science for Cyber Security • Held in conjunction with the IEEE Internation... | ||
| DATA SCIENCE CYBER SECURITY MACHINE LEARNING VISUALIZATION METHODS | ||
|
|
||
| When: Jul 8, 2022 - Jul 10, 2022 Submission Deadline: May 15, 2022 | ||
| The formal design and verification of Cyber-Physical Systems pose numerous diverse and interesting challenges to both research and engineering communities. Because of their hybrid and distributed nat... | ||
| CYBER-PHYSICAL SYSTEMS FORMAL METHODS PROGRAMMING LANGUAGES | ||
|
|
||
| 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: Aug 11, 2022 - Aug 12, 2022 Submission Deadline: Apr 26, 2022 | ||
| 8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING • Co-located with FLoC/IJCAR 2022, August 11-12, 2022, Haifa, Isreal • General Information • The Eighth Workshop on Practica... | ||
| ARTIFICIAL INTELLIGENCE FORMAL METHODS LOGIC MACHINE LEARNING | ||
 |
||
| When: Oct 16, 2022 - Oct 21, 2022 Submission Deadline: Jul 20, 2022 | ||
| Models are purposeful abstractions of systems and their environments. They can be used to understand, simulate, and validate complex systems at different abstraction levels. Thus, the use of models i... | ||
| FORMAL METHODS VERIFICATION MODELING TEST | ||
|
|
||
| When: Oct 10, 2022 - Oct 12, 2022 Submission Deadline: May 15, 2022 | ||
| The 28th International Workshop on Cellular Automata and Discrete Complex Systems will take place on October 10-12 at the Indian Institute of Technology Kharagpur, India • AUTOMATA 2022 is the ... | ||
| COMPUTER SCIENCE MACHINE LEARNING FORMAL METHODS PROGRAMMING LANGUAGES | ||
Find and Compare Upcoming Methods Workshops. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
