The 11th Rodin User and Developer Workshop, 25th June, 2024, Bergamo, Italy
Rodin Workshop 2024 Website<https://wiki.event-b.org/index.php/Rodin_Workshop_2024> The 11th Rodin workshop will be collocated with the ABZ 2024 Conference<https://abz-conf.org/site/2024/>. 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 ro...@ecs.soton.ac.uk<mailto:ro...@ecs.soton.ac.uk> by 30th May 2024 indicating whether it is a tool usage or tool development presentation. We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B. The proceedings of the workshop will be available as a technical report at the University of Southampton. Organisers Asieh Salehi Fathabadi, Senior Research Fellow, University of Southampton Guillaume Verdier, Université de Paris-Est Créteil Kristin Rutenkolk, Heinrich Heine University Düsseldorf Neeraj Kumar Singh, Associate Professor, INPT-ENSEEIHT / IRIT, University of Toulouse Sebastian Stock, Junior Researcher, Johannes Kepler University Laurent Voisin, R&D Manager, Systerel
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info