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

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


Conference Series : Abstract State Machines, Alloy, B and Z
When May 30, 2023 - Jun 2, 2023
Where Nancy, France
Submission Deadline TBD

Call For Papers


Related Resources

VMCAI 2023   International Conference on Verification, Model Checking, and Abstract Interpretation 2023, 15-17 January, Boston, Call for Papers
Machines - SI 2023   Special Issue - Advances in Digital Twin Technology in the Manufacturing Field
Political Theology and the State of Exce 2023   REMINDER: Call for Papers - Political Theology and the State of Exception: Critical readings on the centenary of 'Political Theology' & 'Roman Catholicism and Political Form' by Ca
IFToMM WC 2023   IFToMM World Congress
FCCM 2023   Field-Programmable Custom Computing Machines
IEEE CFM 2023   First IEEE Workshop on Coding for Machines
SOAP 2023   12th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis
NPCEBL 2023   30th Northern Plains Conference on Early British Literature
CLUSTER 2023   cluster 2023 : IEEE Cluster Conference
AISec 2023   Artificial Intelligence in Cybersecurity: The State of the art