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

LM 2025   Living Machines 2025: The 14th International Conference on Biomimetics and Biohybrid Systems
ISPM 2025   The 13th International Symposium on Project Management (ISPM 2025)
11ICSSM 2025   Call for Abstract: ISA RC33 Eleventh International Conference on Social Science Methodology, Naples, Italy, September 2025
SOAP 2025   SOAP 2025 - 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
FMPCC 2025   Funk Music in Popular Culture Conference
SSDBM 2025   37th International Conference on Scalable Scientific Data Management
ICWE 2025   [Call for Papers] ICWE 2025 [Abstract Deadline: February 6, 2025 AOE]
IEMDC 2025   IEEE International Electric Machines & Drives Conference (IEMDC) 2025
PEMD 2025   The IET’s International conference series: Power Electronics, Machines and Drives | 14th Edition
TNFWC 2025   Abstract submission deadline extended until 31 March 2025: Dynamics of Transnational Families in the Context of Armed Conflicts and Sociopolitical Crises (hybrid)