FORMAL METHODS EVENTS
Filter:
formal methods
 Ulm |
||
| 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 foundation and are widely used in both academia and industry for the design and analysis of hardwar... | ||
| FORMAL METHODS COMPUTER SCIENCE | ||
 Luxembourg |
||
| When: Mar 27, 2021 - Apr 01, 2021 Submission Deadline: Oct 15, 2020 | ||
| ... | ||
| FORMAL METHODS PARALLEL COMPUTING PROGRAMMING VERIFICATION | ||
 Online |
||
| 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 stimulate collaboration between the robotics and formal methods communities. This workshop will incl... | ||
| FORMAL METHODS AUTONOMOUS SYSTEMS ROBOTICS FORMAL VERIFICATION | ||
|
Tehran, Iran |
||
| When: May 19, 2021 - May 21, 2021 Submission Deadline: Nov 01, 2020 | ||
| FSEN is an international conference that aims to bring together researchers, engineers, developers, and practitioners from the academia and the industry to present and discuss their research work in the area of formal methods for software engineering. This conference seeks to facilitate the transfer... | ||
| SOFTWARE ENGINEERING FORMAL METHODS SOFTWARE TESTING COMPUTER SCIENCE | ||
 Constantine, Algeria |
||
| When: Nov 28, 2020 - Nov 30, 2020 Submission Deadline: Jul 15, 2020 | ||
| The 4th Edition of the International Conference on Advanced Aspects of Software Engineering (ICAASE’20) will be held in November 28-30, 2020. The conference will provide an excellent international forum for sharing knowledge and results in theory, methodology and applications in the domain of ... | ||
| SOFTWARE ENGINEERING FORMAL METHODS ARTIFICIAL INTELLIGENCE EMERGING SYSTEMS | ||
 Ouro Preto / Brazil |
||
| When: Nov 25, 2020 - Nov 27, 2020 Submission Deadline: Jul 17, 2020 | ||
| ... | ||
| FORMAL METHODS COMPUTER SCIENCE SOFTWARE TESTING | ||
|
Macao |
||
| 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 practitioners from academia, industry and government to present research and exchange ideas and experience add... | ||
| FORMAL METHODS COMPUTER SCIENCE SOFTWARE TESTING EMBEDDED SYSTEMS | ||
|
Lugano, 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 of topics: from language design, to verification and analysis techniques, to supporting tools and the... | ||
| FORMAL METHODS MODELING SOFTWARE ENGINEERING | ||
 Moscow, Russia |
||
| 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 pages for Program Committee), each regular research submission will be reviewed by 3 PC members; work... | ||
| FORMAL METHODS SEMANTICS | ||
|
L'Aquila, Italy |
||
| 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 and practitioners to share novel ideas, methods, techniques, and tools, that seek significant achieve... | ||
| FORMAL METHODS SOFTWARE ENGINEERING SOFTWARE ARCHITECTURE | ||
 Copenhagen, 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 their work. CPP spans areas of computer science, mathematics, logic, and education. • CPP 2021 wil... | ||
| COMPUTER SCIENCE VERIFICATION MATHEMATICS FORMAL METHODS | ||
|
Amsterdam, 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 2020). • ASYDE 2020 provides a forum for researchers and practitioners to propose and discuss ... | ||
| SOFTWARE ENGINEERING FORMAL METHODS MACHINE LEARNING | ||
 Online |
||
| 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 researchers, as well as security professionals from the industry and government, have proposed various gra... | ||
| SECURITY FORMAL METHODS VISUALIZATION COMPUTER SCIENCE | ||
 Vienna, Austria |
