Difference between pages "Rodin Workshop 2021" and "Template:Dev News"

From Event-B
(Difference between pages)
Jump to navigationJump to search
 
(Theory plug-in release 4.0.3)
 
Line 1: Line 1:
−
==9th Rodin User and Developer Workshop==
+
<noinclude>
−
 
+
[http://wiki.event-b.org/index.php?title=Template:Dev_News/Archives&action=edit Edit Archives]
−
The 9th Rodin User and Developer Workshop, 8 June, 2021, Ulm, Germany (Virtual)
+
== Displayed as follow on the Main Page ==
−
 
+
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF;">
−
''The proceedings of the workshop is now available as a [technical report] at the University of Southampton.''
+
</noinclude><!--- News to add here below : ==== --->
−
 
+
<div style="font-size:90%;">
−
The programme now available on [https://abz2021.uni-ulm.de/program-overview  the ABZ2021 website] and [[#Programme|below]] (with texts).
+
{| border="0"
−
 
+
|-
−
Event-B is a formal method for system-level modelling and analysis. The
+
|<p style="font-size:35px">Rodin 3.6 is out&nbsp;&nbsp;&nbsp;</p>
−
Rodin Platform is an Eclipse-based toolset for Event-B that provides
+
||<p style="font-size:25px">[[Rodin Platform 3.6 Release Notes | +Learn more... ]]</p>
−
effective support for modelling and automated proof. The platform is open
+
  <p style="font-size:25px">[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download now]</p>
−
source and is further extendable with plug-ins. A range of plug-ins have
+
|-
−
already been developed.
+
|}
−
 
+
* 29/09/21 : [[Theory_Plug-in]] Theory 4.0.3 is now available
−
The 9th Rodin workshop will be collocated with the [https://abz2021.uni-ulm.de/ ABZ 2021 Conference].
+
* 04/06/21 : [[Theory_Plug-in]] Theory 4.0.2 is now available
−
 
+
* 17/05/21 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Release 3.6] of Rodin is now available [[Rodin Platform 3.6 Release Notes | +Learn more]]
−
The purpose of this workshop  is to bring together existing and potential
+
* 22/12/20 : [[Theory_Plug-in]] Theory 4.0.1 is now available
−
users and developers of the Rodin toolset and to foster a broader community
+
* 11/09/20 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ Release 3.5] of Rodin is now available [[Rodin Platform 3.5 Release Notes | +Learn more]]
−
of Rodin users and developers.
+
* 07/03/18 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.4/ Release 3.4] of Rodin is now available [[Rodin Platform 3.4 Release Notes | +Learn more]]
−
 
+
* 13/04/17 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.3/ Release 3.3] of Rodin is now available [[Rodin Platform 3.3 Release Notes | +Learn more]]
−
For Rodin users the workshop will provide an opportunity to share tool
+
* 22/06/15 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.2/ Release 3.2] of Rodin is now available [[Rodin Platform 3.2 Release Notes | +Learn more]]
−
experiences and to gain an understanding of on-going tool developments.
+
* 17/12/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.1/ Release 3.1] of Rodin is now available [[Rodin Platform 3.1 Release Notes | +Learn more]]
−
For plug-in developers the workshop will provide an opportunity to showcase
+
* 25/03/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Release 3.0] of Rodin is now available [[Rodin_Platform_3.0_Release_Notes | +Learn more]]
−
their tools and to achieve better coordination of tool development effort.
+
* 18/10/13 : [[SMT_Solvers_Plug-in]] SMT 1.1 is now available
−
 
+
* 20/06/13 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.8/ Release 2.8] of Rodin is now available [[Rodin_Platform_2.8_Release_Notes | +Learn more]]
−
 
+
* 03/06/13 : [[SMT_Solvers_Plug-in]] SMT 1.0 is now available
−
=== Programme ===
+
* 06/11/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.7/ Release 2.7] of Rodin is now available
−
 
+
* 03/08/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.6/ Release 2.6] of Rodin is now available
−
'''09:00 - 10:30'''
+
* 02/05/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.5/ Release 2.5] of Rodin is now available
−
* Domain knowledge as Ontology-based Event-B Theories - ''I. Mendil, Y. Aït-Ameur, N. K. Singh, D. Méry, and P. Palanque'' ([[Media:RodinWorkshop2021_Domain knowledge as Ontology-based Event-B Theories.pdf|pdf]], [[Media:RodinWorkshop2021_Domain knowledge as Ontology-based Event-B Theories_slides.pdf|slides]])
+
* 03/02/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.4/ Release 2.4] of Rodin is now available
−
* OntoEventB: A Generator of Event-B contexts from Ontologies - ''Idir Ait-Sadoune'' ([[Media:RodinWorkshop2021_OntoEventB.pdf|pdf]], [[Media:RodinWorkshop2021_OntoEventB_slides.pdf|slides]])
+
* 01/12/11 : [[Rodin_Editor | Rodin Editor]] plug-in v0.6 released for Rodin 2.3
−
* EVBT — an Event-B tool for code generation and documentation - ''Fredrik Öhrström'' ([[Media:RodinWorkshop2021_EVBT.pdf|pdf]])
+
* 04/10/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.3/ Release 2.3] of Rodin is now available
−
* Scenario Checker: An Event-B tool for validating abstract models - ''Colin Snook, Thai Son Hoang, Asieh Salehi Fathabadi, Dana Dghaym, Michael Butler'' ([[Media:RodinWorkshop2021_Scenario Checker.pdf|pdf]], [[Media:RodinWorkshop2021_Scenario Checker_slides.pdf|slides]])
+
* 01/08/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2.2/ Release 2.2.2] of Rodin is now available
−
 
