posted by user: garganti || 3179 views || tracked by 1 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

DSML 2024   5th International Conference on Data Science and Machine Learning
Call for Chapters - Wiley-IEEE Press 2024   Internet of Things A to Z: Technologies and Applications - Second Edition
BDAB 2025   6th International Conference on Big Data and Blockchain
eHPWAS 2024   WiMob - eHPWAS’24 - e-Health Pervasive Wireless Applications and Services - Rank B
BIBC 2024   5th International Conference on Big Data, IOT and Blockchain
IEMDC 2025   IEEE International Electric Machines & Drives Conference (IEMDC) 2025
EEI 2024   10th International Conference on Emerging Trends in Electrical, Electronics & Instrumentation Engineering
PEMD 2025   The IET’s International conference series: Power Electronics, Machines and Drives | 14th Edition
Ei/Scopus- DMCSE 2024   2024 International Conference on Data Mining, Computing and Software Engineering (DMCSE 2024)
Gendered Violence 2024   Gendered Violence, State and Individual. A Legal and Historical Approach