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
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
Wednesday, June 18, 2008
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.
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.
Friday, June 13, 2008
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
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
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
Monday, June 2, 2008
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
"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
Subscribe to:
Posts (Atom)
