 |
||
| 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: Aug 11, 2022 - Aug 12, 2022 Submission Deadline: Apr 26, 2022 | ||
| 8TH WORKSHOP ON PRACTICAL ASPECTS OF AUTOMATED REASONING • Co-located with FLoC/IJCAR 2022, August 11-12, 2022, Haifa, Isreal • General Information • The Eighth Workshop on Practica... | ||
| ARTIFICIAL INTELLIGENCE FORMAL METHODS LOGIC MACHINE LEARNING | ||
 |
||
| When: Jul 18, 2022 - Jul 21, 2022 Submission Deadline: Apr 18, 2022 | ||
| The International Workshop on Logic and Synthesis is the premier forum for research in • synthesis, optimization, and verification of integrated circuits ans systems. Research on logic synthesi... | ||
| LOGIC VERIFICATION FORMAL METHODS OPTIMIZATION | ||
 |
||
| 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 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 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: 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: 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 | ||
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: 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: 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: 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 | ||
Find and Compare Upcoming Formal Methods Workshops in April. Check Important Dates, Venue, Speaker, Location, Address, Exhibitor Information, Timing, Schedule, Discussion Topics, Agenda, Visitors Profile, and Other Important Details.
