posted by user: garganti || 1895 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
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
SOAP 2025   SOAP 2025 - 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis
ICWS 2025   [IEEE ICWS 2025] Submission Deadline Approaching (Abstract Submission: February 24th, 2025; Paper Submission: March 3rd, 2025)
11ICSSMS43   11ICSSM Session 43 Call for Abstract: Machine Learning and Social Research: Methodological Challenges and Innovative Applications
PEMD 2025   The IET’s International conference series: Power Electronics, Machines and Drives | 14th Edition