Jean-Raymond Abrial, conference in Nantes on June 7, 2010

Jean-Raymond Abrial is invited for the 2010 conference.  The new book of J.R. Abrial will be available for the conference.

http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521895569

Contents

Prologue: faultless systems – yes we can!; Acknowledgements; 1. Introduction; 2. Controlling cars on a bridge; 3. A mechanical press controller; 4. A simple file transfer protocol; 5. The Event-B modeling notation and proof obligations rules; 6. Bounded re-transmission protocol; 7. Development of a concurrent program; 8. Development of electronic circuits; 9. Mathematical language; 10. Leader election on a ring-shaped network; 11. Synchronizing a tree-shaped network; 12. Routing algorithm for a mobile agent; 13. Leader election on a connected graph network; 14. Mathematical models for proof obligations; 15. Development of sequential programs; 16. A location access controller; 17. Train system; 18. Problems; Index.

Conférences grand public JS 2010

L'un des objectifs des Journées Scientifiques de l'Université de Nantes est de diffuser la culture scientifique et technique.

Cette année, le thème de l'enfant et son éducation est à l'honneur.

Les conférences et la table ronde programmées sont gratuites et accessibles à tous.

Programme prévisionnel

• 15h00-15h45 : Conférence « Comment la connaissance vient aux bébés » par Roger LÉCUYER, Professeur émérite en psychologie de l'enfant, à l'Université Paris V, spécialiste des compétences périnatales

• 16h00-16h45 : Conférence « Stratégies familiales et politiques éducatives » par Agnès VAN ZANTEN, directrice de recherche au CNRS, à l'Observatoire Sociologique du Changement

• 17h00-18h00 : Table ronde sur le thème de l'enfant et son éducation avec Roger LÉCUYER, Agnès VAN ZANTEN, Jean-Christophe ROZÉ (Chef du service de médecine néonatale au CHU Nantes), Catherine CHOQUET (Adjointe au maire de Nantes en charge de la petite enfance, de la santé et des personnes handicapées) et Agnès FLORIN (Professeur en Psychologie de l'enfant et de l'éducation à l'Université de Nantes)