+
* 13/07/11 : [[Rodin_Editor | Rodin Editor]] plug-in released for Rodin 2.2.x
−
'''10:30 - 11:00''' ''Break''
+
* 01/06/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2/ Release 2.2] of Rodin is now available
−
 
+
<!--
−
'''11:00--12:30'''
+
* 08/02/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.1/ Release 2.1] of Rodin is now available
−
* Context instantiation plug-in: a new approach to genericity in Rodin - ''Guillaume Verdier, Laurent Voisin'' ([[Media:RodinWorkshop2021_Context instantiation plug-in.pdf|pdf]], [[Media:RodinWorkshop2021_Context instantiation plug-in_slides.pdf|slides]])
+
* 16/11/10 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.0.1/ Release 2.0.1] of Rodin is now available
−
* Examples of using the Instantiation Plug-in - ''Dominique Cansell, Jean-Raymond Abrial'' ([[Media:RodinWorkshop2021_Examples of using the Instantiation Plug-in.pdf|pdf]], [[MEDIA:RodinWorkshop2021_Examples of using the Instantiation Plug-in_slides.pdf|slides]])
+
* 13/10/10 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.0/ Release 2.0] of Rodin is now available
−
* Data-types definitions: Use of Theory and Context instantiations Plugins - ''Peter Riviere, Yamine Ait-Ameur, and Neeraj Kumar Singh'' ([[Media:RodinWorkshop2021_Data-types_definitions.pdf|pdf]], [[Media:RodinWorkshop2021_Data-types_definitions_slides.pdf|slides]])
+
* 08/06/10 : UML-B Statemachine Animation Version 1.0.0 released (for Rodin 1.3)
−
* Towards CamilleX 3.0 - ''Thai Son Hoang, Colin Snook, Asieh Salehi Fathabadi, Dana Dghaym, Michael Butler'' ([[Media:RodinWorkshop2021_Towards CamilleX 3.0.pdf|pdf]], [[Media:RodinWorkshop2021_Towards CamilleX 3.0_slides.pdf|slides]])
+
* 08/06/10 : UML-B Version 1.1.0 released (for Rodin 1.3)
−
 
+
* 03/02/10 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/1.2/ Release 1.2.0] of Rodin is now available
−
'''12:30--13:30''' ''Lunch''
+
* 29/11/09 : B2Latex 0.5.1 is now available for Rodin 0.9.2 or later
−
 
+
* 20/10/09 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/1.1/ Release 1.1.0] of Rodin is now available
−
'''13:30--15:00'''
+
* 25/08/09 : [http://cia.vc/stats/project/rodin-b-sharp/.message/248437 Implemented new Prover Rules]
−
* Keynote: Safety and Security Case Study Experiences with Event-B and Rodin - ''Jonathan Hammond, Capgemini Engineering'' ([[Media:RodinWorkshop2021_Safety and Security Case Study Experiences with Event-B and Rodin.pdf|slides]])
+
* 20/08/09 : [http://cia.vc/stats/project/rodin-b-sharp/.message/24160f New extensible plug-ins] org.rodinp.keyboard and org.eventb.keyboard
−
* Large Scale Biological Models in Rodin - ''Usman Sanwal, Thai Son Hoang, Luigia Petre, and Ion Petre'' ([[Media:RodinWorkshop2021_Large Scale Biological Models in Rodin.pdf|pdf]], [[Media:RodinWorkshop2021_Large Scale Biological Models in Rodin_slides.pdf|slides]])
+
* 31/07/09 : UML-B plug-in released for Rodin 1.0.0
−
* Formal Verification of EULYNX Models Using Event-B and RODIN - ''Abdul Rasheeq, Shubhangi Salunkhe'' ([[Media:RodinWorkshop2021_Formal Verification of EULYNX Models Using Event-B and RODIN.pdf|pdf]], [[MEDIA:RodinWorkshop2021_Formal Verification of EULYNX Models Using Event-B and RODIN_slides.pdf|slides]])
+
* 27/07/09 : Fixed requirement plug-in for rodin 1.0.0
−
 
+
* 01/07/09 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/1.0/ Release 1.0.0] of Rodin is now available ([http://sourceforge.net/project/shownotes.php?release_id=693928 changelog]-->
−
=== Organisers ===
+
</div>
−
<p>Chair: Asieh Salehi Fathabadi, University of Southampton, UK</p>
+
<noinclude>
−
<p>Co-chair: Thai Son Hoang, University of Southampton, UK</p>
+
</div>
−
<p>Co-chair: Colin Snook, University of Southampton, UK</p>
+
[[Category:Main page templates]]
−
<p>Co-chair: Yamine Ait Ameur, Toulouse National Polytechnique Institute, France</p>
+
</noinclude>

Revision as of 13:17, 29 September 2021

Edit Archives

Displayed as follow on the Main Page

Rodin 3.6 is out   

+Learn more...

Download now

Retrieved from ‘https://wiki.event-b.org/index.php?title=Rodin_Workshop_2021&oldid=14481’