 |
||
| 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: 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: 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: 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 | ||
|
|
||
| When: Sep 16, 2019 - Sep 17, 2019 Submission Deadline: Jul 1, 2019 | ||
| # CoSim-CPS-19: 3rd Workshop on Formal Co-Simulation of Cyber-Physical Systems • **Oslo, Norway, September 16-17, 2019** • ## Overview • **Conference website:** https://sites.google.... | ||
| FORMAL METHODS CO-SIMULATION MODELLING SAFETY | ||
 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 | ||
FVPS 2019 : 2nd Workshop on Formal Verification of Physical SystemsPrague, Czech Republic |
||
| When: Jul 8, 2019 - Jul 12, 2019 Submission Deadline: Apr 25, 2019 | ||
| ... | ||
| FORMAL METHODS CYBER-PHYSICAL SYSTEMS SAFETY FORMAL VERIFICATION | ||
|
|
||
| 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 | ||
GCM 2019 : 10th International Workshop on Graph Computation ModelsEindhoven, The Netherlands |
||
| When: Jul 17, 2019 - Jul 17, 2019 Submission Deadline: May 7, 2019 | ||
| • ----------------------------------------------------------------------- • First CALL FOR PAPERS • GCM 2019 • Tenth International Workshop on • Graph Computation Models ... | ||
| THEORETICAL COMPUTER SCIENCE FORMAL METHODS MODEL TRANSFORMATION GRAPH REWRITING | ||
|
|
||
| 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: Jul 15, 2019 - Jul 19, 2019 Submission Deadline: Apr 21, 2019 | ||
| Formal techniques can help analyse programs, precisely describe program behaviour, and verify program properties. Modern programming languages are interesting targets for formal techniques due to thei... | ||
| FORMAL METHODS PROGRAMMING LANGUAGES SOFTWARE ENGINEERING LOGIC | ||
|
|
||
| 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: Apr 6, 2019 - Apr 7, 2019 Submission Deadline: Feb 10, 2019 | ||
| Quantitative aspects of computation refer to the use of physical quantities (time, bandwidth, etc.) as well as mathematical quantities (for example, probabilities) for the characterisation of the beha... | ||
| COMPUTER SCIENCE FORMAL METHODS SEMANTICS PROGRAMMING LANGUAGES | ||
|
|
||
| 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. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
