vendredi 15 septembre 2017

ABZ 2018, 6th International ABZ (ASM, Alloy, B, TLA, VDM, Z) Conference

ABZ 2018
6th International ABZ (ASM, Alloy, B, TLA, VDM, Z) Conference
June 5th-8th, 2018
Southampton, UK
www.southampton.ac.uk/abz2018

----------------------------------------------------------------------------------------------
Call for Papers, Answers to the case study, Workshops, Tutorials
----------------------------------------------------------------------------------------------

The ABZ conference is dedicated to the cross-fertilization of six related state-based and machine-based formal methods, Abstract State Machines (ASM), Alloy, B, TLA, VDM and Z, that share a common conceptual foundation and are widely used in both academia and industry for the design and analysis of hardware and software systems. It builds on the success of the first ABZ conference held in London in 2008, where the ASM, B and Z conference series merged into a single event, the second ABZ 2010 conference held in Orford (Canada), where the Alloy community joined the event, the ABZ 2012 held in Pisa (Italy), which saw the inclusion of the VDM community, and ABZ 2014 held in Toulouse (France), which brought the inclusion of the TLA community into the ABZ conference series and the ABZ 2016 held in Linz, Austria. The ABZ 2018 conference will be held in Southampton, UK.

ABZ 2018 will have a main conference track, a case study track, tutorials and workshops.

-----------------------
Invited Speakers
-----------------------
Jean-Raymond Abrial, Marseille, France
Janet Barnes and Angela Wallenburg, Altran, UK
Daniel Jackson, Massachusetts Institute of Technology
Klaus-Dieter Schewe, Software Competence Centre Hagenberg, Austria

--------------------------
Case Study Track
--------------------------
As successfully practiced at ABZ 2014 and ABZ 2016, the 6th edition of ABZ will again include special sessions dedicated to "Hybrid ERTMS/ETCS Level 3" case study. See web page for a detailed description of this case study.

-----------------------
Main ABZ Track
-----------------------
Contributions are solicited on all aspects of the theory and applications of ASMs, Alloy, B, TLA, VDM, Z approaches in software/hardware engineering, including the development of tools and industrial applications. The program spans from theoretical and methodological foundations to practical applications, emphasizing system engineering methods and tools that are distinguished by mathematical rigor and have proved to be industrially viable. The main goal of the conference is to contribute to the integration of accurate state- and machine-based system development methods, clarifying their commonalities and differences to better understand how to combine different approaches for accomplishing the various tasks in modeling, experimental validation, mathematical verification of reliable high-quality hardware/software systems. Although organized to host several formal methods with ASM, Alloy, B, TLA, VDM and Z, in a single event, editorial control of the joint conference is vested in one integrated program committee, which will respectively determine its ASM, Alloy, B, TLA, VDM and Z content, to be presented in parallel conference tracks with a schedule to allow the participants to switch between the sessions.

-------------------------------------------------
Workshop and Tutorial Proposals
-------------------------------------------------
Workshops and tutorials will be associated with the main event ABZ. Proposals are solicited in areas related to the conference topics.

A workshop proposal should contain the title of the workshop, a short description of the scientific content, the names and brief CVs of the workshop organizers, the intended PC for the workshop, the duration of the workshop, and the expected number of participants.

A tutorial proposal should contain the title of the tutorial, a short description of the scientific content, the names and brief CVs of the tutorial presenters and the duration.

-----------------------
Call For Papers
-----------------------
Four kinds of contributions are invited:

•    Full Research papers: full papers of not more than 14 pages in LNCS format, which have to be original, unpublished and not submitted elsewhere.
•    Short presentations of work in progress, and tool demonstrations: This is an excellent opportunity for Ph.D. students to present and validate their work in progress. An extended abstract of not more than 4 pages is expected and will be reviewed.
•    Answers to case study papers: full papers of not more than 14 pages in LNCS format reporting on the experiments conducted with any of the state based techniques in the scope of ABZ 2014.
•    Application in industry papers: reporting on work or experiences on the application of state based formal methods in industry. An extended abstract of not more than 4 pages is expected and will be reviewed. It is also an interesting option for industrial practitioners who sometimes face too many constraints to prepare a full paper.

Accepted papers will appear in the Springer LNCS proceedings.  The deadline for abstract submission is January 22, 2018 and for paper submission is January 29, 2018.

-----------------------
Important dates
-----------------------
Abstract submission deadline: January 22, 2018
Paper submission deadline: January 29, 2018 (including research/short/case study/industry papers)
Workshop proposal submission deadline: December 15, 2017
Tutorial proposal submission: February 16, 2018
ABZ 2018 conference: June 5-8, 2018

-------------------
Organization
-------------------
Conference Chairs:

Michael Butler, University of Southampton, Southampton, UK
Alexander Raschke, Universität Ulm, Ulm, Germany

Case Study Chairs:

Klaus Reichl, Thales Ground Transport Division, Vienna, Austria
Thai Son Hoang, University of Southampton, Southampton, UK

Workshop Chairs:

