Papers of the first B conferences

Conférences
Z to B (Nantes, France)
First International B Conference (Nantes, France)

---

Z2B


Summary
file:///U:/public_html/ConfZetBdeNantes/SommaireZ2B.html
Preface
file:///U:/public_html/ConfZetBdeNantes/PrefaceZ2B.html
Programme
file:///U:/public_html/ConfZetBdeNantes/ProgrammeZ2B.html
Hayes
file:///U:/public_html/ConfZetBdeNantes/Hayes.htm

---

First International B Conference
First page
1erepage.htm
Some papers :
J.R. Abrial, Extending B without changing it (for developing distributed systems)
file:///U:/public_html/ConfZetBdeNantes/Abrial.htm
P. Boehm, Formal Development of safety critical software of Meteor
file:///U:/public_html/ConfZetBdeNantes/Behm.htm
F. Docherty, Translation from Z to AMN
file:///U:/public_html/ConfZetBdeNantes/Docherty.htm
R. Fraer, Formal development in B of a minimum spanning tree
file:///U:/public_html/ConfZetBdeNantes/Fraer.htm

The second conference The B method: from Research to Teaching

will be held in Nantes on
June 8, 2009
Cité Internationale des Congrès

Next B conference

Université de Sherbrooke, Québec, Canada

Proceedings of the ABZ 2008 Conference

HERE

Claude Boksenbaum

Nous avons appris le décès de Claude Boksenbaum.

Un hommage lui est rendu ici
C'est lui qui a organisé la deuxième conférence internationale B à Montpellier.
Les t-shirts que nous portons "Let it B !" c'est lui qui en avait eu l'idée.

J'ai connu Claude Boksenbaum lors d'une école d'automne de l'Afcet qu'il avait organisée. Je me souviens de son doux sourire, de son humour tendre.

Il avait fait un CD d'interviews de grands informaticiens. ... et je pense que c'est lui qui m'a conduit une fois en retraite à m'inscrire comme étudiant en master d'histoire des sciences au Centre François Viète de Nantes pour faire un mémoire sur l'histoire des méthodes de développement des logiciels.

Un hommage à Claude Boksenbaum (daily motion)

Bonjour des organisateurs

Let it B !

Rendez-vous en juin 2009 ...peut-être !

Nouvelles du Québec

ICI

Atelier B for free (web site of Clearsy)

News

Atelier B 4.0 is available in beta test (22/08/2008)

ClearSy make it available to users for get feedback on this version. We thank in advance all the users who contribute to the improvement of this new version. Windows (10Mo) Linux (30Mo) Mac OS (28Mo) To contact us and send your comments and suggestions, contact us at: contact@atelierb.eu More informations about Atelier B 4.0...

ABZ2008 Conference - Short Papers

http://www.abz2008.org/

The next conference

Nantes, June 8, 2009

Perhaps !

Are you interested ?

B in Brazil ...

Here

Minutes of the conference

The B Method Conference:

29 persons attend the conference, among which

Researchers/Teachers: 22
Companies: 6
Student speaker: 1

Countries of the authors (without France):
Japan: 1
Germany: 1
U.K.: 2 S
Switzerland: 1
Hongary: 1

1 invited talk is given on the main features of Event B, some examples, and some feedbacks on teaching

8 papers was presented, they cover a wide range of teaching aspects of B: from data structures, visualisations of predicates, tests, developement of specific algorithms and case studies, links with co-algebra, etc

1 presentation is devoted to the Rodin Project and Framework

1 stand was devoted to the Systerel Company, for demos on Rodin

* The best talk selection: Henri Habrias had 8 votes

Frédéric Dadeau and Dominique Mery had 4 votes each.

The papers will be available on the conference site; P

lease send us your slides, to make them available on the conference web site.

* The participating colleagues and friends grab this opportunity to thank Professor Henri Habrias for his efforts for the animation of the B community and his forthcoming retirement ** Many Thanks to you all, for your friendship, Henri


Christian

Les JS 2008, un franc succès

HERE

Esquisse 5