||
| 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 measurements. Performance metrics of interest include response time, reliability, availability, safety, sec... | ||
| FORMAL METHODS SECURITY | ||
|
Chetumal, Quintana Roo, Mexico |
||
| When: Nov 04, 2020 - Nov 06, 2020 Submission Deadline: May 22, 2020 | ||
| The 8th International Conference in Software Engineering Research and Innovation (CONISOFT’20) will be held at the Instituto Tecnológico de Chetumal (Technological Institute of Chetumal), in Chetumal City, State of Quintana Roo, Mexico. November 04th-06th, 2020. The purpose of... | ||
| SOFTWARE ENGINEERING FORMAL METHODS | ||
|
Guangzhou, China |
||
| When: Nov 24, 2020 - Nov 27, 2020 Submission Deadline: Jul 04, 2020 | ||
| The Symposium on Dependable Software Engineering: Theories, Tools and Applications (SETTA) 2020 will be held in Guangzhou China on November 24-27, 2020. SETTA 2020 will be sponsored by Institute of Software Chinese Academy of Sciences and organised by Institute of Intelligent Software, Guangzhou. ... | ||
| FORMAL METHODS EMBEDDED SYSTEMS SOFTWARE ENGINEERING SAFETY | ||
 Paris, 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, and over 20 satellite events. The Women in Logic workshop (WiL) provides an opportunity to increas... | ||
