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

ABZ 2024   Abstract State Machines, Alloy, B and Z
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
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
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
RATIO 2023   The 1st International Conference on Robust Argumentation Machines
CL-LLRPHM 2024   Special Issue of the Computational Linguistics journal on Language Learning, Representation, and Processing in Humans and Machines
VMIL 2023   Workshop on Virtual Machines and Language Implementations (VMIL’23)
CoSinE 2024   11th Illia O. Teplytskyi Workshop (CoSinE 2024) on Computer Simulation in Education
VMCAI 2024   the 25th International Conference on Verification, Model Checking, and Abstract Interpretation