Stefan Hallerstede, Aarhus University, Aarhus, Denmark

Tutorial Chairs:

Colin Snook, University of Southampton, Southampton, UK

Publicity Chair

Asieh Salehi, University of Southampton, Southampton, UK

For further questions concerning ABZ 2018, please contact us at abz2018@soton.ac.uk

lundi 11 septembre 2017

Saint Julien de Voventes dans un Rondeau de François Villon

" Si je parle un peu poitevin,
Ice m'ont deux dames appris.

Elles sont très belles et gentes,
Demeurant à Saint Generou
Près Saint Julien de Voventes,
Marche de Bretagne ou Poitou"


Saint Généroux est actuellement dans les Deux-Sèvres.
Saint-Julien de Vouvantes est aux marches de Bretagne et de l’Anjou, non du Poitou, assez  loin de Saint Généroux !
 Sans doute -t-il rencontré les deux dames lors de son séjour à Angers
"Villon passe l’année 1456 à Paris. Vers Noël, il gagne Angers pour fuir une maîtresse « qui m’a esté felonne et dure », dit-il dans le Lais. Dans ce poème espiègle de 320 vers (40 huitains), il dit adieu à ceux qu’il connaît, amis et ennemis, en leur faisant à chacun un legs imaginaire, plein de sous-entendus ironiques"


Sur le site de la commune on lit :

"La fondation de Saint Julien De Vouvantes remonte au XIème siècle, après les invasions normandes, les populations cherchent refuge dans les forêts.
La commune tient son nom d’un miracle qui serait survenu en sa chapelle au XVe siècle. Étape sur la route des galères de Brest à Toulon, le bourg servait régulièrement de relais pour les prisonniers. On raconte que l’un d’entre eux ayant prié avec une grande ferveur saint Julien de lui accorder le pardon, il aurait vu ses chaînes tomber, et ce à trois reprises. La nouvelle remonta jusqu’à Tours, ou l’évêque, lui-même grand fidèle de la mémoire du saint, aurait alors proposé à la ville, à l’époque sans nom, de rendre hommage au martyr en adoptant le sien. Les terres appartenant au seigneur de Vouvantes, on compléta le  nom de la ville avec son patronyme. "
Peut-être aussi que Saint Julien était un saint qui intéressait particulièrement Villon.

vendredi 4 août 2017

"Le supplice de Chantal" d'Hubert Ben Kamoun, mis en scène par Christophe Rouxel à Rieux (Morbihan)

 « Sur scène, quatre professionnels et soixante amateurs tous chanteurs, donc 260 personnes en mouvement auxquelles s'ajoutent les 70 personnes qui encadrent le spectacle, cuisiniers, sécurité, costumes... », précise le metteur en scène.

à Avignon où la pièce, créée en 1997 à Saint-Nazaire, avait été sélectionnée en 2012 dans les dix meilleurs spectacles (sur 1 200 au total !)

http://www.ouest-france.fr/pays-de-la-loire/saint-nazaire-44600/le-supplice-de-chantal-rejoue-cet-ete-4347255

"
Chantal revient !!!

Et avec elle, plein de nouveaux personnages exubérants et étonnants...
Grand spectacle déambulatoire repris ici à Rieux sur un parcours inédit, singulier et surprenant. L’intrigue, les chants, les lieux insolites, les musiques sont en continuel mouvement pendant près de quatre heures de spectacle.
« A l'heure où les autres vident leurs Pastis en terrasse, elle terrasse, sans la moindre hésitation tout ce qui passe dans le champ de son barillet. 
Accompagnée d'étranges serviteurs qui ne s'expriment qu'en alexandrins à douze coups, Chantal cherche Jean Dumoulin, le célèbre auteur et scénariste de romans et films policiers, connu sous le nom de John Dulin. Tapi dans l'ombre, celui-ci a bien des raisons de s'inquiéter, il sait, lui, pourquoi Chantal est revenue ce soir... »
Ultime occasion pour découvrir, dans une nouvelle mise en scène, une  œuvre déjà ovationnée par plus de 8000 spectateurs à Fégréac et St Nazaire."
On a vu. Époustouflant ! plein de surprises. Des amateurs excellents. 

4 heures de spectacle. Et on bouge. Plusieurs scènes dans la nature. En chemin, un dîner. Et pour 22 euros !

https://fr.wikipedia.org/wiki/Hubert_Ben_Kemoun

H. Ben Kemoun vit à Nantes. 

Christophe Rouxel

https://fr.wikipedia.org/wiki/Christophe_Rouxel

 est directeur du

http://www.theatre-icare.fr/




Vues du point de départ. La Vilaine et des voiliers à quai.


On se dirige vers la première scène.


Madame de Rieux nous fait prendre place

Le port de Rieux sur la Vilaine. Pour arriver à Rieux nous sommes passés sur un pont tournant.



Tintin et Milou, les Dupont, etc.





Référence aux Ailes du désir de Wim Wenders

Et même la reine d'Angleterre

Les Daltons et Jean-Paul Gaultier en bigouden



