Tuesday, June 24, 2008

Friday, June 20, 2008

Minutes of the conference

The B Method Conference:

29 persons attend the conference, among which

Researchers/Teachers: 22
Companies: 6
Student speaker: 1

Countries of the authors (without France):
Japan: 1
Germany: 1
U.K.: 2 S
Switzerland: 1
Hongary: 1

1 invited talk is given on the main features of Event B, some examples, and some feedbacks on teaching

8 papers was presented, they cover a wide range of teaching aspects of B: from data structures, visualisations of predicates, tests, developement of specific algorithms and case studies, links with co-algebra, etc

1 presentation is devoted to the Rodin Project and Framework

1 stand was devoted to the Systerel Company, for demos on Rodin

* The best talk selection: Henri Habrias had 8 votes

Frédéric Dadeau and Dominique Mery had 4 votes each.

The papers will be available on the conference site; P

lease send us your slides, to make them available on the conference web site.

* The participating colleagues and friends grab this opportunity to thank Professor Henri Habrias for his efforts for the animation of the B community and his forthcoming retirement ** Many Thanks to you all, for your friendship, Henri


Christian

Tuesday, June 17, 2008

Esquisse 5

"Esquisse 5 est né de la rencontre avec le percussionniste Olivier Congar. .
Cette formule concert présente un répertoire entièrement composé mélangeant musique bretonne, musique cubaine, jazz et musique électronique...Le quintet se compose donc de Thomas Badeau à la clarinette, Vincent Marin aux Bombardes et saxophones, François Badeau à l'accordéon diatonique, Pierre Le Normand à la batterie et Olivier Congar aux percussions afro-cubaines. Cet ensemble créé un son unique grâce à l'utilisation des instruments traditionnels et l'application d'effets électroniques. Le spectacle est mis en scène par Caroline Ain, mis en lumière par Fabienne Bardeau et sonorisé par Benoît Foucault

Un album est actuellement en cours de préparation "
source

Very good concert yesterday Cité Internationale des Congrès for the participants to the B conference.

The international astronomy conference of Nantes: Detection of dozen of exo-planets announced

Yesterday during the B conference.

More information HERE

Thursday, June 12, 2008

Workshop on Experiments in Verified Software

 http://qpq.csl.sri.com/vsr/vstte-08

VS-EXPERIMENTS: Workshop on Experiments in Verified Software
a part of the
Second IFIP Working Conference on
Verified Software: Theories, Tools, and Experiments
(VSTTE 2008)
http://qpq.csl.sri.com/vsr/vstte-08
10 October 2008 Toronto, Canada

Wednesday, June 11, 2008

Private Spectacle

It is complete.

We live in a finite world !

Wednesday, June 4, 2008

Your public transport itineraries

http://www.destineo.fr/


Welcome


Destineo calculates your public transport itineraries in the Pays de la Loire region.

Visit Nantes, Guérande, Saumur or Les Sables d’Olonne by bus, coach or train!

You can also find out about hotels and restaurants that are accessible by public transport.
hotels and restaurants

Event-B, Rodin and Deploy

http://www.event-b.org/index.html
http://www.deploy-project.eu/index.html

Monday, June 2, 2008

Two places only...

card(registered) = 28

Our invariant is:

card(registered) <= 30

Sunday, June 1, 2008

Sunday June 15

Chansons de Toile
"Bele Ysabiauz pucele bien aprise"
LEGERIANA, Ensemble de voix de femmes- Direction Katia Caré
Eglise Réformée de Nantes
Place Edouard Normand
15 juin, 17 h.

More information :

http://www.productions-perceval.com