Titre du cours 2014-2015 de G. Berry au Collège de France

La preuve de programmes: 

pourquoi, quand, comment 

(première saison)

Réponses aux questions sur le cours de Gérard Berry au Collège de France

http://www.college-de-france.fr/media/gerard-berry/UPL2163313892198827163_2014_Berry_Cours_9_Re__ponseAuxQuestions.p

The B International Conferences

*Conference Z2B, Nantes, France,oct. 10-12 1995
*First B Conference, Nantes, France,nov. 25-27 1996
*Second B Conference,Montpellier, France, ap. 22-24 1998,
*ZB'2000, York, U.K. 28 aug, 2 sept. 2000,
*ZB'2002, Grenoble, France, 23-25 jan. 2002,
*ZB'2003, Turku, Finlande, 4-6 jun. 2003
*ZB'05, Guildford, U.K., 2005
*B'2007, Besançon, France, 2007
*B, from research to teaching, Nantes,France, 16 juin 2008
*B, from research to teaching, Nantes,France, 8 juin 2009
*B, from research to teaching, Nantes,France, 7 juin 2010
*ABZ conference: ABZ 2008, British Computer Society, London, UK, 16-18 September 2008
*ABZ conference: ABZ 2010,Oxford, Québec, Canada, 23–25 February 2010
*ABZ conference: ABZ  2012, Pisa, Italy, 18-22 June 2012
*ABZ coference: ABZ 2014, Toulouse, France, 2-6 June 2014

Dr Ib Holm Sørensen died January 2012

Nous venons d'apprendre :

http://www.cs.ox.ac.uk/news/448-full.html

Le code du Btoolkit est déposé en ligne.

The source code to the B-Toolkit has been posted 

B-Core no longer supports or maintains the B-Toolkit.

https://github.com/edwardcrichton/BToolkit

Predicate B++

http://www.data-validation.fr/predicateb-a-predicate-animator/

BMotion Studio, a visual editor

http://www.stups.uni-duesseldorf.de/bmotionstudio/index.php/BMotion_Studio:About

"BMotion Studio, a visual editor which enables the developer of a formal model to set-up easily a domain specific visualization for discussing it with the domain expert. BMotion Studio frees the user from writing code and allows to create the visualization on the "look and feel" principle.

BMotion Studio is based on ProB and integrated into the Rigorous Open Development Environment for Complex Systems (RODIN). It supports creating visualizations for Event-B specifications. However, BMotion Studio is open for other formal languages.

Commercial support is provided by the spin-off company Formal Mind"

Le site methode-b.com

http://www.methode-b.com/

http://www.erts2014.org/

"The ERTS² Congress is a unique European cross sector event on Embedded Software and Systems, a platform for top-level scientific with representatives from universities, research centers and industries.

The 2014 edition has gathered more than 100 talks, 500 participants and 80 exhibitors"

AFADL 2014

http://afadl2014.lacl.fr/http://afadl2014.lacl.fr/
http://afadl2014.lacl.fr/programme.html

https://ihp2014.pps.univ-paris-diderot.fr/doku.php?id=industry

Méthodes formelles et langages pour le développement de logiciels fiables dans l'industrie

The primary aim of the session is to give an opportunity to students and academics and non-academic researchers to hear about recent developments of this kind carried out in an industry context. Talks will be in French.

Brama V0.0.22

http://www.brama.fr/
http://www.brama.fr/index-en.php

"Objective : to put in scene your models developed starting enom the language B."

Brama V0.0.22
Brama is now available in beta version.
Discover this new version.