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
Read article at Wikipedia
Z User Group
Conference series
Subject:
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
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...