"Esquisse 5 est né de la rencontre avec le percussionniste Olivier Congar. .
Cette formule concert présente un répertoire entièrement composé mélangeant musique bretonne, musique cubaine, jazz et musique électronique...Le quintet se compose donc de Thomas Badeau à la clarinette, Vincent Marin aux Bombardes et saxophones, François Badeau à l'accordéon diatonique, Pierre Le Normand à la batterie et Olivier Congar aux percussions afro-cubaines. Cet ensemble créé un son unique grâce à l'utilisation des instruments traditionnels et l'application d'effets électroniques. Le spectacle est mis en scène par Caroline Ain, mis en lumière par Fabienne Bardeau et sonorisé par Benoît Foucault

Un album est actuellement en cours de préparation "
source

Very good concert yesterday Cité Internationale des Congrès for the participants to the B conference.

The international astronomy conference of Nantes: Detection of dozen of exo-planets announced

Yesterday during the B conference.

More information HERE

La Cigale

Here

Nantes

http://www.lepoint.fr/actualites-societe/premiere-de-notre-classement-nantes-le-phare-ouest/920/0/240579

Workshop on Experiments in Verified Software

 http://qpq.csl.sri.com/vsr/vstte-08

VS-EXPERIMENTS: Workshop on Experiments in Verified Software
a part of the
Second IFIP Working Conference on
Verified Software: Theories, Tools, and Experiments
(VSTTE 2008)
               http://qpq.csl.sri.com/vsr/vstte-08
               10 October 2008    Toronto, Canada

Private Spectacle

It is complete.

We live in a finite world !

Your public transport itineraries

http://www.destineo.fr/


Welcome


Destineo calculates your public transport itineraries in the Pays de la Loire region.

Visit Nantes, Guérande, Saumur or Les Sables d’Olonne by bus, coach or train!

You can also find out about hotels and restaurants that are accessible by public transport.
hotels and restaurants

Event-B, Rodin and Deploy

http://www.event-b.org/index.html
http://www.deploy-project.eu/index.html

Two places only...

card(registered) = 28

Our invariant is:

card(registered) <= 30

Sunday June 15

Chansons de Toile
"Bele Ysabiauz pucele bien aprise"
LEGERIANA, Ensemble de voix de femmes- Direction Katia Caré
Eglise Réformée de Nantes
Place Edouard Normand
15 juin, 17 h.

More information :

http://www.productions-perceval.com

From the airport Nantes Atlantique to Nantes

You can use (with the cité pass) :

• the airport shuttle (tanair), Bus, 19 minutes
• a bus connected to the tramway (tan) :

- Bus n° 37, Direction Croix Jeannette, Arrêt (stop) Neustrie

- then Tram 3, direction Sillon de Bretagne, Arrêt (stop) Commerce. Here you will find a lot of buses and tramways

For the authors

For information :

To prepare your paper, go on the web pages:
www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2008/
You will find this :
Customised LaTeX files (entcsBdays.zip)


To reference your paper:

Proceedings publiés par APCB
published by APCB, juin 2008
C. Attiogbé, H. Habrias (Eds)
ISBN 2-9512461-2-9
EAN 9782951246126

Best Regards, Meilleures salutations

Hotels in Nantes

Here is a list of hotels that we prepared for the Ecoop conference of 2006. The prices are not up-todate.

Some other conferences of the Journées Scientifiques de l'Université de Nantes

Extra Solar Super-Earths International Workshop:
http://www.sciences.univ-nantes.fr/geol/SuperEarths2008/
New European public partnerships in drug discovery:
http://www.pharmacie.univ-nantes.fr/1207130334892/0/fiche___actualite/
Workshop on Software Factories and Software Product Lines:
http://www.emn.fr/x-info/jsample/change-lang-EN.php

With your cité pass, you can travel on the river Loire and on the river Erdre (free)

Avec Navibus, trois lignes sont à votre disposition pour voyager... sur l'eau ! Une façon originale et rapide de voyager sur l'Erdre mais également de se déplacer entre le Nord et le Sud de la Loire sans passer par Commerce.

HERE

With Navibus, three lines are available for travel ... on the water! An original and rapid travel on the Erdre but also to travel between North and South of the Loire without going through Commerce.

Use your Cité Pass !

L'Erdre, la plus belle rivière de France !
La Loire, le dernier fleuve sauvage d'Europe !

Airport shuttle : Tan air, from the airport to Cité Internationale des Congrès

HERE
you will find :

• timetable
• map
• stops
  

Wifi

Dear colleague,

You will find in the conference room (room D):
- a videoprojector -
and
- a computer

