Publié le 11/01/2008 |

The ABZ Conference 2008 has the objective of bringing together the B, Z and ASM communities. It will be organized around one joint day and 2 days belonging to each community, that is:

  • the 15th International ASM Workshop,
  • the 17th International Conference of Z Users,
  • the 8th International Conference on the B Method

Information is available on the conference’s website: ABZ 2008.