All public logs

Combined display of all available logs of Event-B. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 11:42, 20 February 2025 Asieh talk contribs created page Rodin Workshop 2025 (Created page with " ==12th Rodin User and Developer Workshop== The 12th Rodin User and Developer Workshop, 10th June, 2025, Düsseldorf, Germany 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 automated proof. The platform is open source and is further extendable with plug-ins. A range of plug-ins have already been developed. The 12th Rodin workshop will be co...")