A good idea : your presentation in a PDF file.

For wifi in the Cité des Congrès, it will be possible to pay a connexion to Orange for one hour or more.

In the IUT of Nantes (near the cathedral), wifi will be free.

You will have special account. You can use public transportation (but walking is very convenient) :

- Cité des Congrès : Busway line 4,
stop Place Foch (the population of Nantes call this place : Place Louis XVI)
and then
you have 5 minutes walk
or bus 21 (Direction Peray) or
bus 23 (direction Peray or Haluchère), stop Chanzy.

Don't forget your City Pass !

Best Regards

Henri Habrias

Le Lieu Unique (L.U.)

Close to the Cité Internationale des Congrès of Nantes

Web site here

Payment by Bank Transfert

IBAN :

Code Banque (Bank code) :
10071
Code Guichet :
44000
Numéro de compte (Account number) :
000 01 000264
Clef (Key) :
46

International Account Number

FR76 1007 1440 0000 0010 0026 446 

Account owner :
Université de Nantes
Agent comptable
1 Quai de Tourville
BP 13522
44035 NANTES Cedex 01

Domiciliation
TRESOR PUBLIC Nantes
TRESORERIE GENERALE

BIC : Bank Identifier Code
BDFEFRPPXXX

If you want a copy of the PDF IBAN, please send me an e-mail :
henri dot habrias at univ-nantes dot fr

"Spécifier ou comment matérialiser l'abstrait"

"Specification or how to make Abstraction Real"
Jean-Raymond Abrial, 1984
TSI
0752-4072/84/03/201-19
AFCET-Bordas

Illustration with an example.

To read the paper

For people interested into the genesis of B

For the participants: un souvenir musical

Folle Journée
on wikipedia
Shubertiade

A CD published by Mirare

Pictures of Nantes

Anne de Bretagne, Anne of Britanny

Anne de Bretagne

Anne of Britanny

Bienvenue à Nantes

Programme du spectacle (private)

programme :

19h00
cocktail dînatoire* animé par le Big Band de l'Université de Nantes

20h30

spectacle musical *(ouverture des portes à 20h15) avec au
programme :

   - 1re partie :

 « Swing & Song, Voyage entre Choeur et Chorus » par
Black Street & Babel Canto (musiques et chants du monde + groupe de jazz)

   - 2nde partie :

Esquisse 5 (musique bretonne et cubaine)

Programme

The B Formal Method : From Research to Teaching

Conference Programme

9:00-10:00
Jean-Raymond Abrial (ETH Zürich, Switzerland)
Invited Conference

10:00-10:15 Break

10:15-11:00
Leirios Test Generator: from Research to Teaching, through Industry, Frédéric Dadeau, Jacques Julliand, Regis Tissot (Université de Franche-Comté, Besançon, France)
11:00-11:45
Easy Graphical Animation and Formula Visualisation for Teaching B, Michaël Leuschel, Mireille Samia, Jens Bendisposto, Li Luo (Heinrich-Heine-Universität, Düsseldorf ,Germany)
11:45-12:30
Teaching programming methodology using Event B, Dominique Méry (Loria, Université de Nancy, France)
12:30-13:15
The Rodin platform, Mathieu Clabaut (Systerel, Aix-en-Provence, France), with the First Experience of a Second Year Student (Florian Bastien, IUT de Nantes, France)

13:15-14:00 Lunch

14:00-14:45
First Balance Sheeet of a Formal Approach to the Teaching of Data Structures, Marc Guyomard (ENSSAT, Lannion, France) , P. Alain, A. Hadjali, H. Jaudoin (Enssat/Irisa) G. Smits (Enssat)
14:45-15:30
Modelling Role-based Access Control in B, Steve Dunne, Anthony Howitt (University of Teesside, U.K.)

15:30-15:45
Break

15:45-16:30
On Teaching the Concept of Refinement with B, Guy Vidal-Naquet, Joanna Tomasik (SupElec, Gif-sur-Yvette, France)
16:30-17:15
A Cludeo Case Study, Bill Stoddart, Keerthi Rajendren, Simon Lynch (University of Teesside, U.K.)
17:15-18:00
Proof and Model-checking, Two Complementary Approaches to Teach Specifications, Henri Habrias (Université de Nantes, France)

