User contributions for Asieh
From Event-B
Jump to navigationJump to search
19 May 2026
- 00:4700:47, 19 May 2026 diff hist 0 File:202602.pdf Asieh uploaded a new version of File:202602.pdf current
- 00:4300:43, 19 May 2026 diff hist 0 N File:202602 slides.pdf No edit summary current
18 May 2026
- 08:2108:21, 18 May 2026 diff hist 0 N File:202607 slides.pdf No edit summary current
- 07:4107:41, 18 May 2026 diff hist 0 N File:202608 slides.pdf No edit summary current
- 07:2207:22, 18 May 2026 diff hist 0 N File:202609 slides.pdf No edit summary current
- 07:2007:20, 18 May 2026 diff hist 0 N File:202605 slides.pdf No edit summary current
- 07:1907:19, 18 May 2026 diff hist 0 N File:202604 slides.pdf No edit summary current
- 07:1907:19, 18 May 2026 diff hist 0 N File:202603 slides.pdf No edit summary current
- 07:1707:17, 18 May 2026 diff hist 0 N File:202601 slides.pdf No edit summary current
13 April 2026
- 21:0321:03, 13 April 2026 diff hist 0 N File:202609.pdf No edit summary current
- 21:0321:03, 13 April 2026 diff hist 0 N File:202608.pdf No edit summary current
- 21:0321:03, 13 April 2026 diff hist 0 N File:202607.pdf No edit summary current
- 21:0321:03, 13 April 2026 diff hist 0 N File:202606.pdf No edit summary current
- 21:0321:03, 13 April 2026 diff hist 0 N File:202605.pdf No edit summary current
- 21:0321:03, 13 April 2026 diff hist 0 N File:202604.pdf No edit summary current
- 21:0221:02, 13 April 2026 diff hist 0 N File:202603.pdf No edit summary current
- 21:0221:02, 13 April 2026 diff hist 0 N File:202602.pdf No edit summary
- 21:0121:01, 13 April 2026 diff hist 0 N File:202601.pdf No edit summary current
- 20:4220:42, 13 April 2026 diff hist +1 Rodin Workshop 2026 →13th Rodin User and Developer Workshop current
- 20:4220:42, 13 April 2026 diff hist +16 Rodin Workshop 2026 →13th Rodin User and Developer Workshop
- 20:4220:42, 13 April 2026 diff hist −70 Rodin Workshop 2026 →13th Rodin User and Developer Workshop
- 20:4120:41, 13 April 2026 diff hist 0 Rodin Workshop 2026 →Programme
- 20:4120:41, 13 April 2026 diff hist +1 Rodin Workshop 2026 →Programme
- 20:4020:40, 13 April 2026 diff hist −1 Rodin Workshop 2026 →Programme
- 20:3920:39, 13 April 2026 diff hist +1,132 Rodin Workshop 2026 No edit summary
2 March 2026
- 10:4010:40, 2 March 2026 diff hist +3 Rodin Workshop 2026 No edit summary
- 10:4010:40, 2 March 2026 diff hist +21 Rodin Workshop 2026 No edit summary
17 December 2025
- 11:4811:48, 17 December 2025 diff hist −2 Rodin Workshop 2026 No edit summary
- 11:4811:48, 17 December 2025 diff hist +308 Rodin Workshop 2026 No edit summary
- 11:4711:47, 17 December 2025 diff hist +2 Rodin Workshop 2026 No edit summary
- 11:4611:46, 17 December 2025 diff hist 0 Rodin Workshop 2026 No edit summary
- 11:4611:46, 17 December 2025 diff hist +1 Rodin Workshop 2026 No edit summary
- 11:4611:46, 17 December 2025 diff hist +1 Rodin Workshop 2026 No edit summary
- 11:4511:45, 17 December 2025 diff hist +9 Rodin Workshop 2026 No edit summary
- 11:4511:45, 17 December 2025 diff hist +7 Rodin Workshop 2026 No edit summary
- 11:4111:41, 17 December 2025 diff hist +44 Rodin Workshop 2026 No edit summary
- 11:4111:41, 17 December 2025 diff hist +2 Rodin Workshop 2026 No edit summary
- 11:4011:40, 17 December 2025 diff hist 0 Rodin Workshop 2026 No edit summary
- 11:4011:40, 17 December 2025 diff hist +1 Rodin Workshop 2026 No edit summary
- 11:4011:40, 17 December 2025 diff hist +8 Rodin Workshop 2026 No edit summary
- 11:3911:39, 17 December 2025 diff hist +2,136 N 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..."
5 August 2025
- 20:0620:06, 5 August 2025 diff hist +1 Rodin Workshop 2025 No edit summary current
- 20:0620:06, 5 August 2025 diff hist +104 Rodin Workshop 2025 No edit summary
18 July 2025
- 09:0709:07, 18 July 2025 diff hist 0 N File:202509 slides.pdf No edit summary current
17 July 2025
- 11:0211:02, 17 July 2025 diff hist 0 N File:202507 slides.pdf No edit summary current
- 10:2510:25, 17 July 2025 diff hist 0 N File:202502 slides.pdf No edit summary current
8 July 2025
- 10:2310:23, 8 July 2025 diff hist 0 N File:202504 slides.pdf No edit summary current
- 10:2310:23, 8 July 2025 diff hist 0 N File:202505 slides.pdf No edit summary current
- 10:2210:22, 8 July 2025 diff hist 0 N File:202503 slides.pdf No edit summary current
- 10:2110:21, 8 July 2025 diff hist 0 N File:202508 slides.pdf No edit summary current
