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

CIMA 2025   Congress on Intelligent Machines and Algorithms
VMIL 2025   2025 Workshop on Virtual Machines and Language Implementations
LM 2025   Living Machines 2025: The 14th International Conference on Biomimetics and Biohybrid Systems
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
11ICSSM 2025   Call for Abstract: ISA RC33 Eleventh International Conference on Social Science Methodology, Naples, Italy, September 2025
ICWE 2025   [Call for Papers] ICWE 2025 [Abstract Deadline: February 6, 2025 AOE]
A-SSCC 2025   IEEE Asian Solid-State Circuits Conference
SSDBM 2025   37th International Conference on Scalable Scientific Data Management