26 results · clear filters Sort: newest oldest name

1. International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)
   2018-06-05/08 · Southampton, United Kingdom
   Computer and information sciences
   e12hfee
2. International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)
   2016-05-23/27 · Linz, Austria
   Computer and information sciences
   e12hfdg
3. International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)
   2014-06-02/06 · Toulouse, France
   Computer and information sciences
   e12hfcj
4. International Conference on Abstract State Machines, Alloy, B, VDM, and Z (ABZ)
   2012-06-18/21 · Pisa, Italy
   Computer and information sciences
   e12hfbm
5. International Conference on Abstract State Machines, Alloy, B and Z (ABZ)
   2010-02-22/25 · Orford, Canada
   Computer and information sciences
   e12hfap
6. International Conference on Abstract State Machines, B and Z (ABZ)
   2008-09-16/18 · London, United Kingdom
   Computer and information sciences
   e12hf9r
7. International Conference of B Users (B)
   2007-01-17/19 · Besançon, France
   Computer and information sciences
   e12hf8t
8. International Conference of B and Z Users (ZB)
   2005-04-13/15 · Guildford, United Kingdom
   Computer and information sciences
   e12hf7w
9. 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
10. International Workshop on Abstract State Machines (ASM)
    2004-05-24/28 · Lutherstadt Wittenberg, Germany
    Computer and information sciences
    e12hf6y
11. Abstract State Machines (ASM)
    2004-05-24/28 · Lutherstadt Wittenberg, Germany
    Computer and information sciences
    e12htre
12. International Workshop on Abstract State Machines (ASM)
    2003-03-03/07 · Taormina, Italy
    Computer and information sciences
    e12hf50
13. Abstract State Machines (ASM)
    2003-03-03/07 · Taormina, Italy
    Computer and information sciences
    e12htqg
14. International Conference of B and Z Users (ZB)
    2002-01-23/25 · Grenoble, France
    Computer and information sciences
    e12hf42
15. Abstract State Machines (ASM)
    2002-01-01 · Schloss Dagstuhl – Leibniz Center for Informatics, Germany
    Computer and information sciences
    e12htpj
16. Abstract State Machines (ASM)
    2001-01-01 · Las Palmas de Gran Canaria, Spain
    Computer and information sciences
    e12htnm
17. International Conference of B and Z Users (ZB)
    2000-08-29 to 2000-09-02 · York, United Kingdom
    Computer and information sciences
    e12hf34
18. Abstract State Machines, Theory and Applications, International Workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000, Proceedings (ASM)
    2000-03-19/24 · Monte Verità, Switzerland
    Computer and information sciences
    e10rhd2
19. Abstract State Machines (ASM)
    1999-01-01 · Toulouse, France
    Computer and information sciences
    e12htmp
20. International Conference of B Users (B)
    1998-04-22/24 · Montpellier, France
    Computer and information sciences
    e12hf26
21. Abstract State Machines (ASM)
    1998-01-01 · Cannes, France
    Computer and information sciences
    e12htkr
22. International Conference of Z Users (ZUM)
    1997-04-03/04 · Reading, United Kingdom
    Computer and information sciences
    e12hf18
23. Abstract State Machines (ASM)
    1997-01-01 · Cannes, France
    Computer and information sciences
    e12htjt
24. Abstract State Machines (ASM)
    1996-01-01 · Germany
    Computer and information sciences
    e12hthw
25. Abstract State Machines (ASM)
    1994-01-01 · Hamburg, Germany
    Computer and information sciences
    e12htgy

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