18:30-19:30
Cocktail-Dîner

19:30
Spectacle

New Registrations

• Zoltan Istenes, Budapest, Hungary
• Joanna Tomasik, Supelec, Gyf , France

The number of places being limited for safety reasons, today 5 registrations only are possible.

Free access to the public transportation network

The Pass’Cité card
To feel free in Nantes!

Take advantage of the last innovation in services suggested by Nantes International Convention Centre : the Pass’Cité Card.
Our Pass’cité* programm provides the participant of an event with special services which makes their transfert pleasant during their stay in Nantes, furthering non-polluant public transport use.
ð free access to the public transportation network
of the city.
ð free hire for bicycles or electrical bicycles
at the Nantes International Convention Centre.




Thanks to the Pass’Cité card, your participants, exhibitors, partners will be able to use public transportation freely from the day before to the last day of the event without buying any ticket :
- on the outstanding network of buses , tramways and BusWays (new in 2006) that runs straight to the Nantes International Convention Centre.
- the closeness of the Nantes International Convention Centre to the city centre.
- on the Nantes-Atlantique Airport shuttle.

Free hire of bikes and Elecrical Bikes
Your participants can borrow for free bicycles and electrical bicycles at the main entrance.For more confort and safety, the hostess will provide helmets an lockers.

* In parnership with Nantes Métropole within the scope of the city transportation system.


You can use your pass on June 15 and June 16. Send us a message to receive your pass by snail-mail. Don't forget to give your postal address !

henri dot habrias at univ-nantes dot fr

From the Railway Station (Gare TGV) to La Cité des Congrès

1. Sortie SUD (South) (signs in the Railway Station, Signs indicating the Cité des Congrès)









2. When outside the Railway Station, turn right (Quai Malakof). The stop of the airport shuttle (Tan Air) is very close the rundabout.









3. You pass on a river (River Erdre). On your left you see boats









4. Immediately you turn left (Quai Ferdinand Favre)









5. On your right you see the Hammam and the L.U. (Lieu Unique)









6. The fourth street on your right is the street of La Cité Internationale des Congrès

Pictures of Nantes

Here

Here

New registrations

• Chris Sempagala, Uganda Christian University, Kampala, Uganda
• Alain Nolin, INSEE, Paris, France
• Thierry Servat, Clearsy, Aix en Provence, France
• Antoine Requet, Clearsy, Aix en Provence, France
  

From the Airport/Train Station to the Cité des Congrès

