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

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


Conference Series : Abstract State Machines, Alloy, B and Z
When May 30, 2023 - Jun 2, 2023
Where Nancy, France
Submission Deadline TBD

Call For Papers


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 2024   Internet of Things A to Z: Technologies and Applications - Second Edition
MCU 2024   Machines, Computations, and Universality
TAA - LMHCU 2024   Towards an Automated Art? Learning Machines, Human Creativity and Uncertainty
Living Machines 2024   The 13th International Conference on Biomimetics and Biohybrid Systems
AISec 2024   Artificial Intelligence in Cybersecurity: The State of the art
ECCE 2024   IEEE Energy Conversion Congress & Expo