Print

Print
****************************************************************************
Our apologies for the inconvenience if you receive multiple copies
****************************************************************************

Registration - Register you for B2007 - Registration

The B 2007 conference will take place in Besançon, France
on 17-19 Janauary 2007.
 
The program for the B 2007 conference is now complete:
http://lifc.univ-fcomte.fr/b2007/pages/programme.htm
Also, you will find it hereunder.

If you are interested in attending the conference, you can
register on-line. The registration page can be found at
http://lifc.univ-fcomte.fr/b2007/pages/registration.htm

Registration fees amount to 350 euros until December 1st 2006, and
450 euros after. Fees include admission to conference, proceedings,
3 lunches and conference banquet.

Best regards.
Jacques Julliand


B 2007 Conference Program


Wednesday 17 January
        9h              Registration
        9h45            Welcome Opening
        10h             Invited talk by Joseph Morris, School of computing,
                        Dublin city university, Ireland  Plug and Play Nondeterminacy
        
        11h             Coffee break
        11h30           Session: Theoretical issues
- Interpreting Invariant Composition in the B Method Using Spec#
                        ownership relation : a way to explain and relax B restrictions
                        Sylvain Boulmé and Marie-Laure Potet, U. of Grenoble - France
- Chorus Angelorum
                        Steve Dunne, U. of Teesside  UK
        12h30           Presentation of tool exhibitions by Fabrice Bouquet
        12h45           Tool session:
                        - A JAG Extension for Verifying LTL Properties on B Event Systems
                        Julien Groslambert, U. of Franche-Comté - France
        13h             Lunch
        14h30           Session: B extensions
                        - Augmenting B with Control Annotations
                        Wilson Ifill, Steve Schneider and Helen Treharne, U. of Surrey  UK
- Justifications for the Event-B Modelling Notation
Stefan Hallerstede, ETH Zürich - Switzerland
        15h30           Tool session:
- A Generic Flash-based Animation Engine for ProB
Jens Bendisposto and Michael Leuschel, U. of Düsseldorf, Germany
- An Extensible Smart Editor for B in Eclipse
Jens Bendisposto and Michael Leuschel, U. of Düsseldorf, Germany
        16h             Coffee break and Demos
        16h30   Session: B Tools, tests and model-checking
                        - Automatic Translation from Combined B and CSP Specification to
                        Java Programs
                        Letu Yang  UK, Michael Poppleton, U.of Southampton  UK
- Symmetry Reduction for B by Permutations Flooding
Michael Leuschel and Corinna Spermann, U. of Düsseldorf Germany
Michael Butler and Edward Turner, U.of Southampton  UK
- Instantiation of Parameterized Data Structures for Model-Based Testing
Fabrice Bouquet, Jean-François Couchot, Frédéric Dadeau and Alain
Giorgetti, U. of Franche-Comté  France
        18h             End of session
        18h30           Reception in the town hall
        


Thursday 18 January
        9h              Invited talk by Leslie Lamport, Microsoft corporation
                - Comparing TLA+ and B
        10h             Session: B extension
- Verification of LTL Properties in B Event Systems
Julien Groslambert, U. of Franche-Comté - France
        10h30           Coffee break and Demos
        11h             Session: Case studies and specification method
                        - Design Patterns for B: Bridging Formal and Informal Development
                        Edward Chan, Ken Robinson and Brett Welch, U. of New South Wales
  Australia
- Time Constraint Patterns in Event B Development
Dominique Cansell, Dominique Méry, Joris Rehm, U. of Nancy  France
- Modelling and Proof Analysis of Interrupt Driven Scheduling
Bill Stoddard and Frank Zeyda, U. of Teesside  UK
Dominique Cansell, U. of Metz France
        12h30           Lunch
        
        14h             Industrial event: Invited talk by Eddie Jaffuel,
                        Leirios Technologie - France
                        Using B Abstract Machine for Model-Based Testing of Smartcard Software

        15h             Session: Industrial experiences
-Experiences in Using B and UML in Industrial Development
Ian Oliver, Nokia Research Center - Finland
- B in large-Scale Projects : The Canarsie Line CBTC Experience
Daniel Dollé, Didier Essamé, SIEMENS Transportation Systems - France
        16h             Coffee break and Demos
        16h30   Session: Industrial experiences
                - A Tool for Firewall Administration
                Mathieu Clabaut, Systerel  France
                - The B-Method for the Construction of Microkernel-Based Systems
                Sarah Hoffmann and Sophie Gabriele, STMicroelectronics - France
-Hardware Verification and Beyond : Using B at AWE
Neils Evans and Wilson Ifill, Atomic Weapons Establishment - UK
        18h             End of Industrial Event
        18h30           Visit of Time Muséum
        20h             Conference dinner



Friday 19 January
        9h              Invited talk by Chemouil, CNES, Toulouse,
                        The Design of Spacecraft Flight Software
        
        10h             Industrial Tool session
- BRAMA : a New Graphic Animation Tool for B Models
Clearsy - France
- LEIRIOS Test Generator : Automated test Generation From B models
Eddie Jaffuel and Bruno Legeard, LEIRIOS Technologies - France
        10h45           Coffee break
        11h15           Session : Integration and Derivation
- Refinement of Statemachines using Event B semantics
Colin Snook, U. Of Southampton  UK and Marina Waldén, U. of Turku  Finland
- Formal Transformation of Platform Independent Models into Platform
Pontus Boström, Mats Neovius, Marina Waldén, U. of Turku and , Ian Oliver, NOKIA  Finland
- Refinement of EB3 Process Patterns into B Specifications
Frederic Gervais, CNAM-IIE, Regine Laleau, U. of Paris 12  France
Marc Frappier, U. of Sherbrooke  Canada
        12h15           Demo
        
        12h30           Lunch
        14H00           Invited talk by Paul Gibson, National University of Ireland,
                        Maynooth
                        - The need for rigourous software engineering -
                           the past, present and future

        15h00           Tool session
- JML2B : Checking JML specifications with B machines
Fabrice Bouquet, Frédéric Dadeau and Julien Groslambert, U. of Franche-Comté - France
                        - Meca : a tool for access control models
                        Amal Haddad, U. of Grenoble - France
                        
        15h30           Session : Security policy verification
- Security policy enforcement through refinement process
Nicolas Stouls, Marie-Laure Potet, U. of Grenoble  France
- Integration of security policy into event B modeling
Nazim Benaissa, Dominique Cansell and Dominique Méry, U. of Nancy  France
        16h30           Closing session

        17h             End of the Conference

Bien sincèrement.

        Jacques Julliand
---------------------------------------------------------------
Directeur du Laboratoire d'Informatique de l'
Université de Franche-Comté
LIFC (FRE CNRS 2661)
---------------------------------------------------------------
16, route de Gray
25030 Besançon Cedex

tel : (33) 03.81.66.64.51
secrétariat : 03.81.66.64.55 (ou 65.15), Fax : 64.50

E-mail : [log in to unmask]
Web : http://lifc.univ-fcomte.fr
---------------------------------------------------------------


Bien sincèrement.

        Jacques Julliand
---------------------------------------------------------------
Directeur du Laboratoire d'Informatique de l'
Université de Franche-Comté
LIFC (FRE CNRS 2661)
---------------------------------------------------------------
16, route de Gray
25030 Besançon Cedex

tel : (33) 03.81.66.64.51
secrétariat : 03.81.66.64.55 (ou 65.15), Fax : 64.50

E-mail : [log in to unmask]
Web : http://lifc.univ-fcomte.fr
---------------------------------------------------------------