Skip to content
  • Home
  • News
    • Events
    • Conference
    • Fairs
    • Newsletter
  • Company
    • Who are we ?
    • Clients and Partners
    • Employment
    • Historical background
    • Key Figures
    • Internships
    • Our Values
    • Quality Process
  • Activities
    • Development & Maintenance
    • Formal Verification of Specifications
    • Operational Safety
      • Safety Analysis
      • Safety Demonstration
      • Support with Certification
    • Research and Development
  • Know How
    • B Method
    • Electronic systems
    • Safe IT systems
  • Systems & Projects
    • Automotive Systems
    • Energy Systems
    • Microelectronics Systems
    • Military Systems
    • Railway Systems
    • R&D Projects
  • B Tools
    • Atelier B
    • Brama
    • CompoSys
  • Links
  • Our locations
    • Our locations
    • Write Us
Accueil » News » Conferences
Publié le 7 April 2011

Conferences

Formal Methods

  • From Research to Teaching Formal Methods: the B Method – Nantes, 2010
  • B Dissemination Day – Tokyo, 2010
  • Workshop on B Dissemination – Natal, 2010
  • Workshop on Recent Innovations and Applications in B – Eindhoven, 2010
  • B Dissemination Day – Sao Paulo et Salvador – 2008
  • Conférence FM’2008, Turku, 2008
  • From Research to Teaching Formal Methods: the B Method – Nantes 2008
  • Rodin Industry Day 2007
  • B2007
  • AFADL’06
  • AFIS – 2006

Operational Safety

  • Lambda Mu 16
  • Lambda Mu 15

Comments are closed.

    • en  English
      • fr  Français
  •  
    Atelier B Brama CompoSys
  •  
    • B Method
    • Electronic Systems
    • Safety IT Systems
  •  
    • R&D Projects
    • Automotive Systems
    • Military Systems
    • Energy Systems
    • Railway Systems
    • Micro-eclectronics Systems
  •