Rodin User and Developer Workshop, 27-29 February 2012, Fontainebleau, France

Rodin User and Developer Workshop,  27-29 February 2012, Fontainebleau, France http://wiki.event-b.org/index.php/Rodin_Workshop_2012 Event-B is a formal method for  system-level modelling and analysis. The Rodin Platform is an Eclipse-based  toolset for Event-B that provides effective support for modelling  and automated proof. The platform is open source and is further extendable with  plug-ins. A range of plug-ins have already been developed including ones that support animation, model checking and UML-B. The first Rodin User and Developer Workshop was held at the University of Southampton while the second took place  at the University of Düsseldorf in 2010. The 2012 workshop will be part  of the DEPLOY Federated Even hosted by the LACL laboratory at IUT Sénart-Fontainebleau. Fontainebleau is within easy reach of Paris: http://www.bmethod.com/php/federated-event-2012-en.php If you are interested in giving  a presentation at the Rodin workshop, send a short abstract (1 or 2 pages PDF)  to rodin@ecs.soton.ac.uk by 16 January 2012. Attendance at the DEPLOY Federated  Event (including the Rodin Workshop) is open to all. Organisers Michael Butler, University of Southampton Stefan Hallerstede, University of Aarhus Thierry Lecomte, ClearSy Michael Leuschel, University of Düsseldorf Alexander Romanovsky, Newcastle University Laurent Voisin, Systerel

Une Deuxième Révolution Galiléenne

Ca se passe le vendredi prochain 7 octobre à 15h30

en salle i001, département de
mathématiques de l'Université d'Angers.
Cela peut intéresser les chercheurs, mais aussi les enseignants !
Colin

=====================================
Une Deuxième Révolution Galiléenne

Gilles Dowek (INRIA)

L'introduction d'un nouveau concept

scientifique permet souvent de
donner de nouvelles réponses à des

questions anciennes qui n'avaient
jusqu'alors reçu que des réponses 

imparfaites. Par exemple,
l'introduction des notions d'atome 

et molécule a permis de donner de
nouvelles réponses aux questions/ 

"qu'est-ce que l'oxygène ?","qu'est-ce
que l'eau ?", "qu'est-ce qu'une 

réaction chimique ?",/.... Cet exposé
présentera quelques questions qui

ont trouvé de nouvelles réponses
depuis que nous comprenons mieux 

la notion d'algorithme : "/qu'est-ce
qu'un aéroport ?", "qu'est-ce 

qu'un nombre entier ?", "qu'est-ce qu'une
démonstration mathématique ?",

"qu'est-ce qu'une théorie mathématique
?", "qu'est-ce qu'une loi physique ?",/

... La prise de conscience du
caractère algorithmique de ces 

objets scientifiques nous amène à
considérer de nouveaux langages 

pour les décrire. Cette révolution, dans
le langage dans lequel la science

s'écrit, peut-être comparée à la
révolution qui s'est produite, 

au début du XVIIe siècle, quand le
langage mathématique a commencé

à être utilisé pour décrire des
phénomènes physiques.

Les Journées Scientifiques 2011 de l'Université de Nantes

Ont lieu demain. La conférence The B Method : from Research to Teaching n'aura pas lieu cette année.

RDV aux conférences grand-public

• 15h00-16h00 : Conférence « Greffer des organes d'animaux sur l'homme : rêve ou réalité ?" par Jean-Paul SOULILLOU, Professeur à l'Université de Nantes, Praticien Hospitalier au CHU de Nantes

• 16h15-17h00 : Conférence « Pourquoi une éthique du soin est-elle nécessaire aujourd'hui ?" par Fabienne BRUGÈRE, Philosophe, Professeur à l'Université Montaigne-Bordeaux III, Présidente du Conseil de développement durable de la Communauté Urbaine de Bordeaux

• 17h00-18h00 : Table ronde sur le thème des nouvelles technologies en santé. Échange avec le public en présence de :
• Jean-Paul SOULILLOU
• Fabienne BRUGÈRE
• Jean-Paul GALMICHE, Professeur à l'Université de Nantes, Praticien hospitalier au CHU de Nantes, spécialiste d'hépato-gastroentérologie.

10h30 - 18h00 : Nous vous invitons également à venir visiter les stands et expositions dans la grande halle de la Cité Nantes Events Center (laboratoires, expositions, vidéos, formations...).

WWV 2011 Automated Specification and Verification of Web Systems

First Call for Papers

