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, February 24, 2008

The Rodin Project : Rigorous Open Development Environment for Complex Systems

HERE
Posted by Arédius44 at 4:19 PM No comments:

Grand Challenges in Computing Research

HERE
Posted by Arédius44 at 4:07 PM No comments:

The B International Conferences

  • Conférence Z2B de Nantes (oct. 10-12 1995)
  • Première conférence B de Nantes (nov. 25-27 1996)
  • Deuxième conférence B à Montpellier (avril 22-24 1998),
  • ZB'2000 à York (U.K.) 28 août, 2 sept. 2000),
  • ZB'2002 Grenoble (F) (23-25 janv. 2002)
  • ZB'2003, Turku (Finlande) (4-6 juin)
  • ZB'05, Guildford (U.K.)
  • B'2007 Besançon (France)
  • B, from research to teaching, Nantes, (France), Cité Internationale des Congrès, 16 juin 2008
  • ABZ Conference, September 16-18, 2008 BCS London Offices, Covent Garden, London,
Posted by Arédius44 at 3:56 PM No comments:
Labels: B international conferences

Thursday, February 14, 2008

Pictures of Nantes

HERE
Posted by Arédius44 at 1:42 PM No comments:
Labels: Nantes
Newer Posts Older Posts Home
Subscribe to: Posts (Atom)

Mes blogs, web pages

  • Mon principal blog
  • Pages web

Search This Blog

Followers, Abonnés fidèles

About Me

My photo
Arédius44
J'ai vécu à St-Yrieix-la-Perche jusqu'en Terminale. Nantais depuis 1971. Ancien prof à l'université de Nantes, Arédien aux beaux jours.Cycliste urbain quotidien. Milite pour le retour des goujons dans les eaux limousines Mon blog principal : http://lefenetrou.blogspot.com
View my complete profile

Blog Archive

  • ►  2019 (5)
    • ►  June (1)
    • ►  January (4)
  • ►  2018 (6)
    • ►  January (6)
  • ►  2017 (2)
    • ►  January (2)
  • ►  2016 (16)
    • ►  June (2)
    • ►  March (14)
  • ►  2015 (14)
    • ►  November (2)
    • ►  September (1)
    • ►  June (1)
    • ►  March (10)
  • ►  2014 (36)
    • ►  December (7)
    • ►  November (1)
    • ►  September (2)
    • ►  July (1)
    • ►  June (1)
    • ►  May (11)
    • ►  April (6)
    • ►  February (3)
    • ►  January (4)
  • ►  2013 (28)
    • ►  December (9)
    • ►  November (4)
    • ►  October (11)
    • ►  September (1)
    • ►  August (1)
    • ►  April (2)
  • ►  2012 (4)
    • ►  March (2)
    • ►  January (2)
  • ►  2011 (18)
    • ►  November (3)
    • ►  October (10)
    • ►  June (1)
    • ►  February (4)
  • ►  2010 (52)
    • ►  December (1)
    • ►  November (2)
    • ►  October (28)
    • ►  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)
      • The Rodin Project : Rigorous Open Development Envi...
      • Grand Challenges in Computing Research
      • The B International Conferences
      • Pictures of Nantes
    • ►  January (5)
 
Locations of visitors to this page