 OrMeKR 2023 : Ordinal Methods for Knowledge Representation and Capture @ K-Cap 2023Pensacola, Florida, USA |
||
| When: Dec 5, 2023 - Dec 5, 2023 Submission Deadline: Oct 15, 2023 | ||
| Workshop at K-CAP 2023: Ordinal Methods for Knowledge Representation and Capture (OrMeKR) • December 5, 2023 • In conjuction with The Twelfth International Conference on Knowledge Capture... | ||
| ARTIFICIAL INTELLIGENCE KNOWLEDGE DISCOVERY MACHINE LEARNING DATA MINING | ||
 |
||
| When: Dec 21, 2023 - Dec 23, 2023 Submission Deadline: Oct 1, 2023 | ||
| Special Session on Advanced Computational and Artificial Intelligence Methods in Smart Forestry is a part of 7th European Conference on Electrical Engineering & Computer Science (ELECS 2023) • ... | ||
| ARTIFICIAL INTELLIGENCE CYBER-PHYSICAL SYSTEMS IOT INTERNET OF THINGS | ||
 ISAIM 2024 : 18th International Symposium on Artificial Intelligence and MathematicsFort Lauderdale, Florida, USA |
||
| When: Jan 8, 2024 - Jan 10, 2024 Submission Deadline: Oct 17, 2023 | ||
| The 18th International Symposium on Artificial Intelligence and Mathematics is a biennial meeting that fosters interactions between mathematics, theoretical computer science, and artificial intellige... | ||
| ARTIFICIAL INTELLIGENCE MATHEMATICAL METHODS OF AI FAIRNESS IN AI DEEP REINFORCEMENT LEARNING | ||
 |
||
| 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 | ||
 |
||
| When: Oct 9, 2023 - Oct 13, 2023 Submission Deadline: May 22, 2023 | ||
| Call for Papers • Practical applications of explainable artificial intelligence methods special session at 10th IEEE International Conference on Data Science and Advanced Analytics (DSAA 2023) ... | ||
| XAI MACHINE LEARNING DATA MINING ARTIFICIAL INTELLIGENCE | ||
 ESOP 2023 : 32st European Symposium on ProgrammingParis, France |
||
| When: Apr 22, 2023 - Apr 27, 2023 Submission Deadline: Oct 13, 2022 | ||
| 32st European Symposium on Programming • General information • ESOP is an annual conference devoted to fundamental issues in the specification, design, analysis, and implementation of pro... | ||
| PROGRAMMING LANGUAGES FORMAL METHODS | ||
 |
||
| 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: Mar 3, 2022 - Mar 5, 2022 Submission Deadline: Oct 2, 2022 | ||
| ALI, the Association for Logic in India, announces the tenth edition of its biennial Indian Conference on Logic and its Applications (ICLA), to be held at the Indian Institute of Technology Indore, f... | ||
| FORMAL METHODS LOGIC THEORETICAL COMPUTER SCIENCE ARTIFICIAL INTELLIGENCE | ||
|
|
||
| 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: Oct 13, 2022 - Oct 16, 2022 Submission Deadline: Jun 1, 2022 | ||
| Call for Papers • Practical applications of explainable artificial intelligence methods special session at DSAA 2022 • Shenzhen, China, 13th -16th October, 2022 (Virtual and Onsite) &bul... | ||
| EXPLAINABLE AI MACHINE LEARNING DATA MINING XAI | ||
 |
||
| 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 13, 2022 - Oct 14, 2022 Submission Deadline: Jun 3, 2022 | ||
| MEMOCODE brings together researchers and practitioners interested in formal methods for system design and development, to exchange ideas, research results and lessons learned. The symposium focuses o... | ||
| FORMAL METHODS PROGRAMMING LANGUAGES CYBER-PHYSICAL SYSTEMS | ||
|
|
||
| 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 | ||
|
|
||
| When: Oct 24, 2022 - Oct 28, 2022 Submission Deadline: Apr 30, 2022 | ||
| • The ISoLA Symposium is a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools for the specification, analysis, verification, certifi... | ||
| FORMAL METHODS SOFTWARE TESTING COMPUTATIONAL BIOLOGY TRANSPORTATION | ||
 SBLP 2022 : XXVI Brazilian Symposium on Programming LanguagesUberlândia, Brazil |
