|
||
When: Jun 19, 2022 - Jun 24, 2022 Submission Deadline: Mar 18, 2022 | ||
Fielded applications of planning must interact with a world that can be inexplicably hostile in unexpected ways. Game theoretic means of handling adversarial environments are both computationally exp... | ||
ARTIFICIAL INTELLIGENCE FORMAL METHODS CYBER SECURITY MODELING | ||
|
||
When: Jul 18, 2022 - Jul 21, 2022 Submission Deadline: Apr 18, 2022 | ||
The International Workshop on Logic and Synthesis is the premier forum for research in • synthesis, optimization, and verification of integrated circuits ans systems. Research on logic synthesi... | ||
LOGIC VERIFICATION FORMAL METHODS OPTIMIZATION | ||
|
||
When: Jun 14, 2022 - Jun 14, 2022 Submission Deadline: Apr 1, 2022 | ||
KR4HI is the first International Workshop on Knowledge Representation for Hybrid intelligence which will be co-located with the first international conference on Hybrid-Human Artificial Intelligence ... | ||
AS ARTIFICIAL INTELLIGENCE KNOWLEDGE ENGINEERING FORMAL METHODS LOGIC | ||
|
||
When: Jun 20, 2022 - Jun 20, 2022 Submission Deadline: Mar 24, 2022 | ||
• HSDIP • 2022 Workshop on Heuristics and Search for Domain-independent Planning • An ICAPS'22 Workshop • Singapore Management University, Singapore • June 2022 • H... | ||
PLANNING ARTIFICIAL INTELLIGENCE FORMAL METHODS ALGORITHMS | ||
|
||
When: Jun 20, 2022 - Jun 21, 2022 Submission Deadline: Mar 3, 2022 | ||
Topics and Objectives • AI Planning & Scheduling (P&S) methods are key to enabling intelligent robots to perform autonomous, flexible, and interactive behaviours. Researchers in the P&S communi... | ||
ROBOTICS ARTIFICIAL INTELLIGENCE FORMAL METHODS | ||
|
||
When: Jun 20, 2022 - Jun 21, 2022 Submission Deadline: Apr 1, 2022 | ||
Data-driven AI is the dominating trend in AI at this time. From a planning and scheduling perspective – and for sequential decision making in general – this is manifested in two major kinds of te... | ||
MACHINE LEARNING RELIABILITY DATA SCIENCE FORMAL METHODS | ||
|
||
When: Jun 20, 2022 - Jun 21, 2022 Submission Deadline: Mar 18, 2022 | ||
HPlan • ICAPS Hierarchical Planning Workshop 2022 (HPlan 2022) • An ICAPS'22 Workshop • Singapore • June 20 or 21, 2022 • The motivation for using hierarchical planning ... | ||
MODELING FORMAL METHODS MACHINE LEARNING THEORETICAL COMPUTER SCIENCE | ||
|
||
When: Aug 11, 2022 - Aug 11, 2022 Submission Deadline: May 10, 2022 | ||
Scope • Numerical computations are ubiquitous in digital systems: supervision, prediction, simulation and signal processing rely heavily on numerical calculus to achieve desired goals. Design a... | ||
FORMAL METHODS VERIFICATION MACHINE LEARNING CONTROL | ||
|
||
When: Jul 31, 2022 - Aug 1, 2022 Submission Deadline: May 20, 2022 | ||
2022 Joint Workshop Linearity & TLLA • Haifa, Israel • 31 July - 1 August 2022 • ======================================================== • FIRST Call for Papers • 3rd J... | ||
LOGIC FORMAL METHODS THEORETICAL COMPUTER SCIENCE PROGRAMMING LANGUAGES | ||
EMAS 2022 : 10th International Workshop on Engineering Multi-Agent SystemsAuckland, New Zealand |
||
When: May 9, 2022 - May 10, 2022 Submission Deadline: Mar 4, 2022 | ||
Multiagent systems (MAS)—systems composed of autonomous agents who interact with each other— are ideally suited to realizing modern software applications. For instance, MAS ideas are well-suited ... | ||
IOT MACHINE LEARNING FORMAL METHODS TRANSPORTATION | ||
|
||
When: Jun 17, 2022 - Jun 17, 2022 Submission Deadline: Apr 15, 2022 | ||
BlockTEE’22 is planned as a physical, in-person event, with certain support for remote presence, both for speakers and for other participants who are unable or unwilling to come. Depending on the p... | ||
BLOCKCHAIN DISTRIBUTED SYSTEMS FORMAL METHODS | ||
|
||
When: Jun 13, 2022 - Jun 17, 2022 Submission Deadline: Apr 15, 2022 | ||
FOCODILE 2022 is one of the workshops at DisCoTec 2022, the 17th International Federated Conference on Distributed Computing Techniques. • COVID-19: FOCODILE 22 is planned as a physical, in-per... | ||
FORMAL METHODS BLOCKCHAIN SECURITY | ||
|
||
When: Apr 3, 2022 - Apr 3, 2022 Submission Deadline: Feb 15, 2022 | ||
Scope of Workshop • Cooperative software verification aims at increasing the effectiveness of verification by having different verifiers cooperate on a verification task. Cooperation might take... | ||
VERIFICATION FORMAL METHODS SOFTWARE TESTING | ||
|
||
When: Aug 7, 2022 - Aug 11, 2022 Submission Deadline: Jul 1, 2022 | ||
With the advancement in biomedical imaging, the amount of data generated is increasing in biomedical engineering. For example, data can be generated by multimodality image techniques, e.g., ranging f... | ||
DEEP LEARNING ARTIFICIAL INTELLIGENCE | ||
|
||
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: 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: Feb 1, 2022 | ||
Topic • The success of machine learning has recently motivated researchers in formal methods to adapt the highly scalable learning methods to the verification setting, where correctness guarant... | ||
FORMAL METHODS VERIFICATION MACHINE LEARNING NEURAL NETWORKS | ||
|
||
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: Jun 16, 2022 - Jun 17, 2022 Submission Deadline: Apr 1, 2022 | ||
LANMR 2022 is the fourteenth edition of the Latin American Workshop series on Logic/Languages, Algorithms and New Methods of Reasoning. The aim of LANMR is to bring together researchers interested in... | ||
LOGIC AUTOMATED REASONING COMPUTER SCIENCE | ||
|
||
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: May 24, 2021 - May 28, 2021 Submission Deadline: Mar 01, 2021 | ||
High levels of safety, security and also privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, whic... | ||
FORMAL METHODS IDE | ||
|
||
When: Mar 23, 2021 - Mar 26, 2021 Submission Deadline: Nov 01, 2020 | ||
Artificial intelligence (AI) is mainly data-driven. It uses statistical methods through human-machine relationships during the generation of data, production of algorithms, and prediction of results. ... | ||
STATISTICAL METHODS ARTIFICIAL INTELLIGENCE | ||
|
||
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: Jun 22, 2020 - Jun 22, 2020 Submission Deadline: Apr 24, 2020 | ||
The use of graphical security models to represent and analyse the security of systems has gained an increasing research attention over the last two decades. Formal methods and computer security resear... | ||
SECURITY FORMAL METHODS VISUALIZATION COMPUTER SCIENCE | ||
WiL 2020 : 4th Women in Logic WorkshopParis, France |
||
When: Jun 30, 2020 - Jun 30, 2020 Submission Deadline: Apr 22, 2020 | ||
Women in Logic 2020 is part of "Paris Nord Summer of LoVe 2020", a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, a... | ||
ARTIFICIAL INTELLIGENCE BIOINFORMATICS FORMAL METHODS | ||
|
||
When: Aug 31, 2020 - Aug 31, 2020 Submission Deadline: Jun 26, 2020 | ||
The EXPRESS workshops aim at bringing together researchers interested in the expressiveness of various formal systems and semantic notions, particularly in the field of concurrency. Their focus has tr... | ||
FORMAL METHODS SEMANTICS THEORETICAL COMPUTER SCIENCE LOGIC | ||
|
||
When: Nov 9, 2019 - Nov 9, 2019 Submission Deadline: Sep 3, 2019 | ||
------------------------------------------------------------------- • Call for Papers • &nb... | ||
FORMAL METHODS SOFTWARE ENGINEERING VERIFICATION INDUSTRIAL APPLICATIONS | ||
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.