Revision as of 17:24, 6 April 2020

The 8th Rodin User and Developer Workshop, June, 2021, Ulm, Germany

Rodin Workshop 2020 Website @ ABZ2020

(Due to the situation with Corona-Virus the ABZ2020 conference will be postponed to 2021. Our workshop will be collocated with ABZ2021 around June 2021)

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 tool-assisted reasoning, in particular, automated proof. The platform is open source and can be extended with plug-ins. A range of plug-ins are available that can be installed via the built-in extensions mechanism of Eclipse.

The 8th Rodin workshop will be collocated with the ABZ2020 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 rodin@ecs.soton.ac.uk by 24 April 2020 with subject [RodinWorkshop2020] Contribution, 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, University of Southampton

Thai Son Hoang, University of Southampton

Colin Snook, University of Southampton

@@ Line 1: / Line 1: @@
-==4th Rodin User and Developer Workshop==
+=The 8th Rodin User and Developer Workshop, June, 2021, Ulm, Germany=
-''June 10-11, 2013''
+[https://abz2020.uni-ulm.de/workshop Rodin Workshop 2020 Website @ ABZ2020]
-Turku, Finland
+(Due to the situation with Corona-Virus the ABZ2020 conference will be postponed to 2021. Our workshop will be collocated with ABZ2021 around June 2021)
-http://wiki.event-b.org/index.php/Rodin_Workshop_2013
+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 tool-assisted reasoning, in particular, automated proof. The platform is open source and can be extended with plug-ins. A range of plug-ins are available that can be installed via the built-in extensions mechanism of Eclipse.
-The purpose of the Rodin workshop
+The 8th Rodin workshop will be collocated with the [https://abz2020.uni-ulm.de ABZ2020 Conference].
-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.
-Preceding Rodin User and Developer Workshops were held at the University of
+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.
-Southampton, the University of Düsseldorf and the University of Paris-Est Créteil.
-The fourth Rodin workshop will be collocated with the conference [http://www.it.abo.fi/iFM2013/ iFM 2013]
-The Proceedings of the 2013 Rodin Workshop are available as a [http://tucs.fi/publications/view/?pub_id=pBuHaWa13a TUCS Report here.]
+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.
-The Rodin Workshop is supported by the [http://www.advance-ict.eu FP7 ADVANCE Project [[image:Logo_web.png|128px]] ] and by [http://www.abo.fi Åbo Akademi University].
+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 [mailto:rodin@ecs.soton.ac.uk?subject=RodinWorkshop2020%20Contribution rodin@ecs.soton.ac.uk] by '''24 April 2020''' with subject '''[RodinWorkshop2020] Contribution''', indicating whether it is a tool usage or tool development presentation.
-==Registration==
+We will endeavour to accommodate all submissions that are clearly relevant to Rodin and Event-B.
-Registration for the Rodin 2013 Workshop is open:
+The proceedings of the workshop will be available as a technical report at the University of Southampton.
-http://www.it.abo.fi/iFM2013/rodin_registration.php
-==Programme==
-===Monday 10 June - Tutorials===
-'''12:30 - 13:00'''  Registration and coffee
-'''13:00 - 14:45'''  Colin Snook: ''UML-B tutorial''
-'''14:45 - 15:15'''  Coffee
-'''15:15 - 17:00'''  Jens Bendisposto, Sebastian Krings: ''ProB Tutorial''
-===Tuesday 11 June - Presentations===
-'''09:00 - 10:30 Session 1'''
-*Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis: ''Supporting Formal Modelling in Event-B with Safety Cases''
-*Tsutomu Kobayashi, Fuyuki Ishikawa, and Shinichi Honiden: ''Systematic Planning of Refinement in Event-B''
-*Colin Snook, Michael Butler: ''iUML-B Diagram Developments''
-*Neil Evans, Neil Grant, Helen Marshall, James Sharp, Michael Butler, John Colley, Andy Edmunds, Colin Snook: ''The Co-Design Architecture (CODA) Methodology and Plug-in Tool, Progress Update''
-'''10:30 - 11:00 Coffee'''
-'''11:00 - 12:30 Session 2'''
-* Laurent Voisin and Minh-Thang Khuu: ''Domain Specific Event-B Modeling''
-* Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, and Tom Verhoeff: ''Event-B for Defining the Dynamic Semantics of a DSL''
-* Jens Bendisposto, Philipp Korner and Michael Leuschel: ''Parallel Model Checking of B Specifications''
-* Sebastian Krings, Jens Bendisposto, Ivaylo Dobrikov and Michael Leuschel: ''B Constrained''
-'''12:30 - 13:30 Lunch'''
-'''13:30 - 14:30 Session 3'''
-* '''Invited Talk''' - Luigia Petre, Elena Troubitsyna and Marina Waldén:  ''On Kaisa Sere's Contributions to Refinement Research''
-'''14:30 - 15:15 Session 4'''
-* Thai Son Hoang: ''Generic Instantiation and Tool Support''
-* Alexei Iliasov, Linas Laibinis, Elena Troubitsyna, Alexander Romanovsky: ''Support for Indexed Modules in Event-B''
-'''15:15 - 15:45 Coffee'''
-'''15:45 - 17:15 Session 5'''
-* Andy Edmunds: ''Developments in Code Generation Tools for Event-B''
-* Sergey Ostroumov , Leonidas Tsiopoulos , Juha Plosila , Kaisa Sere: ''Derivation of Structural VHDL from Component-Based Event-B Models''
-* Vitaly Savicks, Michael Butler, Jens Bendisposto, John Colley: ''Co-simulation of Event-B and Continuous Models in Rodin''
-* Adisak Intana, Michael R. Poppleton, and Geoff V. Merrett: ''Proof-based formal methods for WSN development with Simulation Approach''
 ==Organisers==
-Michael Butler, University of Southampton
-Stefan  Hallerstede, Aarhus University
-Thierry Lecomte, ClearSy
-Michael Leuschel, University of Düsseldorf
-Alexander Romanovsky, Newcastle University
+Asieh Salehi Fathabadi, University of Southampton
-Laurent Voisin, Systerel
+Thai Son Hoang, University of Southampton
-Marina Walden, Åbo Akademi University
+Colin Snook, University of Southampton

Difference between pages "Rodin Workshop 2013" and "Rodin Workshop 2020"

Revision as of 17:24, 6 April 2020

The 8th Rodin User and Developer Workshop, June, 2021, Ulm, Germany

Organisers

Navigation menu

Page actions

Page actions

Personal tools

Navigation

contribute

Search

Tools