 |
||
| When: Jun 13, 2022 - Jun 17, 2022 Submission Deadline: Feb 4, 2022 | ||
| ======================================================= • First Call for Papers • 42nd International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORT... | ||
| COMPUTER SCIENCE DISTRIBUTED COMPUTING FORMAL METHODS | ||
 |
||
| When: Jun 13, 2022 - Jun 17, 2022 Submission Deadline: Feb 4, 2022 | ||
| =================================================================== • FIRST CALL FOR PAPERS • COORDINATION 2022 • 24th International Conference on Coordination Models and Languages ... | ||
| COMPUTER SCIENCE DISTRIBUTED COMPUTING FORMAL METHODS PROGRAMMING LANGUAGES | ||
 |
||
| When: Jun 14, 2022 - Jun 17, 2022 Submission Deadline: Jan 16, 2022 | ||
| The conference is an established international forum for providers, practitioners and • researchers in reliable software technologies. The conference presentations will • illustrate curre... | ||
| FORMAL METHODS RELIABILITY EMBEDDED SYSTEMS SOFTWARE ENGINEERING | ||
 |
||
| 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 | ||
 iFM 2022 : International Conference on integrated Formal MethodsLugano, Switzerland |
||
| When: Jun 7, 2022 - Jun 10, 2022 Submission Deadline: Feb 11, 2022 | ||
| Objectives and scope • In recent years, we have witnessed a proliferation of approaches that integrate several modelling, verification and simulation techniques, facilitating more versatile and... | ||
| FORMAL METHODS VERIFICATION TESTING SOFTWARE ENGINEERING | ||
 |
||
| 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: Jun 07, 2021 - Jun 11, 2021 Submission Deadline: Feb 22, 2021 | ||
| The ABZ conference is dedicated to the cross-fertilization of state-based and machine-based formal methods, like Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual... | ||
| FORMAL METHODS COMPUTER SCIENCE | ||
|
|
||
| When: Dec 02, 2020 - Dec 04, 2020 Submission Deadline: Jun 26, 2020 | ||
| Established in 2004 by the International Institute for Software Technology of the United Nations University (UNU-IIST), the ICTAC conference series aims at bringing together researchers and practition... | ||
| FORMAL METHODS COMPUTER SCIENCE SOFTWARE TESTING EMBEDDED SYSTEMS | ||
iFM 2020 : 16th International Conference on integrated Formal MethodsLugano, Switzerland |
||
| When: Nov 16, 2020 - Nov 20, 2020 Submission Deadline: Jun 22, 2020 | ||
| The Integrated Formal Methods (iFM) conference series targets research in formal approaches that combine different methods for modeling and analysis. The conference covers a broad spectrum o... | ||
| FORMAL METHODS MODELING SOFTWARE ENGINEERING | ||
|
|
||
| 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 | ||
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: 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: 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 | ||
ICE 2020 : 13th Interaction and Concurrency ExperienceUniversity of Malta, Valletta |
||
| When: Jun 19, 2020 - Jun 20, 2020 Submission Deadline: Apr 22, 2020 | ||
| Interaction and Concurrency Experiences (ICE) is a series of international scientific meetings oriented to theoretical computer science researchers with special interest in models, verification, tools... | ||
| COMPUTER SCIENCE CONCURRENCY FORMAL METHODS PROGRAMMING LANGUAGES | ||
|
|
||
| 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: Oct 15, 2019 - Oct 17, 2019 Submission Deadline: Jun 2, 2019 | ||
| ---------------------------------------------------------------------- • IFIP-ICTSS 2019 • THE 31st IFIP INTERNATIONAL CONFERENCE ON TESTING SOFTWARE AND SYSTEMS • Paris, France, Oct... | ||
| INTERNATIONAL CONFERENCE TESTING FORMAL METHODS 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 23, 2019 - Oct 25, 2019 Submission Deadline: Jun 16, 2019 | ||
| The 7th International Conference on Software Engineering Research and Innovation (CONISOFT 2019) and the 3rd National Congress of Measurement and Estimation of Software (CNMES2019) will be held in Mex... | ||
| SOFTWARE ENGINEERING EMPIRICAL SOFTWARE ENGINEERING FORMAL METHODS SOFTWARE METRICS | ||
ICE 2019 : Interaction and Concurrency ExperienceLyngby, Denmark |
||
| When: Jun 20, 2019 - Jun 21, 2019 Submission Deadline: Apr 29, 2019 | ||
| ICE 2019 • 12th Interaction and Concurrency Experience • June 20-21, 2019, Lyngby, Denmark • Satellite workshop of DisCoTec 2019 • Paper submission: https://easychair.org/confe... | ||
| COMPUTER SCIENCE CONCURRENCY FORMAL METHODS PROGRAMMING LANGUAGES | ||
|
|
||
| When: Sep 18, 2019 - Sep 20, 2019 Submission Deadline: Jun 28, 2019 | ||
| CMSB 2019 - Call for Posters and Highlight talks ( https://cmsb2019.units.it/) • The 17th conference on Computational Methods in Systems Biology (CMSB 2019) will take place from 18th to 20th Sep... | ||
| SYSTEMS BIOLOGY COMPUTATIONAL BIOLOGY FORMAL METHODS SYSTEMS DESIGN AND MODELLING | ||
FMIS 2019 : 8th Formal Methods for Interactive SystemsPorto, Portugal |
||
| When: Oct 7, 2019 - Oct 7, 2019 Submission Deadline: Jun 21, 2019 | ||
| Reducing the risk of human error in the use of interactive systems is increasingly recognised as a key objective in contexts where safety, security, financial or similar considerations are important. ... | ||
| FORMAL METHODS INTERACTIVE SYSTEMS | ||
|
|
||
| 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 Events in June. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
