Conf. B

• Subject: Conf. B
• From: Henri.Habrias@irin.univ-nantes.fr (Henri Habrias)
• Date: Thu, 24 Oct 1996 10:02:08 +0100

IRIN : Institut de Recherche en Informatique de Nantes
(Universite de Nantes, Ecole Centrale de Nantes)
IUT de Nantes (Departement informatique)

First B Conference
(with the the participation of the groups BUG and BIP)

In the serie "PUTTING INTO PRACTICE METHODS AND TOOLS FOR INFORMATION
SYSTEM DESIGN" we propose the 8th conference with two days and half on the
method of formal specification B, for people from industry, researchers and
teachers.
General Chairman: Henri HABRIAS,
IRIN, 2, rue de la Houssiniere, BP 92208, 44322 NANTES Cedex 3, France
Tel : (33 2)/(02) 40 37 49 74
Fax: (33 2)/(02) 40 37 49 70
e-mail: Habrias@irin.univ-nantes.fr

REGISTRATION FORM
" First B conference "
Nantes (France),
November 25-27-28, 1996


        in French Francs                        Please tick off

        1000 FF

Special price for members of Universities
        500 FF

Special price for doctorate students
        300 FF


amount:.....................
The price includes proceedings, coffee breaks, soiree cabaret
Only one person per registration form please.
Name:
............................................................................
.................................................................
Title:
............................................................................
.................................................................
Company/Organization: .........................................
Mailing Address:
............................................................................
..................................................
City: ...........................................................
State: ........................................................
Zip Code: .................................................
Country: ..................................................
Day Telephone: ....................................
Fax #: ........................................................
Electronic Mail: ....................................
Invoice to be sent to:
-the same address:  Yes:        No:
-to the following address:
Company/Organization:
............................................................................
...................................................
Mailing Address:
............................................................................
..................................................
City: ...........................................................
State: ........................................................
Post Code: ...............................................
Country: ..................................................
Telephone: ..............................................
Fax #: ........................................................
Electronic Mail: .....................................
Travel: (available for the conference dates) Please send me a flight
discount ticket Air-Inter Europe : Yes                     No
Speaker: Yes:    No:

MAIL COMPLETED FORM PLUS CHECK TO:
Secretariat des Journees B, Daniele JOUANI, IUT de Nantes, Dep.
Informatique, 3 rue du Marechal Joffre, BP 34103, 44041 Nantes Cedex 1,
Tel: (33 2)/(02).40.30.60.52, Fax: (33 2)/(02).40.30.60.47, E-mail:
Daniele.Jouani@iut-nantes.univ-nantes.fr _________________Cut
here____________________________
Method of Payment:
Please return both this form -completely filled out- and your payment only
in French Francs which can be by company or personal check or by banker's
draft to the order of AIIN, Bank Account: CCP Nantes 108 26 B (Please ask
your bank to indicate your name and Journees B in order to avoid any
error).
MAIL COMPLETED FORM PLUS CHECK TO:
Secretariat des Journees B, Daniele JOUANI, IUT de Nantes, Dep.
Informatique, 3 rue du Marechal Joffre, BP 34103, 44041 Nantes Cedex 1,
Tel: (33 2)/(02).40.30.60.52, Fax: (33 2)/(02).40.30.60.47, E-mail:
Daniele.Jouani@iut-nantes.univ-nantes.fr

Cancellations:
Refunds of 50% will be made if a written request is received by November
10-1996. No refunds will be made for cancellations received after November
10, 1996. In case of conference cancellation for reasons beyond its
control, AIIN limits its liability to the registration fees already paid.

Proceedings:
Proceedings will be distributed to registered participants at the
registration desk.
The official languages of the conference are English and French.

Entry Visa:
Please check with the French Consulate to determine if you need a Visa.

Conference Venue:
The conference will take place in the amphitheatre of the Musee Dobree in
the centre of Nantes where participants can find hotel accomodation and
restaurants. Nantes is less than one hour from the beautiful breton coast
(by TGV or by bus).

