 |
||
| 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: 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: 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: 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: 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: 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: 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: 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: 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 | ||
 Overture 2019 : The 17th Overture Workshop on VDMPorto, Portugal |
||
| When: Oct 8, 2019 - Oct 8, 2019 Submission Deadline: Jun 16, 2019 | ||
| The 17th Overture Workshop will be held on 08 October 2019 in association with the the 3rd World Congress on Formal Methods (FM2019). • The 17th Overture Workshop is the latest in a series of wo... | ||
| FORMAL METHODS SOFTWARE MODELLING MBSE | ||
|
|
||
| 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 | ||
|
|
||
| When: Jun 24, 2019 - Jun 24, 2019 Submission Deadline: Apr 22, 2019 | ||
| Computer security is an established field of both theoretical and practical significance. In recent years, there has been sustained interest in the formal foundations of methods used in computer secur... | ||
| SECURITY COMPUTER SCIENCE FORMAL METHODS | ||
|
|
||
| When: Aug 24, 2019 - Aug 24, 2019 Submission Deadline: Jun 14, 2019 | ||
| The goal of the PROOFS workshop is to promote methodologies that increase the confidence in the security of embedded systems, especially those which contain cryptographic algorithms. Concretely, the P... | ||
| SECURITY EMBEDDED SYSTEMS FORMAL METHODS CRYPTOGRAPHY | ||
|
|
||
| When: Oct 7, 2019 - Oct 7, 2019 Submission Deadline: Jun 25, 2019 | ||
| F-IDE - 5th Workshop on Formal Integrated Development Environments • https://fideworkshop2019.inesctec.pt • part of FM Week 2019 (http://formalmethods2019.inesctec.pt/?page_id=84) • ... | ||
| FORMAL METHODS IDE | ||
|
|
||
| When: Oct 7, 2019 - Oct 11, 2019 Submission Deadline: Jun 30, 2019 | ||
| ... | ||
| FORMAL METHODS EMPIRICAL RESEARCH SOFTWARE ENGINEERING SYSTEMS ENGINEERING | ||
Find and Compare Upcoming Formal Methods Workshops in June. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
