B Formal Method Users Group (BUG)

Search Open Yearbook

This information is part of the Open Yearbook, a free service of UIA's subscription-based Yearbook of International Organizations (YBIO). It includes profiles of non-profit organizations working worldwide in all fields of activity. The information contained in the profiles and search functionality of this free service are limited.

The full-featured Yearbook of International Organizations (YBIO) includes over 70,000 organization profiles, additional information in the profiles, sophisticated search functionality and data export. For more information about YBIO, please click here or contact us.

The UIA is a leading provider of information about international non-profit organizations. The aim of the Open Yearbook is to promote the activities of international non-governmental organizations (INGOs) and intergovernmental organizations (IGOs).

History

Oct 1994, Paris (France), by the French National Institute for Transport and Safety Research (INRETS).

Aims

Function as a discussion group on aspects of computer system specification and development using the B-method, ie the BUG mailing list, mainly in the light of current usage of the formal B-Method in France for development of safety-critical software for railway systems, but open to anyone with a research, teaching or industrial interest in B; initiate a standardization process for the B method.

Available with paid subscription only.

Activities

Organizes: periodic meetings (about every 3 months) at the INRETS site in Paris (France); monthly workshops at CNAM in Paris for PhD students working on formal methods. Participates in organizing conferences.

Languages

Available with paid subscription only.

Relations with Non-Governmental Organizations

Relations with 1 non-governmental organizations.
More detailed data available with paid subscription.

Publications

Available with paid subscription only.

Information Services

Available with paid subscription only.

Members

Members in 0 countries
More detailed data available with paid subscription.

Type I Classification

Available with paid subscription only.

Type II Classification

Available with paid subscription only.

Subjects *

  • Amenities
    • Consumers
  • Transportation, Telecommunications
    • Railways
  • Informatics, Classification
    • Informatics
  • Cybernetics
    • Systems
  • Science
    • Methodologies

UN Sustainable Development Goals **

GOAL 9: Industry, Innovation and InfrastructureGOAL 12: Responsible Consumption and Production

UIA Org ID

E1263

Last News Received

1999
* Subject classification is derived from the organization names and aims.
** UN SDGs are linked to the subject classification.

You are viewing an organization profile from the Yearbook of International Organizations Online.
← return to your search page to find additional profiles.
Terms of Use

UIA allows users to access and make use of the information contained in its Databases for the user’s internal use and evaluation purposes only. A user may not re-package, compile, re-distribute or re-use any or all of the UIA Databases or the data* contained therein without prior permission from the UIA.

Data from database resources may not be extracted or downloaded in bulk using automated scripts or other external software tools not provided within the database resources themselves. If your research project or use of a database resource will involve the extraction of large amounts of text or data from a database resource, please contact us for a customized solution.

UIA reserves the right to block access for abusive use of the Database.

* Data shall mean any data and information available in the Database including but not limited to: raw data, numbers, images, names and contact information, logos, text, keywords, and links.