posted by user: garganti || 2831 views || tracked by 1 users: [display]

ABZ 2024 : Abstract State Machines, Alloy, B and Z


Conference Series : Abstract State Machines, Alloy, B and Z
When Jun 25, 2024 - Jun 28, 2024
Where Bergamo, Italy
Abstract Registration Due Feb 3, 2024
Submission Deadline Feb 10, 2024
Notification Due Apr 6, 2024
Final Version Due Apr 20, 2024
Categories    formal methods   software engineering   ASM   b method

Call For Papers

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 hardware and software systems. The conference aims for a vital exchange of knowledge and experience among the research communities around different formal methods.

Related Resources

Ei/Scopus-AACIP 2024   2024 2nd Asia Conference on Algorithms, Computing and Image Processing (AACIP 2024)-EI Compendex
MDA 2024   19th International Conference on Mass Data Analysis of Images and Signals with Applications in Medicine, r/g/b Biotechnology, Food Industries and Dietetics, Biomet
DSML 2024   5th International Conference on Data Science and Machine Learning
DEEPK 2024   International Workshop on Deep Learning and Kernel Machines
DSA 2024   5th International Conference on Data Science and Applications
Call for Chapters - Wiley-IEEE Press 2024   Internet of Things A to Z: Technologies and Applications - Second Edition
ACM MLMI 2024   ACM--2024 The 7th International Conference on Machine Learning and Machine Intelligence (MLMI 2024)
IEEE SWC 2024   2024 IEEE Smart World Congress
Gendered Violence 2024   Gendered Violence, State and Individual. A Legal and Historical Approach
CSIA 2024   15th International Conference on Communications Security & Information Assurance