imported>WikiSysop |
imported>Mathieu |
| Line 1: |
Line 1: |
| − | = Rodin User and Developer Workshop, 27-29 February 2012, Fontainebleau, France = | + | <noinclude> |
| − | | + | ==Usage== |
| − | | + | Template use to specify a key stroke. |
| − | 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.
| + | ==Example== |
| − | The [http://wiki.event-b.org/index.php/Rodin_Workshop_2009 first Rodin User and Developer Workshop was held in July 2009 at the University of Southampton] while the [http://wiki.event-b.org/index.php/Rodin_Workshop_2010 second took place at the University of Düsseldorf in September 21-23, 2010]. The 2012 workshop will be part of the [http://www.bmethod.com/php/federated-event-2012-en.php DEPLOY Federated Event] hosted by the [http://lacl.univ-paris12.fr/ LACL laboratory] at [http://www.iutsf.u-pec.fr/ IUT Sénart-Fontainebleau]. Fontainebleau is within easy reach of Paris.
| + | Hit {{key|F5}}. |
| − | | + | ==Template== |
| − | While much of the development and use of Rodin takes place within the [http://www.deploy-project.eu EU FP7 DEPLOY Project], there is a growing group of users and plug-in developers outside of DEPLOY. The purpose of this workshop is to bring together existing and potential users and developers of the Rodin toolset and to foster a broader community of Rodin users and developers.
| + | [[Category:Typesetting template]] |
| − | | + | </noinclude> |
| − | For Rodin users the workshop will provide an opportunity to share tool experiences and to gain an understanding of on-going tool developments. For plug-in developers the workshop will provide an opportunity to showcase their tools and to achieve better coordination of tool development effort.
| + | <div class="typeset-key" style="display:inline;">'''''{{{1}}}'''''</div> |
| − | | |
| − | The format will be presentations together with plenty of time for discussion. On Day 1 a Developer Tutorial will be held while Days 2 and 3 will be devoted to tool usage and tool developments. The workshop will be followed by an open [http://www.bmethod.com/php/federated-event-2012-en.php Industry Day].
| |
| − | | |
| − | 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. Indicate whether it is a tool usage or tool development presentation. Plug-in presentations may be about existing developments or planned future developments. We will endeavour to accommodate all submissions that are relevant to Rodin and Event-B.
| |
| − | | |
| − | Attendance at the DEPLOY Federated Event (including the Rodin Workshop) is open to all and registration is free:
| |
| − | | |
| − | ::[http://forms.ncl.ac.uk/view.php?id=2535 Click here for the Registration Form]
| |
| − | | |
| − | ::[http://wiki.event-b.org/images/FontainebleauAccommodation.pdf Click here for details of recommended accommodation.]
| |
| − | | |
| − | <br> | |
| − | | |
| − | ---- | |
| − | | |
| − | '''Organisers''' | |
| − | | |
| − | Michael Butler, University of Southampton
| |
| − | | |
| − | Stefan Hallerstede, University of Aarhus
| |
| − | | |
| − | Thierry Lecomte, ClearSy
| |
| − | | |
| − | Michael Leuschel, University of Düsseldorf
| |
| − | | |
| − | Alexander Romanovsky, University of Newcastle
| |
| − | | |
| − | Laurent Voisin, Systerel
| |
