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

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
DEEPK 2024   International Workshop on Deep Learning and Kernel Machines
CL-LLRPHM 2024   Special Issue of the Computational Linguistics journal on Language Learning, Representation, and Processing in Humans and Machines
Call for Chapters - Wiley-IEEE Press 2025   Internet of Things A to Z: Technologies and Applications - Second Edition
TAA - LMHCU 2024   Towards an Automated Art? Learning Machines, Human Creativity and Uncertainty
Gendered Violence 2024   Gendered Violence, State and Individual. A Legal and Historical Approach
Living Machines 2024   The 13th International Conference on Biomimetics and Biohybrid Systems
MCU 2024   Machines, Computations, and Universality
ECCE 2024   IEEE Energy Conversion Congress & Expo