 |
||
| When: Sep 9, 2024 - Sep 11, 2024 Submission Deadline: May 1, 2024 | ||
| FMICS 2024: • 29th International Conference on Formal Methods for Industrial Critical Systems4 • Colocated with FM 2024 • Milan, Italy, 9-11 September 2024 • https://fmics.inr... | ||
| FORMAL METHODS INDUSTRIAL CASE STUDIES | ||
 |
||
| When: Sep 9, 2024 - Sep 10, 2024 Submission Deadline: May 15, 2024 | ||
| Aim and Scope • ------------- • TAP 2024 is the 18th International Conference on Tests and Proofs. TAP • promotes research in verification and formal methods that targets the &bull... | ||
| FORMAL METHODS THEOREM PROVING TESTING | ||
FM 2024 : Formal MethodsMilan, Italy |
||
| When: Sep 9, 2024 - Sep 13, 2024 Submission Deadline: Apr 12, 2024 | ||
| FM 2024 is the 26th international symposium on Formal Methods in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, f... | ||
| FORMAL METHODS | ||
 |
||
| When: Nov 7, 2023 - Nov 7, 2023 Submission Deadline: Sep 8, 2023 | ||
| Cognition encompasses many aspects of intellectual functions and processes such as attention, knowledge, memory, judgment, reasoning, problem solving, decision making, comprehension and production of... | ||
| COGNITIVE COMPUTING FORMAL METHODS INTERDISCIPLINARY APPROACH MODELS AND APPLICATIONS | ||
 VSTTE 2023 : International Conference on Verified Software: Theories, Tools, and ExperimentsAmes, Iowa, United States |
||
| When: Sep 21, 2023 - Sep 25, 2023 Submission Deadline: Jul 28, 2023 | ||
| Overview • The goal of the VSTTE conference series is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool... | ||
| FORMAL METHODS MODEL CHECKING THEOREM PROVING | ||
 |
||
| 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 | ||
FM 2023 : Formal MethodsLübeck, Germany |
||
| When: Mar 7, 2023 - Mar 9, 2023 Submission Deadline: Sep 11, 2022 | ||
| FM 2023 is the 25th international symposium in a series organized by Formal Methods Europe (FME), an independent association whose aim is to stimulate the use of, and research on, formal methods for ... | ||
| FORMAL METHODS | ||
 |
||
| When: Sep 12, 2022 - Sep 15, 2022 Submission Deadline: Jun 1, 2022 | ||
| SYNASC aims to stimulate the interaction among multiple communities focusing on defining, optimizing and executing complex algorithms in several application areas. The focus of the conference ranges ... | ||
| MATHEMATICS ARTIFICIAL INTELLIGENCE FORMAL METHODS LOGIC | ||
 |
||
| 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 | ||
 EBL 2022 : 20th EBL: XX Encontro Brasileiro de Lógica - XX Brazilian Logic ConferenceSalvador - Bahia, Brazil |
||
| When: Sep 12, 2022 - Sep 16, 2022 Submission Deadline: Jun 5, 2022 | ||
| The Brazilian Logic Conference (EBL) is a traditional event organized by the Brazilian Logic Society (SBL) since 1979. It gathers logicians from all research areas - Foundations and Philosophy of Sci... | ||
| LOGIC FORMAL METHODS THEORETICAL COMPUTER SCIENCE | ||
|
|
||
| When: Sep 28, 2022 - Sep 30, 2022 Submission Deadline: Jun 26, 2022 | ||
| Overview and Scope • The 20th edition of the International Conference on Software Engineering and Formal Methods (SEFM'22) will be held Sept. 28 - 30, 2022, with workshops on Sept. 26 and 27 an... | ||
| SOFTWARE ENGINEERING FORMAL METHODS PROGRAMMING LANGUAGES CYBER-PHYSICAL SYSTEMS | ||
|
|
||
| When: Sep 12, 2022 - Sep 16, 2022 Submission Deadline: Apr 22, 2022 | ||
| Context • The International Systems and Software Product Lines Conference (SPLC) is the leading conference on variability and configuration of hardware and software systems. Researchers, practi... | ||
| ARTIFICIAL INTELLIGENCE SOFTWARE FORMAL METHODS GREEN COMPUTING | ||
|
|
||
| When: Sep 19, 2022 - Sep 22, 2022 Submission Deadline: Apr 11, 2022 | ||
| • Call for Papers • The 41st International Symposium on Reliable Distributed Systems (SRDS 2022) is a forum for researchers and practitioners interested in distributed systems design, deve... | ||
| RELIABILITY DISTRIBUTED SYSTEMS SECURITY FORMAL METHODS | ||
|
|
||
| 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, 2022 - Sep 16, 2022 Submission Deadline: May 12, 2022 | ||
| About • The aim of the FMICS conference series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS br... | ||
| FORMAL METHODS VERIFICATION EMBEDDED SYSTEMS DISTRIBUTED SYSTEMS | ||
|
|
||
| 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 | ||
CPP 2021 : Certified Programs and ProofsCopenhagen, Denmark |
||
| When: Jan 18, 2021 - Jan 19, 2021 Submission Deadline: Sep 22, 2020 | ||
| Certified Programs and Proofs (CPP) is an international conference on practical and theoretical topics in all areas that consider formal verification and certification as an essential paradigm for the... | ||
| COMPUTER SCIENCE VERIFICATION MATHEMATICS FORMAL METHODS | ||
ASYDE 2020 : Automated and verifiable Software sYstem DEvelopmentAmsterdam, The Netherlands |
||
| When: Sep 15, 2020 - Sep 15, 2020 Submission Deadline: Jun 16, 2020 | ||
| ASYDE 2020 is the 2nd International Workshop on Automated and verifiable Software sYstem DEvelopment, co-located with the 18th International Conference on Software Engineering and Formal Methods (SEFM... | ||
| SOFTWARE ENGINEERING FORMAL METHODS MACHINE LEARNING | ||
 |
||
| When: Aug 31, 2020 - Sep 03, 2020 Submission Deadline: Apr 03, 2020 | ||
| The International Conference on Quantitative Evaluation of SysTems (QEST) is the leading forum on evaluation and verification of computer systems and networks, through stochastic models and measuremen... | ||
| FORMAL METHODS SECURITY | ||
 |
||
| When: Sep 21, 2020 - Sep 23, 2020 Submission Deadline: Jun 15, 2020 | ||
| The Eleventh International Symposium on Games, Automata, Logics, and Formal Verification will be held in Brussels (Belgium) on September 21-23, 2020. This year, GANDALF will be organised together with... | ||
| COMPUTER SCIENCE FORMAL METHODS GAMES THEORETICAL COMPUTER SCIENCE | ||
Find and Compare Upcoming Formal Methods Events in September. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
