All public logs
From Event-B
Jump to navigationJump to search
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:39, 17 December 2025 Asieh talk contribs created page Rodin Workshop 2026 (Created page with " ==13th Rodin User and Developer Workshop== The 13th Rodin User and Developer Workshop, May 18th-19th, 2026, Tokyo, Japan 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 13th Rodin workshop will be colloc...")
- 09:07, 18 July 2025 Asieh talk contribs created page File:202509 slides.pdf
- 09:07, 18 July 2025 Asieh talk contribs uploaded File:202509 slides.pdf
- 11:02, 17 July 2025 Asieh talk contribs created page File:202507 slides.pdf
- 11:02, 17 July 2025 Asieh talk contribs uploaded File:202507 slides.pdf
- 10:25, 17 July 2025 Asieh talk contribs created page File:202502 slides.pdf
- 10:25, 17 July 2025 Asieh talk contribs uploaded File:202502 slides.pdf
- 10:23, 8 July 2025 Asieh talk contribs created page File:202504 slides.pdf
- 10:23, 8 July 2025 Asieh talk contribs uploaded File:202504 slides.pdf
- 10:23, 8 July 2025 Asieh talk contribs created page File:202505 slides.pdf
- 10:23, 8 July 2025 Asieh talk contribs uploaded File:202505 slides.pdf
- 10:22, 8 July 2025 Asieh talk contribs created page File:202503 slides.pdf
- 10:22, 8 July 2025 Asieh talk contribs uploaded File:202503 slides.pdf
- 10:21, 8 July 2025 Asieh talk contribs created page File:202508 slides.pdf
- 10:21, 8 July 2025 Asieh talk contribs uploaded File:202508 slides.pdf
- 13:11, 7 July 2025 Asieh talk contribs created page File:202506 slides.pdf
- 13:11, 7 July 2025 Asieh talk contribs uploaded File:202506 slides.pdf
- 13:04, 7 July 2025 Asieh talk contribs created page File:202501 slides.pdf
- 13:04, 7 July 2025 Asieh talk contribs uploaded File:202501 slides.pdf
