{"id":178,"date":"2011-09-14T11:55:35","date_gmt":"2011-09-14T10:55:35","guid":{"rendered":"http:\/\/www.test.atelierb.eu\/?page_id=178"},"modified":"2016-07-26T16:38:30","modified_gmt":"2016-07-26T15:38:30","slug":"formation-event-b-b-evenementiel","status":"publish","type":"page","link":"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-event-b-b-evenementiel\/","title":{"rendered":"Event-B Training"},"content":{"rendered":"[vc_row full_width=”stretch_row” css=”.vc_custom_1469432397752{padding-top: 95px !important;padding-bottom: 70px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/visu-header-pages.jpg?id=2315) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column width=”1\/4″][st_customheading heading=”Event-B Training” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”3\/4″][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”middle” css=”.vc_custom_1469432582874{padding-top: 55px !important;padding-bottom: 55px !important;background-color: #f29400 !important;}”][vc_column width=”2\/6″][st_customheading heading=”ABOUT EVENT-B TRAINING” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”1\/6″][vc_single_image image=”2310″ img_size=”120×120″ alignment=”center”][\/vc_column][vc_column width=”3\/6″][vc_column_text]Event-B is a specialisation of the B-Method, used to formally describe systems and mathematically reason about their properties.<\/strong>[\/vc_column_text][\/vc_column][\/vc_row][vc_row css=”.vc_custom_1469432999766{padding-top: 55px !important;padding-bottom: 55px !important;}”][vc_column][st_customheading heading=”EVENT-B TRAINING SPECIFICITIES” heading_color=”#4d4f5b” content_align=”text-center”][vc_column_text css=”.vc_custom_1469546970411{margin-top: 40px !important;}”]\n

The objective of this training is to enable use of Event-B in the modelling and validation of systems. The training provides a reminder of the principles behind the B-Method and the theory used by Event-B, as well as an introduction to the specific features of the latter.<\/strong><\/p>\n[\/vc_column_text][vc_row_inner css=”.vc_custom_1469433368913{padding-top: 65px !important;}”][vc_column_inner width=”1\/2″ css=”.vc_custom_1469433412904{border-right-width: 1px !important;padding-right: 35px !important;border-right-color: #f29400 !important;border-right-style: solid !important;}”][vc_column_text]\n

OBJECTIVES :<\/h5>\n

> <\/strong>To acquire the basics of the B-Method.
\n> <\/strong>To understand the principles behind modelling systems with B.
\n> <\/strong>To validate the properties on the systems by using Event-B.
\n> <\/strong>To write the “right”<\/span> models in Event-B.<\/p>\n

WHO SHOULD PARTICIPATE :<\/h5>\n

> <\/strong>Anyone wishing to acquire knowledge about Event-B.
\n> <\/strong>Anyone wishing to use B to model systems.<\/p>\n

PREREQUISITES :<\/h5>\n

> <\/strong>Mathematical understanding equivalent to a Science A\u2019 level.
\n> <\/strong>Basic knowledge of B, or \u201cunderstanding B\u201d training recommended.<\/p>\n

DURATION :<\/h5>\n

4 days<\/p>\n[\/vc_column_text][\/vc_column_inner][vc_column_inner width=”1\/2″ css=”.vc_custom_1469434326227{padding-left: 25px !important;}”][vc_column_text]\n

ORGANIZATION :<\/h5>\n

> <\/strong>A maximum of 10 people per training group.
\n> <\/strong>The training takes place in CLEARSY<\/b> offices in Aix<\/span> or Paris<\/span> (Except by special arrangement).
\n> <\/strong>Contact CLEARSY to find out the dates of the next training sessions<\/p>\n

PROGRAM :<\/h5>\n

> <\/strong>Introduction to Event-B
\n> <\/strong>The Event-B langage.
\n> <\/strong>Refinement tehcniques.<\/p>\n

PRICES :<\/h5>\n

> <\/strong>A 15% reduction is given for a group of at least 3 persons, from the same organisation.<\/p>\n[\/vc_column_text][\/vc_column_inner][\/vc_row_inner][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”middle” css=”.vc_custom_1469433917377{padding-top: 55px !important;padding-bottom: 55px !important;background-color: #f7f7f7 !important;}”][vc_column width=”1\/6″][vc_single_image image=”2343″ img_size=”105×105″ alignment=”center”][\/vc_column][vc_column width=”3\/6″][vc_column_text]\n

REFERENCES :<\/h5>\n

> New York Metro (NYCT), from 01\/26\/2010 to 01\/29\/2010. (USA)
\n> Alstom, from 10\/12\/2010 to 10\/15\/2010. (France)[\/vc_column_text][\/vc_column][vc_column width=”2\/6″][vc_column_text]SEE MORE REFERENCES \u00a0\"pictos-fleche1\"<\/a>[\/vc_column_text][\/vc_column][\/vc_row][vc_row full_width=”stretch_row_content_no_spaces” css=”.vc_custom_1469432445569{margin-bottom: -60px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/footer-visu2.jpg?id=2296) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column][vc_empty_space height=”350″][\/vc_column][\/vc_row]\n","protected":false},"excerpt":{"rendered":"

[vc_row full_width=”stretch_row” css=”.vc_custom_1469432397752{padding-top: 95px !important;padding-bottom: 70px !important;background-image: url(https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/visu-header-pages.jpg?id=2315) !important;background-position: center !important;background-repeat: no-repeat !important;background-size: cover !important;}”][vc_column width=”1\/4″][st_customheading heading=”Event-B Training” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”3\/4″][\/vc_column][\/vc_row][vc_row full_width=”stretch_row” content_placement=”middle” css=”.vc_custom_1469432582874{padding-top: 55px !important;padding-bottom: 55px !important;background-color: #f29400 !important;}”][vc_column width=”2\/6″][st_customheading heading=”ABOUT EVENT-B TRAINING” heading_color=”#ffffff” content_align=”text-default”][\/vc_column][vc_column width=”1\/6″][vc_single_image image=”2310″ img_size=”120×120″ alignment=”center”][\/vc_column][vc_column width=”3\/6″][vc_column_text]Event-B is a specialisation of the B-Method, used to formally describe systems and mathematically reason […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":148,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"amp_status":""},"yoast_head":"\nEvent-B Training | Atelier B<\/title>\n<meta name=\"description\" content=\"Event-B is a specialisation of the B-Method, used to formally describe systems and mathematically reason about their properties. The objective of this\" \/>\n<meta name=\"robots\" content=\"index, follow\" \/>\n<meta name=\"googlebot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<meta name=\"bingbot\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.atelierb.eu\/formation-b\/formation-event-b-b-evenementiel\/\" \/>\n<meta property=\"og:locale\" content=\"fr_FR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"Event-B Training | Atelier B\" \/>\n<meta property=\"og:description\" content=\"Event-B is a specialisation of the B-Method, used to formally describe systems and mathematically reason about their properties. The objective of this\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-event-b-b-evenementiel\/\" \/>\n<meta property=\"og:site_name\" content=\"Atelier B\" \/>\n<meta property=\"article:modified_time\" content=\"2016-07-26T15:38:30+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/pictos-fleche1.png\" \/>\n<meta name=\"twitter:card\" content=\"summary\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\",\"url\":\"https:\/\/www.atelierb.eu\/en\/\",\"name\":\"Atelier B\",\"description\":\"Atelier de G\\u00e9nie Logiciel\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":\"https:\/\/www.atelierb.eu\/en\/?s={search_term_string}\",\"query-input\":\"required name=search_term_string\"}],\"inLanguage\":\"fr-FR\"},{\"@type\":\"ImageObject\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-event-b-b-evenementiel\/#primaryimage\",\"inLanguage\":\"fr-FR\",\"url\":\"https:\/\/www.atelierb.eu\/wp-content\/uploads\/sites\/3\/2016\/07\/pictos-fleche1.png\",\"width\":256,\"height\":256},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-event-b-b-evenementiel\/#webpage\",\"url\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-event-b-b-evenementiel\/\",\"name\":\"Event-B Training | Atelier B\",\"isPartOf\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-event-b-b-evenementiel\/#primaryimage\"},\"datePublished\":\"2011-09-14T10:55:35+00:00\",\"dateModified\":\"2016-07-26T15:38:30+00:00\",\"description\":\"Event-B is a specialisation of the B-Method, used to formally describe systems and mathematically reason about their properties. The objective of this\",\"breadcrumb\":{\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-event-b-b-evenementiel\/#breadcrumb\"},\"inLanguage\":\"fr-FR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-event-b-b-evenementiel\/\"]}]},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-event-b-b-evenementiel\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/\",\"url\":\"https:\/\/www.atelierb.eu\/\",\"name\":\"Accueil\"}},{\"@type\":\"ListItem\",\"position\":2,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/\",\"name\":\"B Method Training\"}},{\"@type\":\"ListItem\",\"position\":3,\"item\":{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-event-b-b-evenementiel\/\",\"url\":\"https:\/\/www.atelierb.eu\/en\/formation-b\/formation-event-b-b-evenementiel\/\",\"name\":\"Event-B Training\"}}]}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","_links":{"self":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/178\/"}],"collection":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/"}],"about":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/types\/page\/"}],"author":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/users\/1\/"}],"replies":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/comments\/?post=178"}],"version-history":[{"count":3,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/178\/revisions\/"}],"predecessor-version":[{"id":2876,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/178\/revisions\/2876\/"}],"up":[{"embeddable":true,"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/pages\/148\/"}],"wp:attachment":[{"href":"https:\/\/www.atelierb.eu\/en\/wp-json\/wp\/v2\/media\/?parent=178"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}