The Cité des Congrès is very close to the Railway Station (Gare TGV, sortie Sud) (don't use a taxi or a public transportation). The Gare TGV sortie Sud is also the stop of the airport shuttle (navette aéroport TAN).


The City of Congress brings you the Cité pass ( City Pass) allowing access to the entire public transportation network of Nantes ( TAN) , including airport shuttles. The Cité Pass is valid only on Monday, June 16, 2008. If you wish to receive the Cité Pass please ask us before your arrival at Nantes.

Public Transportations in Pays de la Loire

HERE

Flights to and from Nantes

HERE

Paiement par Bon de Commande Administratif (French Public Administration)

Paiement par bon de commande (french only)
Organisme : LINA (UMR 6241)
Faculté des sciences et des techniques
2 rue de la Houssinière
BP 92208 F
4322 Nantes cedex 03
No indentification M.E.N. : 044 0984 F
No TVA intra communautaire : FR 66 194 409 843
No SIREN : 194 409 843
No SIRET : 194 409 843 00019
Code APE : 803 Z
No compte TG : 10071 44000 00001000264 46

No de déclaration d'existence en tant qu'organisame formateur : 5244 p 000 544

Envoyer le bon de commande par email à Henri Habrias à Henri.Habrias [at] univ-nantes.fr

Last registered participants

• Jean Contensou, National Institute of Statistics, Paris, France
• Shin Nakajima, National Institute of Informatics, Tokyo, Japan
• Jean-Yves Lafaye, Université de La Rochelle, La Rochelle, France

For you the Cité Pass

The City of Congress brings you the Cité pass ( City Pass) allowing
access to the entire public transportation network of Nantes ( TAN) ,
including airport shuttles.
The Cité Pass is valid only on Monday, June 16, 2008.


If you wish to receive the Cité Pass please ask us before your arrival at Nantes.

City Pass for participants registered before May 12.

With your registration to the conference

the diner-cocktail and the spectacle are free for you and your travelling companion.
But registration for these two activities is mandatory.

The registration is open

The registration is open.
Attention ! the number of places is limited to 30.

http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2008/

EXTENDED DEADLINE : 28 April 2008

New books with texts on B and Event-B

http://www.springer.com/computer/foundations/book/978-3-540-74106-0

and here :

http://www.springer.com/computer?SGWID=0-146-6-467209-0

Formed 2008

Some pictures ...
2008, next FORMED in York (U.K.)

The Rodin Project : Rigorous Open Development Environment for Complex Systems

HERE

Grand Challenges in Computing Research

HERE

The B International Conferences

• Conférence Z2B de Nantes (oct. 10-12 1995)
• Première conférence B de Nantes (nov. 25-27 1996)
• Deuxième conférence B à Montpellier (avril 22-24 1998),
• ZB'2000 à York (U.K.) 28 août, 2 sept. 2000),
• ZB'2002 Grenoble (F) (23-25 janv. 2002)
• ZB'2003, Turku (Finlande) (4-6 juin)
• ZB'05, Guildford (U.K.)
• B'2007 Besançon (France)
• B, from research to teaching, Nantes, (France), Cité Internationale des Congrès, 16 juin 2008
• ABZ Conference, September 16-18, 2008 BCS London Offices, Covent Garden, London,

Pictures of Nantes

HERE

Teaching Formal Methods

• 2003
• 2004
• 2006

FORMED 2008 , Budapest

Here

Nantes

• nantes tourism
• Nantes university
• Nantes sur wikipedia
• Nantes on wikipedia
• online hotel booking
• Nantes airport
• Nantes, bus, tram, busway

Links to the B Method

• The B site of Grenoble
• B on wikipedia (English)
• B sur wikipedia
• Investigation into the teaching of B worldwide
• Answers

Call for papers

The B Method: from Research to Teaching

16 June 2008
Nantes
France

http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2008/

In 2008 the University of Nantes will be holding an extensive series of no less than 22 one-day conferences in a wide range of subjects from science and technology, biology and health, and human and social sciences. These will all take place at the impressive large modern purpose-built venue of the "Cite Internationale des Congres" in the centre of Nantes, and are expected to attract up to 1250 participants altogether. Within such a context the above one-day conference on the B Method will be held on 16 June 2008.

The "Journees Scientifiques" Web URL is http://www.univ-nantes.fr/js2008

Topics

Topics of interest will include (but will not be restricted to):

• * Tool support for software engineering with the B method,
• * Teaching environments for the B method,
• * The B method in the software engineering curriculum,
• * Combining the B method with other approaches,
• * Case studies and exercises featuring the B method,
• * Use of the B method in disciplines other than software engineering,
• * New advances in the B method and their incorporation into the teaching curriculum.

Invited speaker : Jean-Raymond Abrial, ETHZ, Zurich, Suisse

Submissions (12-16 pages) should be uploaded on the submission site (or sent by e-mail to henri.habrias@univ-nantes.fr if necessary)

At least one author of each accepted submission must register and present the paper at the workshop.

Important dates

• SUBMISSION DATE 3 April 2008
• NOTIFICATION DATE 1 May 2008

Program Committee

• Henri Habrias, Universite de Nantes, France [chair]
• Rueda Camilo, Universidad Javeriana-Cali, Cali, Colombia
• Steve Dunne, University of Teesside, UK
• Lars-Henrik Eriksson, Uppsala Universitet, Sweden
• Michael Leuschel, Heinrich-Heine-Universitaet Dusseldorf, Germany
• Mike Poppleton, University of Southampton, UK
• Dominique Mery, Loria, Nancy, France
• Ken Robinson, University of New South Wales, Australia
• Emil Sekerinski, McMaster University, Canada
• Elena Troubitsyna, Abo Akademi University, Finland
• Guy Vidal-Naquet, Supelec, Gif-sur Yvette,
• France Istenes Zoltan, Budapest, Hungaria

Local Organization

Pascal Andre, Chrisitian Attiogbe, Gilles Ardourel, Henri Habrias, LINA, Universite de Nantes

It is expected that revised copies of accepted papers will be published in Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier Science .

Supported by:

Association de Pilotage des Conferences B

B Conferences Steering Committee