Access to Nantes:
Nantes is 400 kilometres from Paris, and is linked to Paris by the TGV (2
hours, 30 daily links) or plane (from Orly or Charles De Gaulle airports).
Nantes is also linked by air to Lyon, Marseille, Nice, London, Brussels,
Rotterdam, Toulouse, Bordeaux, Geneva, Milan, Düsseldorf, Amsterdam and
Barcelona. There is a bus service from Nantes Atlantique airport to the
town centre, where the conference will be held, cost: 37 FF.

Hotel Reservations:
Participants must make their own arrangements for Hotel accomodation. There
are all types of hotel available in the centre of Nantes (125 FF/640 FF).
You are strongly recommended to reserve as soon as possible. All
participants will be sent a brochure containing detailed city plan,
information about Hotels and prices and how to go about booking a room, and
all relevant phone numbers, fax etc.
A model letter in French (and English) will be sent to you which can be
used to reserve a room or to help you make your reservation.

Travel Discounts:
AIR INTER EUROPE Transporteur Officiel/Official Carrier
Up to 60% average discount for Air-Inter Europe on some national returns
flights can be obtained for the conference dates. Please complete the
appropriate portion of the registration form to receive your discount
ticket.

___________________________________________________________

First B Conference
Nantes, 25-26-27, November 1996

Programme Committee:

Abrial Jean Raymond (Consultant independant, Paris, F)
Behm Patrick (Matra Transport, Montrouge, F)
Donzeau-Gouge Veronique (CNAM, Paris, F)
Dunne Steve (University de Teesside, Middlebrough, UK)
El-Koursi Miloudi (INRETS, Lille, F)
Habrias Henri (IRIN, Nantes, F)
Servat Thierry (Digilog, Aix en Provence, F)
Waeselynck Helene (LAAS, Toulouse, F)

PROGRAMME

November 25, 1996

8h 00   Registration
____________________________________________________________
8h 50   Opening address by J.F. Nicaud, Directeur de l'IRIN
____________________________________________________________9h 00 Session
1: Chairman, Pierre Desforges (RATP, Paris, F)

        Invited speaker : Gilles Kahn (Directeur scientifique, INRIA,
Sophia-Antipolis)
        " L'echec du vol Ariane 501"

10-10h 30 Break
____________________________________________________________10h 30 Session
2: Chairman, J.L. Dormoy (EDF-DER, Clamart, F)

10h 30  Patrick Behm (MATRA Transport International, Montrouge, F)
        " Developpement formel des logiciels securitaires de METEOR"

11h 15  Miloudi El Koursi, Georges Mariano (INRETS-ESTAS, Villeneuve d'Asq, F)
        " Safety Critical Software Assessment: Past Experience and New
Approach"

12h. 00 Break

Session 3: Chairman, Stephen Shirlaw (GEC Alsthom Signalling Ltd, London, UK)
14h. 00 D. Clutterbuck, J. Bicarregui, B. Matthews
(Praxis Critical Systems, Bath, U.K.) (Rutherford Appleton Lab., Oxon, U.K.)
        " Experiences with Proof in a Formal Development"

14h. 45 D. Bert, M.-L. Potet, Y. Rouzaud. (IMAG-LSR, Grenoble, F)
        " A Study on Components and Assembly Primitives in B"

15h. 30- 16 h. Break

Session 4: Chairman, J.F. Monin (CNET, Lannion, F)
16h. 00 Nestor Lopez (groupe PI, CEDRIC, CNAM, Paris, F)
        " La construction de la specification formelle d'un systeme complexe"

17h. 00         Lilian Burdy (MATRA Transport Inter., Montrouge, F)
        " Obligations de preuves de raffinement en B"

17 h 40 Richard Shore (University of Teesside, Middlesbrough, UK)
        " Object-Oriented Modelling in B "


19 h            Soiree cabaret with the group Helene et Jean-françois
____________________________________________________________
November 26, 1996

Session 5: Chairman, Therese Hardin (Univ. Paris VI, Paris)

9h. 00  M. Butler (Univ. of Southampton, UK), M. Walden (Abo Akademi
University, Turku, Finland)
        " Distributed System Developement in B "

9h. 45-10h 15   Break
Formal specification books on exhibit

Session 6: Chairman, M. Frappier (Univ. de Sherbrooke, Canada)

10h. 15 Invited speaker: Jean-Raymond Abrial (Consultant independant, Paris, F)
                " Extending B without Changing it (for Developing
Distributed Systems)"