| ARTIFICIAL INTELLIGENCE BIOINFORMATICS FORMAL METHODS | ||
|
Brussels, Belgium |
||
| 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 a workshop on Stochastic Games organised by the GAMENET network (https://gametheorynetwork.com) whi... | ||
| COMPUTER SCIENCE FORMAL METHODS GAMES THEORETICAL COMPUTER SCIENCE | ||
 |
||
| Submission Deadline: Oct 01, 2020 | ||
| Today, the growing interest in Wireless Sensor Networks has led to their deployment at large scale in several fields ranging from environmental monitoring to smart transportation, industrial systems, health and biomedical systems, intelligent environments, etc. Sensors being a key component of the I... | ||
| DISTRIBUTED COMPUTING WIRELESS NETWORKS FORMAL METHODS NETWORKING | ||
|
Singapore |
||
| When: Nov 02, 2020 - Nov 06, 2020 Submission Deadline: May 01, 2020 | ||
| International Conference on Formal Engineering Methods (ICFEM) is an international leading conference series in formal methods and software engineering. Since 1997, ICFEM has been serving as an international forum for researchers and practitioners who have been seriously applying formal methods to p... | ||
| FORMAL METHODS VERIFICATION SOFTWARE ENGINEERING PROGRAM ANALYSIS | ||
|
University 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, and programming primitives for complex interactions. The general scope of the venue includes th... | ||
| COMPUTER SCIENCE CONCURRENCY FORMAL METHODS PROGRAMMING LANGUAGES | ||
|
Vienna, Austria |
||
| When: Sep 02, 2020 - Sep 03, 2020 Submission Deadline: May 15, 2020 | ||
| The aim of FMICS is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the... | ||
| FORMAL METHODS | ||
|
Vienna, Austria |
||
| 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 traditionally been on the comparison between programming concepts (such as concurrent, functional, imp... | ||
| FORMAL METHODS SEMANTICS THEORETICAL COMPUTER SCIENCE LOGIC | ||
 Tehran, Iran |
||
| When: Jul 01, 2020 - Jul 03, 2020 Submission Deadline: Feb 16, 2020 | ||
| TTCS is a new bi-annual conference series, intending to serve as a forum for novel and high-quality research in all areas of Theoretical Computer Science. The conference is held in cooperation with the European Association for Theoretical Computer Science. • There will be a number of sate... | ||
| COMPUTER SCIENCE MACHINE LEARNING FORMAL METHODS SECURITY | ||
|
Valencia |
||
| When: Nov 24, 2019 - Nov 28, 2019 Submission Deadline: Sep 18, 2019 | ||
| In recent years, software-based systems have experienced a continuous growth in dimensions, complexity, and significance in a very wide range of fields and applications. Unsurprisingly, this central role of software systems has gone hand in hand with an increase of critical errors and failures that ... | ||
| COMPUTER SCIENCE ANALYSIS VERIFICATION FORMAL METHODS | ||
|
Shenzhen, China |
||
| When: Nov 9, 2019 - Nov 9, 2019 Submission Deadline: Sep 3, 2019 | ||
| ------------------------------------------------------------------- • Call for Papers • FTSCS 2019 &bul... | ||
| FORMAL METHODS SOFTWARE ENGINEERING VERIFICATION INDUSTRIAL APPLICATIONS | ||
|
N/A |
||
| Submission Deadline: Sep 15, 2019 | ||
| ---------------------------------------------- • IEEE Communications Magazine Feature Topic • “5G Security: Can 5G Be Verifiably Secure?” • ---------------------------------------------- • 5G heralds the advent of the true convergence of IT and Wireless and Wireline netwo... | ||
| 5G SECURITY FORMAL METHODS VERIFICATION | ||
 Porto |
||
| When: Oct 8, 2019 - Oct 8, 2019 Submission Deadline: Jul 4, 2019 | ||
| Objective : • Abstract domains are a key notion in Abstract Interpretation theory • and practice. The Abstract Interpretation framework provides • constructive and systematic formal methods to design, compose, • compare, study, prove, and apply abstract domains, notably for ... | ||
| ABSTRACT INTERPRETATION VERIFICATION FORMAL METHODS NUMERICAL DOMAINS | ||
|
Ulm, Germany |
||
| When: May 27, 2020 - May 29, 2020 Submission Deadline: Jan 20, 2020 | ||
| ABZ 2020: International Conference on Rigorous State Based Methods • ------------------------------------------------------------------------------------------------ • First Call for Papers, Answers to case studies, Workshops, Tutorials • ----------------------------------------------... | ||
| COMPUTER SCIENCE FORMAL METHODS FORMAL SPECIFICATION RIGOROUS METHODS | ||
|
Oslo, Norway |
||
| 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.com/view/cosimcps19 • **Submission link:** https://easychair.org/conferences/?conf=cosimcps19 ... | ||
| FORMAL METHODS CO-SIMULATION MODELLING SAFETY | ||
Event Type
EVENTS RECENTLY ADDED |
|
ICMET 2021 : 12th International Conference on Mechanical and Electrical Technologies
Tokyo, Japan Apr 02, 2021 |
|
ICAIBD 2021 : 4th International Conference on Artificial Intelligence and Big Data
Chengdu, China May 28, 2021 |
|
NAACL-HLT 2021 : Annual Conference of the North American Chapter of the Association for Computational Linguistics
Mexico City, Mexico Jun 06, 2021 |
|
ICDEL 2021 : The 6th International Conference on Distance Education and Learning
Shanghai, China May 21, 2021 |
|
ICERP 2021 : The 4th International Conference on Education Research and Policy
Shanghai, China May 21, 2021 |
|
ISEC 2021 : 14th Innovations in Software Engineering Conference
Bhubaneswar, Orissa, India Feb 25, 2021 |
|
PDSW@SC20 : The International Conference for High Performance Computing, Networking, Storage and Analysis - Works In Progress (WIP) Session
Virtual Nov 16, 2020 |
|
CCSIT 2021 : 11th International Conference on Computer Science and Information Technology
Vancouver, Canada May 29, 2021 |
|
WebNLG+ 2020 : 3rd Workshop on Natural Language Generation from the Semantic Web
Dublin, Ireland (Remote) Dec 18, 2020 |
|
TPPI Conference 2021 : Civilizational States and Liberal Empire - Bound to Collide?
New York, NY Sep 18, 2021 |
|
ISOPE 2021 : The 31st International Ocean and Polar Engineering Conference
Rhodes, Greece Jun 20, 2021 |
 CSEIT 2020 : 7th International Conference on Computer Science, Engineering and Information Technology
Copenhagen, Denmark Sep 26, 2020 |
|
NLP 2020 : 9th International Conference on Natural Language Processing
Zurich, Switzerland Nov 21, 2020 |
 SIPR 2020 : 6th International Conference on Signal Processing and Pattern Recognition
Dubai, UAE Oct 24, 2020 |
|
|
 |
|
|
 RAECAS 2020 : 3rd International Conference on Recent Advances in Engineering, Computing and Applied Sciences
Melaka, Malaysia Nov 21, 2020 |
|
|
|
|