posted by user: garganti || 2143 views || tracked by 2 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Abstract State Machines, Alloy, B and Z
 
Link: https://abz-conf.org/site/2024/
 
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

ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
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
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
DEEPK 2024   International Workshop on Deep Learning and Kernel Machines
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
CL-LLRPHM 2024   Special Issue of the Computational Linguistics journal on Language Learning, Representation, and Processing in Humans and Machines
ACM ICCTA 2024   ACM--2024 10th International Conference on Computer Technology Applications (ICCTA 2024)
TAA - LMHCU 2024   Towards an Automated Art? Learning Machines, Human Creativity and Uncertainty
AdNLP 2024   5th International conference on Advanced Natural Language Processing
Living Machines 2024   The 13th International Conference on Biomimetics and Biohybrid Systems