Contact Person : Jonathan Bowen; Last Date for the submission of abstract : 39510; Description : Abstract State Machines (ASM), B-Method and Z notation are three rigorous methods that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems.