[ecoop-info] Rodin Workshop 2016 - Call for Contributions

[Announcements of FME events]

(Apologies if you receive multiple copies of this announcement)

The 6th Rodin User and Developer Workshop, 23-24 May, 2016, Linz, Austria

http://wiki.event-b.org/index.php/Rodin_Workshop_2016

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.

The 6th Rodin workshop will be collocated with the ABZ 2016 Conference:

http://www.cdcc.faw.jku.at/ABZ2016/

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.

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.

If you are interested in giving a presentation at the Rodin workshop or
have a plug-in to demonstrate, send a short abstract (1 or 2 pages PDF)
to rodin at ecs.soton.ac.uk(mailto:rodin at ecs.soton.ac.uk)
18 April 2016.

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 clearly relevant to Rodin and Event-B.

Organisers

Michael Butler, University of Southampton
Stefan Hallerstede, Aarhus University
Thai Son Hoang, University of Southampton
Michael Leuschel, University of Düsseldorf
Laurent Voisin, Systerel


—  
Thai Son Hoang
ECS, Faculty of Physical Sciences and Engineering
University of Southampton
Southampton, United Kingdom. SO17 1BJ  

Sent with Mail Pilot 
-------------- next part --------------
_______________________________________________
events mailing list
events at fmeurope.org
http://fmeurope.hosting.west.nl/mailman/listinfo/events