B'98
The 2nd International B Conference

Proceedings:
B'98: Recent Advances in the Development and Use of the B Method
LNCS 1393, Springer

Photos:

General Information Program Committee Location and Accomodation Registration Form

Scientific Program Education Session Archive

Documents available! Proceedings available!

Proceedings LNCS 1393 Proceedings of the education session: Becoming navy-blue T-shirt "Let it B": can be requested to Henri Habrias, Nantes, Email: Henri.Habrias@irin.univ-nantes.fr

65 FF. 55 FF.

General Information

Aims and Scope

Following the success of the First B Conference which was held in Nantes in November 1996, the users of B have expressed their interest in a second conference. This conference aims to provide a forum for the rapidly growing community working in specification and software construction with the B method. The scope of the conference covers all aspects related to the B technology. Topics of interest include (but are not limited to):

• Industrial applications and case studies using B;
• Integration of the B method in the software development lifecycle (technical as well as economical aspects);
• Software testing versus proof-oriented development;
• Theoretical issues about the proof process and proof validation;
• Support tools for the B method;
• B and other specification languages;
• Proposals for B extensions.

Selection Procedure

At the end of the deadline, 29 papers were received from seven different coutries. Many of them were good papers, but only 15 were selected on usual criteria : high scientific quality, originality, good presentation, relevance to the topics of the conference. Each paper has been reviewed by three or four referees, taken among the program committee members or experts in the field of the B method. The proceedings will be published by Springer-Verlag, in the Lecture Notes in Computer Science serie.

Program Committee

Didier Bert Pierre Bieber Claude Boksenbaum Egon Börger Jonathan Bowen Pierre Desforges Ranan Fraer Robert B. France Marc Frappier Philipp A. Heuberger David Lightfoot Fernando Mejia Ken Robinson Pierre-Yves Schobbens

CNRS, LSR-IMAG, Grenoble, F ONERA-CERT, Toulouse, F Univ. of Montpellier, F Univ. of Pisa, I ZUG, Univ. of Reading, UK RATP, Paris, F Intel, Israel Florida Atlantic Univ., FL, USA Univ. of Sherbrooke, Canada TUCS, Åbo Akademi Univ., Turku, Finland Univ. of Oxford Brookes, UK GEC-Alsthom, Paris, F Univ. of South Wales, Australia Univ. of Namur, B

Chairman Address

Didier Bert The 2nd International B Conference LSR-IMAG 681, rue de la Passerelle, BP 72 F-38402 Saint-Martin-d'Hères Cedex France

Email: B98@imag.fr

Location and Accomodation

This information is also available in the ".rtf" format at the Boksenbaum's page.

Location

The conference will take place in Montpellier, a city in the south of France, close to the Mediterranean Sea. The address of the conference place is the Corum, palais des Congrès, located in the Montpellier city center.

Access to Montpellier

There is a bus service from Montpellier Airport to the town center (25 FF , 15' drive) where the conference will be held. Cabs are also available (90 FF from 7 am to 7 pm).

The railway station and the bus station are at a 10 minutes' walk from the Corum.

Explore the main ways to reach Montpellier (by plane, by train or by road).

Travel Discounts

SNCF (french railways) offers many types of discount (J30, J8,...) going up to 50%. For instance, a two-way ticket from Paris to Montpellier is about 360 FF instead of 620 FF, if you buy your ticket 30 days before the trip.

Hotel Reservations

The Corum has an accomodation service which takes care of your reservation for 65 FF. It offers special rates for hotels in the center of Montpellier. You must send (or fax) it a form. See the file "registr.rtf" in the same page as above.

Touring Suggestions

• The historical center of Montpellier.
• The Antigone area
• Beaches, 15 km far from Montpellier.
• La Grande Motte (30km), Palavas (10 km), holydays resorts.
• Horse rides in Camargue to see birds and bulls.
• Sète, Saint-Guilhem-le-Désert, typical small towns.
• Natural caves, Salagou lake, cirque de Mourèze.

If you want more information about Montpellier try

• Montpellier District Server
• Montpellier City Server

Organizing Committee

The conference is organized by the LIRM, the department of Computer Science of the University of Montpellier. The organizing committee is composed of :

Claude Boksenbaum (boks@lirmm.fr), Thérèse Libourel (libourel@lirmm.fr), Michel Sala (sala@lirmm.fr), Corine Zicler (zicler@lirmm.fr).

Local organization chair:

Claude Boksenbaum LIRMM 161, rue Ada F-34392 Montpellier Cedex 5 France