11h 00  Dominique Mery (Univ. de Nancy I, CRIN, Institut Univ. de France, F)
        " Machines Abstraites Temporelles. Analyse Comparative de B et de
TLA+"

11h. 45 Steve Dunne, Bill Stoddart (University of Teesside, Middlesbrough, UK)
        " Hypersubstitutions : Extending the Generalised Substitution to
Model Semi-decidable Operations"


12 h. 30        Break

Session 7: Chairman, Steve Dunne (Un. of Teesside, UK)
14 h. 00        K. Lano, J. Bicarregui, A. Sanchez (Imperial College,
London, U.K.)
        " Using B to Design and Verify Controllers for Chemical Processing"

14h. 45 P. Facon, R. Laleau, H.P. Nguyen (CEDRIC-IIE, CNAM, F)
        " Derivation de specifications formelles B a partir de
specifications semi-formelles de systemes d'information"

15h. 30- 16h    Break
Formal specification books on exhibit

Session 8: Chairman, J.M. Meynadier (Matra Transport, F)
16h. 00 Ken Robinson (University of New South Wales, Sydney, Australia)
        " Early Experiences in Teaching the B-Method"

16h. 40 Philip Heuberger (Turku Center of C.S., Turku, Finland)
        " Proving on a Reasonable Level of Abstraction with
Programmer-Designed Theories"

17h. End
____________________________________________________________
November 27, 1996

Session 9: Chairman, Didier Bert (LGI-IMAG, Grenoble)
9h.00   Invited speaker: Jonathan Draper (GEC-Marconi Avionics Ltd,
Rochester, UK)
        " The Use of the B Method on an Avionics Example - The MIST Project"

9h. 45  Ranan Fraer (INRIA, Sophia-Antipolis, F)
        " Formal Development in B of a Minimum Spanning Tree Algorithm"

10h. 30- 11 h.  Break

Session 10: Chairman, Guy Laffitte (INSEE, Nantes, F)
11h. 00 Jean-Yves Chauvet (CNAM, Tours, F)
        " Une etude de cas en B : les feux tricolores"

11h. 45 Prize for the best oral presentation
                Prize for the best written paper

13h.            End of the conference




Henri Habrias, Professeur

Recherche
IRIN : Institut de Recherche en Informatique de Nantes
(Universite de Nantes & Ecole Centrale)
Equipe "Génie logiciel, Méthodes et Spécifications formelles"
2, rue de la Houssiniere, BP 92208, 44322 NANTES cedex 3(France)
tel. bureau : (33) 02 40 37 49 74 (répondeur-enregistreur), tel.
secrétariat : (33) 02 40 37 49 01,fax : (33)  02 40 37 49 70, e-mail :
Habrias@irin.univ-nantes.fr
_________________________________________________
Enseignement
IUT:Institut Universitaire de Technologie, Département Informatique,3 rue
du Maréchal Joffre - BP 34103 - 44041 NANTES Cedex 1
tel.:(33) 02 40 30 60 56 tel.secrét:(33) 02  40 30 60 52 fax :(33) 02 40 30
60 53/ 60 01
_________________________________________________
La politique est l'art de capter à son profit les passions des autres
(Henri de Montherlant)

• Prev: 12th WADT and Euroconf. Alg. Develop. Techn.
• Next: strategic roadmap mtng
• Index: AMAST Mail 1996