posted by user: garganti || 615 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

IEEE Xplore-Ei/Scopus-DMCSE 2023   2023 International Conference on Data Mining, Computing and Software Engineering (DMCSE 2023) -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
AIAP 2024   11th International Conference on Artificial Intelligence and Applications
SAS 2023   Static Analysis Symposium
CGDEIJ 2023   Computer Game Development and Education: An International Journal
Political Theology and the State of Exce 2023   NEW DEADLINE FOR SUBMISSIONS: CALL FOR PAPERS - Political Theology and the State of Exception: Critical readings on the centenary of Political Theology & Roman Catholicism and Poli
ICMLT 2024   2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
Failed State 2023   Deadline Extended - Call for Papers - Failed State: Boundaries, Current Cases, Practical Issues
Machines - SI 2023   Special Issue - Advances in Digital Twin Technology in the Manufacturing Field
IEEE ICCC 2023   IEEE--2023 9th International Conference on Computer and Communications (ICCC 2023)