WWV 2011
Automated Specification and Verification of Web Systems
7th International Workshop
(as part of DisCoTec'11)

http://rap.dsi.unifi.it/wwv2011/

June 9, 2011 - Reykjavik, Iceland

********************************************************


IMPORTANT DATES

Abstract Submission                        March 28, 2011
Full Paper Submission                        April 4, 2011
Acceptance Notification                              May 3, 2011
Camera Ready (pre-proceedings)                May 30, 2011
Workshop                                June 9, 2011
Camera Ready (post-proceedings)                July 4, 2011

Workshop B 2011, colocated with FM 2011, Limerick, Ireland, june, 21, 2011

http://membres-liglab.imag.fr/idani/BWorkshop/index.html

IMPORTANT DATES
Abstract submission         March 3, 2011
Paper submission         March 10, 2011
Acceptance notification         April 12, 2011
Final version         May 4, 2011
Workshop         June 21, 2011

the release of ProB for Rodin 2.1

We are happy to announce the release of ProB for Rodin 2.1 Numerous improvements went into the latest release: - constraint-based deadlock checker: finds counter-examples to the deadlock freedom PO using constraint-solving - improved kernel with improved constraint solving (in particular improved boolean constraint solver) - ProB can now efficiently solve integer constraints using the finite domain solver CLP(FD) (you can turn this feature on in  the Preferences Dialog) - improved LTL model checker with new counter-example display - new, improved version of BMotionStudio to generate graphical visualisations of your models - automatic record detection (when defining closed records using Records plug-in or manually using bijections on Cartesian products) - 64-bit version of ProB for Mac OS X (performance improvement; less hash collisions in model checking; larger range for the integer  constraint solver; ...) - and many more. To install ProB, first download Rodin 2.1,  choose Help -> Install New Software and simply choose the pre-configured ProB update site. More detailed installation instructions and a brief  tutorial can be found here: http://www.stups.uni-duesseldorf.de/ProB/index.php5/Tutorial_Rodin_First_Step We have also released the new version 1.3.3 of ProB  Classic, a version of ProB with a Tcl/Tk interface. It can be obtained at: http://www.stups.uni-duesseldorf.de/ProB/index.php5/Download ProB Classic, is a stand-alone application but can be started automatically from within Rodin by setting the ProB Classic preference. ProB Classic provides some features which are not yet available in the ProB for Rodin version (graphical visualisation of the state space,  debugging of axioms with unsat core computation, CSP support...). Kind regards, The ProB Team from Düsseldorf http://www.stups.uni-duesseldorf.de/ProB/

Have we learned from the Wasa disaster ? J.R. Abrial

http://videotorium.hu/en/recordings/details/1674,Have_we_learned_from_the_Wasa_disaster_

• Conference, 2006. September 19 - 20.
• http://www.jaist.ac.jp/~bjorner/ae-is-budapest/

The AE/IS `Charles Simonyi' Symposium: Grand Challenges of Informatics is a major event. Some 14 of the nest computer scientists will, over two days, present challenges within areas of 100% trustworthy software, quantum computing, biocomputing, economics and game theory, and the relations between informatics and mathematics. Thanks to Dr. Simonyi's donation the event will host some 40 young scientists from Central and Eastern European countries.

FM 2011: 17TH INTERNATIONAL SYMPOSIUM ON FORMAL METHODS

http://fm2011.lero.ie 

June 20 - 24, 2011

Lero, Limerick, Ireland

Structures de données et méthodes formelles, Marc Guyomard, Springer

Ce livre porte sur l’étude des structures de données, à savoir des constituants logiciels dont la qualité conditionne le bon fonctionnement et l’efficacité des applications informatiques. L’originalité de cet ouvrage réside essentiellement dans le lien qu’il établit avec la discipline des méthodes formelles pour le génie logiciel. Il montre comment il est possible de calculer les opérations qui accompagnent une structure de données à partir d’une spécification rigoureuse. L’auteur adopte à la fois une perspective historique et une démarche fonctionnelle. La première partie de l’ouvrage présente les bases de la discipline : la théorie des ensembles, l’étude de structures intermédiaires (listes, arbres, sacs), et l’analyse des algorithmes. La seconde partie se focalise sur l’étude approfondie de cinq structures de données typiques : les ensembles simples, les ensembles composites, les files simples, les files de priorité, et les tableaux flexibles. Des exercices accompagnent chaque chapitre.

1st Edition., 2011, 426 p., Broché
ISBN: 978-2-8178-0199-5

à paraître: mars 2011
http://www.springer.com/computer/book/978-2-8178-0199-5?changeHeader
http://www.irisa.fr/cordial/mguyomar/guyomard-15-09-05.htm

Décès de Michel Sintzoff

http://www.ae-info.org/ae/User/Sintzoff_Michel

On m'apprend :

" C'est avec une très grande tristesse que j'ai appris ce lundi le décès de Michel Sintzoff.
Michel était une personnalité exceptionnelle de la recherche en Informatique. Sa curiosité scientifique l'avait amené à travailler dans de nombreux domaines de notre discipline (Langages, Intelligence Artificielle, Bases de Données, Génie Logiciel, Informatique Distribuée,...).

Il avait des amis partout dans le monde, et donc naturellement en France (à Paris, Toulouse, Nancy, Grenoble,...).Beaucoup se souviendront de son ouverture d'esprit, de la pertinence de ses remarques et de son rire inimitable. "