8 results · clear filters Sort: newest oldest name

1. International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)
   2014-06-02/06 · Toulouse, France
   Computer and information sciences
   e12hfcj
2. International Conference of B Users (B)
   2007-01-17/19 · Besançon, France
   Computer and information sciences
   e12hf8t
3. Proceedings of the 12th International Workshop on Abstract State Machines, ASM 2005, March 8-11, 2005, Paris, France (ASM)
   2005-03-08/11 · Paris, France
   Computer and information sciences
   e10rhgv
4. International Conference of B and Z Users (ZB)
   2002-01-23/25 · Grenoble, France
   Computer and information sciences
   e12hf42
5. Abstract State Machines (ASM)
   1999-01-01 · Toulouse, France
   Computer and information sciences
   e12htmp
6. International Conference of B Users (B)
   1998-04-22/24 · Montpellier, France
   Computer and information sciences
   e12hf26
7. Abstract State Machines (ASM)
   1998-01-01 · Cannes, France
   Computer and information sciences
   e12htkr
8. Abstract State Machines (ASM)
   1997-01-01 · Cannes, France
   Computer and information sciences
   e12htjt

As JSON: https://labs.confref.org/api/search?kind=event&series=s10d7jr&country=FR