[Hol-info] 10th Rodin Workshop - Call for Abstracts

[Dana Dghaym via hol-info]

The 10th Rodin User and Developer Workshop, 30th May, 2023, Nancy, France

Rodin Workshop 2023 
Website

The 10th Rodin workshop will be collocated with the ABZ 2023 
Conference.

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
 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





___
hol-info mailing list
hol-info@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/hol-info

[Hol-info] 10th Rodin Workshop - Call for Abstracts

[Dana Dghaym via hol-info]

The 10th Rodin User and Developer Workshop, 30th May, 2023, Nancy, France

Rodin Workshop 2023 
Website

The 10th Rodin workshop will be collocated with the ABZ 2023 
Conference.

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
 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