Z User Group

The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems. It was formally constituted on 14 December 1992 during the ZUM'92 Z User Meeting in London, England. ZUG has organised a series of Z User Meetings approximately every 18 months. From 2000, these became the ZB Conference (jointly with the B-Method, co-organized with APCB), and ... more
top ↑

We can also tell you Z User Group is a…

If you know more about Z User Group, you can add more facts here »

Similar topics in Freebase

  • International Cryptology Conference

    International Cryptology Conference

    CRYPTO, the Annual International Cryptology Conference, is one of the largest academic conferences in cryptography and cryptanalysis. It is organized by the International Association for Cryptologic Research (IACR), and it is held yearly in August in Santa Barbara, California at the University of...
  • SIGCOMM

    SIGCOMM is the Association for Computing Machinery's Special Interest Group on Data Communications, which specializes in the field of communication and computer networks. It is also the name of an annual 'flagship' conference, organized by SIGCOMM, which is considered to be the leading conference...
  • Symposium on Foundations of Computer Science

    FOCS, the Annual IEEE Symposium on Foundations of Computer Science, is an academic conference in the field of theoretical computer science. FOCS is sponsored by the IEEE Computer Society. As Fich (1996) writes, FOCS and its annual Association for Computing Machinery counterpart STOC (the Symposium...
  • CHES

    Workshop on Cryptographic Hardware and Embedded Systems (CHES) is a workshop for cryptography research, focusing on the implementation of cryptographic algorithm. The two general areas treated are the efficient and the secure implementation of algorithms. Related topics such as random number...
  • RSA Conference

    The RSA Conference is a Cryptography and information security-related conference held annually in the San Francisco Bay Area. The RSA Conference started in 1991 as a forum for cryptographers to gather and share the latest knowledge and advancements in the area of Internet security. The RSA...
  • Decision Sciences Institute

    The Decision Sciences Institute (DSI) is a professional association of university professors, graduate students, and practitioners whose interest lies in the application of quantitative research and qualitative research to the decision problems of individuals, organizations, and society. Many of...
  • Black Data Processing Associates

    Black Data Processing Associates (BDPA) is a non-profit organization that serves the professional well-being of its stakeholders. BDPA provides resources that support the professional growth and technical development of individuals in the information technology industry. Through education and...
  • Datatjej

    Datatjej (translated: "computer girl" or "data girl") is an annual conference for women studying Computer science in Sweden. (The Computer Science education must be at least 4 years long). The conference lasts for 4 days and has about 100 visitors each year. Every year there is a different theme,...
  • PLDI

    Programming Language Design and Implementation (PLDI) is the name of one of the ACM SIGPLAN's most important conferences. The precursor of PLDI was the Symposium on Compiler Optimization, held July 27–28, 1970 at the University of Illinois at Urbana-Champaign and chaired by Robert S. Northcote....
  • SIGMOD

    SIGMOD is the Association for Computing Machinery's Special Interest Group on Management of Data, which specializes in large-scale data management problems and databases. The annual ACM SIGMOD Conference, which began in 1975, is considered one of the most important in the field. While traditionally...

These people have edited this topic:

Edit this topic
Edit and Show details

Add or delete facts, download data in JSON or RDF formats, and explore topic metadata.

Freebase Logo
What is Freebase?

Freebase is a huge collection of facts, built by people like you. Freebase connects facts in ways other sites can't, giving you new ways to explore millions of subjects.
You can help improve it!

Freebase Attribution

Freebase data is free for use under the CC-BY license.

The original description for Z User Group was automatically generated from Wikipedia.org licensed under the GNU Free Documentation License.
[1]
Learn more about Freebase licensing and attribution