Le deuxième ange et ...


La péniche part (vous pouvez l'emprunter pour aller une journée de Rieux à l'ïle aux pies sur l'Oust. L'Ouest est une partie du canal de Nantes à Brest)

Les plaisanciers apprécient


Pour nous c'est l'occasion de visiter Rieux !

Nos périgrinations sont accompagnés de la musique. Du Brel, du Guy Mardel avec
"N'avoue jamais.."

et bien d'autres bien à propos

On arrive au stade de Rieux






Nouvelle scène. On se retrouve dans un cabaret un peu louche. Apéritif en plus.

Photos plus difficiles à prendre. La nuit tombe. Et ça bouge !

On repart avec trois bétaillères de luxe. Dont une au moins tirée par un tracteur fonctionnant au carburant végétal. 




On passe devant le cimetière

L'église Saint-Melaine de Rieux qui date de 1952. Étonnante.


Avec en fond sonore :

Nous prenons place autour de la scène en intérieur. Un dîner va nous être servi.
Et le théâtre continue en cours de dîner.






Puis nous repartons en bétaillère.

Nouvelle scène dans les bois
Et une autre proche. Nous sommes entourés de caravanes. On découvrira ensuite ce qu'elles cachent.


A noter que le spectacle comprend de nombreux cœurs.

Nous découvrons l'intérieur des caravanes. Des scènes de romans policiers.



Une chance ! pas de pluie. Nous la trouverons sur la route de retour vers minuit. Le spectacle a commencé à 20 heure pétantes.

Quelle organisation !
Bravo à tous. Et on n'est pas le seul à le dire 


Pour en voir la préparation et une des versions du spectacle :












jeudi 3 août 2017

Lectures d'août

- Thierry Jonquet, Mygale, folio
- Thierry Jonquet, Mon vieux, Points
- Didier Daenincks, Lumière noire, folio
- Yan Gérard, 676, Points
- Pascale Fonteneau, Propriétés privées, Actes Sud
- Cédric Bannel, Kaboul Express, Laffont
- Cédric Bannel, Baad, Points

vendredi 14 juillet 2017

L'huile de ricin, chez les fascistes et les musulmans mais pas que ...



"Dans l'Italie fasciste, sous le régime de Benito Mussolini, l'huile de ricin était l'un des instruments des Chemises noires9,10,11. Afin d'humilier leurs adversaires politiques, les fascistes les forçaient à avaler de fortes doses de cette huile qui provoque des diarrhées. Dans les années 1920, certains fascistes étaient des cogneurs payés par les patrons d'ouvriers en grève (un dessin de propagande montre un ouvrier guéri de ses « mauvaises idées rouges » par un fasciste qui lui « prodigue » l'huile lors d'une bastonnade).[réf. souhaitée] Cette technique semble avoir été lancée par Gabriele D'Annunzio. À forte dose, les diarrhées et la déshydratation qui en résultait étaient si importantes qu'elles étaient parfois mortelles12. Lorsque les Chemises noires voulaient s'assurer que leurs victimes mourraient, elles ajoutaient de l'essence à l'huile de ricin.
On disait parfois que le pouvoir de Mussolini reposait sur « le gourdin et l'huile de ricin »



Le ricin 


La ricine


La ricine est hautement toxique ;
  • 6 000 fois plus toxique que le cyanure et 12 000 fois plus que le venin du crotale.
  • Si elle est ingérée, elle est en grande partie détruite par les enzymes digestives protéolytiques. Mais son absorption sublinguale peut augmenter la quantité absorbée.
  • Elle est mille fois plus toxique inhalée par voie pulmonaire (inhalation) ou parentérale. La ricine dispersée sous forme de poudre ou d'aérosol peut entraîner dans un délai variant de quelques minutes à plusieurs heures des signes d'irritation oculaire (sensation de brûlure, larmoiement, conjonctivite plus ou moins sévère) et pharyngée ainsi qu’une irritation respiratoire plus ou moins marqués : toux, dyspnée, œdème pulmonaire pouvant conduire à un syndrome de détresse respiratoire aiguë (SDRA). Il existe un risque de réaction anaphylactique. La dose létale est de 1 mg/kg2.
  • La ricine a été utilisée comme poison dans les années 1980, par les services secrets bulgares (« parapluie bulgare ») ou pour des suicides.
    Au delà d'une certaine dose, les effets sont généralement irréversibles. Les symptômes apparaissent en quelques heures, conduisant à la mort de la personne exposée en trois à cinq jours.
  • On craint qu'elle puisse être utilisée dans le cadre d'attaques terroristes (voir bioterrorisme et Plan Biotox). Cela s'est déjà produit dans le passé, et s'est reproduit le 16 avril 2013, dans un courrier adressé au Sénat des États-Unis. Le lendemain () le président américain Barack Obama reçut une lettre contenant également de la ricine3.


Souvenez-vous du parapluie bulgare !



Ah le principe de précaution ! dans les jardins publics on plante plein de ricin. Et personne ne dit rien !
 
Site Meter