||
| When: Oct 3, 2022 - Oct 7, 2022 Submission Deadline: May 22, 2022 | ||
| SBLP 2022 • 26th Brazilian Symposium on Programming Languages • SBLP 2022 is the 26th edition of the Brazilian Symposium on Programming Languages. It is promoted by the Brazilian Computer... | ||
| PROGRAMMING LANGUAGES FORMAL METHODS BLOCKCHAIN | ||
FMCAD 2022 : Formal Methods in Computer-Aided DesignTrento, Italy |
||
| When: Oct 18, 2022 - Oct 21, 2022 Submission Deadline: May 22, 2022 | ||
| CONFERENCE SCOPE AND PUBLICATION • FMCAD 2022 is the twenty-second in a series of conferences on the theory and applications of formal methods in hardware and system verification. FMCAD provide... | ||
| FORMAL METHODS VERIFICATION CYBER-PHYSICAL SYSTEMS | ||
|
|
||
| When: Oct 16, 2022 - Oct 20, 2022 Submission Deadline: Jun 2, 2022 | ||
| The International Conference on Software Engineering Advances (ICSEA 2022) continues a series of events covering a broad spectrum of software-related topics. The conference covers fundamentals on des... | ||
| SOFTWARE ENGINEERING SOFTWARE TESTING FORMAL METHODS PERFORMANCE | ||
|
|
||
| When: Oct 16, 2022 - Oct 20, 2022 Submission Deadline: Jun 2, 2022 | ||
| SECURWARE 2022, The Sixteenth International Conference on Emerging Security Information Systems and Technologies, is an event covering related topics on theory and practice on security, cryptography,... | ||
| SECURITY CRYPTOGRAPHY RELIABILITY FORMAL METHODS | ||
|
|
||
| When: Oct 22, 2022 - Oct 23, 2022 Submission Deadline: Jun 4, 2022 | ||
| International Conference on Software Engineering Advances and Formal Methods (SOFTFM 2022)October 22 ~ 23, 2022, Sydney, AustraliaTopics of interest include, but are not limited to, the followingDevop... | ||
| SOFTWARE ENGINEERING MACHINE LEARNING SOFTWARE ARCHITECTURE SOFTWARE TESTING | ||
|
|
||
| When: Oct 28, 2021 - Oct 29, 2021 Submission Deadline: Aug 30, 2021 | ||
| The 15th Annual International Workshop on Advances in Methods of Information and Communication Technology (AMICT’2021) will be held on the main days of 30th FRUCT conference on October 28-29, 20... | ||
| COMPUTER SCIENCE CS EDUCATION PRIVACY AND SECURITY MODELING | ||
|
|
||
| When: Mar 27, 2021 - Apr 01, 2021 Submission Deadline: Oct 15, 2020 | ||
| ... | ||
| FORMAL METHODS PARALLEL COMPUTING PROGRAMMING VERIFICATION | ||
|
|
||
| Submission Deadline: Oct 31, 2021 | ||
| Finance Technology (FinTech) is an advanced business model that adopts emerging technology to improve efficiency and manage risk in the finance field. These new technologies, such as Blockchain, Machi... | ||
| FINANCE BLOCKCHAIN MACHINE LEARNING RISK MANAGEMENT | ||
 |
||
| Submission Deadline: Oct 01, 2020 | ||
| Today, the growing interest in Wireless Sensor Networks has led to their deployment at large scale in several fields ranging from environmental monitoring to smart transportation, industrial systems, ... | ||
| DISTRIBUTED COMPUTING WIRELESS NETWORKS FORMAL METHODS NETWORKING | ||
|
|
||
| When: Dec 9, 2019 - Dec 9, 2019 Submission Deadline: Oct 7, 2019 | ||
| ... | ||
| BIG DATA HUMAN-COMPUTER INTERACTION CROWDSOURCING COLLABORATION | ||
 |
||
| When: Oct 8, 2019 - Oct 8, 2019 Submission Deadline: Jul 4, 2019 | ||
| Objective : • Abstract domains are a key notion in Abstract Interpretation theory • and practice. The Abstract Interpretation framework provides • constructive and systematic formal ... | ||
| ABSTRACT INTERPRETATION VERIFICATION FORMAL METHODS NUMERICAL DOMAINS | ||
|
|
||
| Submission Deadline: Oct 31, 2019 | ||
| International Journal of Computational Methods in Heritage Science • https://www.igi-global.com/journal/international-journal-computational-methods-heritage/145079 • Call for papers – se... | ||
| CULTURAL HERITAGE HERITAGE SCIENCE COMPUTATIONAL METHODS DIGITAL HUMANITIES | ||
|
|
||
| When: Oct 31, 2019 - Oct 31, 2019 Submission Deadline: Oct 31, 2019 | ||
| --------------------------------------------------------------------------------------------------------------------------------------------------- • Call For Book Chapters: "Epistasis: Methods ... | ||
| BIOINFORMATICS COMPUTATIONAL BIOLOGY BIOSTATISTICS GENETICS | ||
 |
||
| When: Oct 2, 2019 - Oct 3, 2019 Submission Deadline: TBD | ||
| The opening of communication proposals for all participants aims at disseminating local and regional historical work and the sharing of challenges as well as obstacles encountered by researchers throu... | ||
| LOCAL HISTORY THEORY METHODS CONCEPT | ||
 |
||
| When: Oct 28, 2019 - Oct 28, 2019 Submission Deadline: Aug 4, 2019 | ||
| With the vastly increasing amount of video data being created, searching in video is a common task in many application areas, such as media & entertainment, surveillance or medicine. The success of vi... | ||
| VIDEO RETRIEVAL COMPUTER VISION FAILURE ANALYSIS DATASETS | ||
|
|
||
| When: Oct 8, 2019 - Oct 11, 2019 Submission Deadline: May 21, 2019 | ||
| Scope • Runtime verification is concerned with the monitoring and analysis of the runtime behaviour of software and hardware systems. Runtime verification techniques are crucial for system corre... | ||
| FORMAL METHODS VERIFICATION TESTING | ||
Find and Compare Upcoming Methods Events in October. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
