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

Friday, May 8, 2009

Programme of the 2009 Conference

http://www.lina.sciences.univ-nantes.fr/apcb/BDayNantes2009/program.html

Posted by Arédius44 at 9:16 PM
Labels: Programme

No comments:

Post a Comment

Newer Post Older Post Home
Subscribe to: Post Comments (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)
      • Nantes
      • From the Airport/Train Station to the Cité des Con...
      • From the airport Nantes Atlantique to Nantes
      • "Data Semantics"
      • Specification or how yo make Abstraction Real
      • Yes, you are in Nantes !
      • Registration
      • During the Journées Scientifiques 2009
      • Bienvenue à Nantes, la ville où le monde se retrou...
      • Read the archives 2008
      • Le Trois-Mâts Belem à Nantes
      • Your public transport itineraries
      • June 7-2009, Nantes, Royal de Luxe
      • Programme of the 2009 Conference
    • ►  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