skip to main | skip to sidebar

The B method : from Research to Teaching

Software engineering, Formal methods, B method, Teaching, Research, International Conference, Nantes June 16 2008, June 8 2009, June 7 2010

Sunday, December 12, 2010

FM 2011: 17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS 

http://fm2011.lero.ie 
June 20 - 24, 2011
Lero, Limerick, Ireland
Posted by citoyenUniversitaire at 11:25 AM 0 comments
Labels: Conferences
Newer Posts Older Posts Home
Subscribe to: Posts (Atom)

Mes blogs, web pages

  • Mon principal blog
  • Pages web

Search This Blog

Loading...

Followers, Abonnés fidèles

About Me

My Photo
citoyenUniversitaire
Un professeur émérite de l'université de Nantes, qui fut en poste au département informatique de l'iut de Nantes. http://www.lina.sciences.univ-nantes.fr/coloss/members/habrias/portailHabrias/index.html Mon blog principal : http://lefenetrou.blogspot.com
View my complete profile

Blog Archive

  • ►  2012 (4)
    • ►  March (2)
      • B 2012 - a FM2012 satellite workshop
      • History : Z in U.K. with A. Hoare
    • ►  January (2)
      • B et cryptographie
      • FM 2012
  • ►  2011 (18)
    • ►  November (3)
      • 原书名： The B-Book:Assigning Programs to Meanings
      • Techniques industrielles de modélisation formelle ...
      • Fourth NASA Formal Methods Symposium
    • ►  October (10)
      • Tutorial on the Event-Based B Method
      • Documents, Articles about the Worldwide Rail Trans...
      • The formal method known as B and a sketch for its ...
      • B method - An overview through example
      • The B Method for programmers
      • Composys
      • ABZ 2012
      • 9th International Conference on Integrated Formal ...
      • Rodin User and Developer Workshop, 27-29 February ...
      • Une Deuxième Révolution Galiléenne
    • ►  June (1)
      • Les Journées Scientifiques 2011 de l'Université de...
    • ►  February (4)
      • WWV 2011 Automated Specification and Verification ...
      • Workshop B 2011, colocated with FM 2011, Limerick,...
      • the release of ProB for Rodin 2.1
      • Have we learned from the Wasa disaster ? J.R. Abri...
  • ▼  2010 (52)
    • ▼  December (1)
      • FM 2011: 17TH INTERNATIONAL SYMPOSIUM ON FORMAL ME...
    • ►  November (2)
      • Structures de données et méthodes formelles, Marc ...
      • Décès de Michel Sintzoff
    • ►  October (28)
      • FSEN '11
      • The Space and Motion of Communicating Agents
      • Cours et exercices corrigés d'algorithmique
      • Death of Jean-Claude Laprie
      • Méthodes de spécification de systèmes temps réel e...
      • THE PROGRAMMING LANGUAGE B
      • B vs. Coq to prove a Garbage Collector
      • Processus de validation basée sur la notion de pro...
      • Formal Methods in Safety-Critical Railway Systems
      • Vers une méthodologie de Validation et de Vérifica...
      • The Development of a Probabilistic B-Method and a ...
      • Les bases du langage B
      • A formal specification of the javaByte code semant...
      • Using B Method to Formalize the Java Card Runtime ...
      • How to formally specify the Java Bytecode semantic...
      • Formalisation and Veri¯cation of the GlobalPlatfor...
      • ProB: An Automated Analysis Toolset for the B Meth...
      • Applying the B Formal Method to the Bossa Domain-S...
      • Cooperation Between the B Method and the Automata ...
      • PBS, support of the B Method in PVS, Cesar Munoz, ...
      • Component-based Development using the B method
      • Tutorial on the B method
      • The B Method for Programmers
      • The formal method known as B and a sketch for its ...
      • Program Development by Refinement: Case Studies Us...
    • ►  June (6)
    • ►  May (3)
    • ►  April (2)
    • ►  March (4)
    • ►  February (2)
    • ►  January (4)
  • ►  2009 (41)
    • ►  December (2)
    • ►  November (5)
    • ►  September (1)
    • ►  August (3)
    • ►  June (6)
    • ►  May (14)
    • ►  March (2)
    • ►  February (5)
    • ►  January (3)
  • ►  2008 (64)
    • ►  December (2)
    • ►  October (4)
    • ►  September (4)
    • ►  June (13)
    • ►  May (28)
    • ►  April (4)
    • ►  February (4)
    • ►  January (5)
 
Locations of visitors to this page