posted by user: garganti || 2211 views || tracked by 1 users: [display]

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

FacebookTwitterLinkedInGoogle


Conference Series : Abstract State Machines, Alloy, B and Z
 
Link: https://abz2023.loria.fr/
 
When May 30, 2023 - Jun 2, 2023
Where Nancy, France
Submission Deadline TBD
 

Call For Papers

[Empty]

Related Resources

VMCAI 2026   Verification, Model Checking and Abstract Interpretation
ICSICT 2026   2026 IEEE 18th International Conference on Solid-State and Integrated Circuit Technology (ICSICT)
CIMA 2025   Congress on Intelligent Machines and Algorithms
CMC 2026   Comics and Machines 2026
EE HPC SOP 2026   6th edition of Full-day Workshop on “Energy Efficient High Performance Computing State of the Practice”
VMIL 2025   2025 Workshop on Virtual Machines and Language Implementations
eHPWAS 2025   eHPWAS 2025 : WiMob - eHPWAS’25 - e-Health Pervasive Wireless Applications and Services - Rank B
ISPM 2025   The 13th International Symposium on Project Management (ISPM 2025)
EBSULING 2025   Third International Hybrid Interdisciplinary Conference on Language, Technoscience, Security, and Socioeconomic Development
A-SSCC 2025   IEEE Asian Solid-State Circuits Conference