The 10th Rodin User and Developer Workshop, 30th May, 2023, Nancy, France Rodin Workshop 2023 Website<http://wiki.event-b.org/index.php/Rodin_Workshop_2023>
The 10th Rodin workshop will be collocated with the ABZ 2023 Conference<https://abz2023.loria.fr/>. 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?subject=%5BRodinWorkshop2023%5D%20Contribution> by 28th April 2023 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 Dana Dghaym, University of Southampton Laurent Voisin, Systerel Fabian Vu, Heinrich Heine University Düsseldorf Neeraj Kumar Singh, INPT-ENSEEIHT / IRIT, Univeristy of Toulouse
_______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
