User contributions for Asieh

From Event-B

For Asieh talk block log uploads logs

A user with 87 edits. Account created on 19 May 2020.

Jump to navigation Jump to search

11:5711:57, 6 June 2025 diff hist −1‎ Rodin Workshop 2025 ‎ →‎Programme current

14:5914:59, 2 June 2025 diff hist 0‎ File:202503.pdf ‎ Asieh uploaded a new version of File:202503.pdf current
14:5314:53, 2 June 2025 diff hist 0‎ N File:202503 pdf.pdf ‎No edit summary current
14:5214:52, 2 June 2025 diff hist +70‎ Rodin Workshop 2025 ‎ →‎Programme
12:4612:46, 2 June 2025 diff hist −145‎ Rodin Workshop 2025 ‎ →‎Programme

11:0311:03, 19 May 2025 diff hist 0‎ N File:202509.pdf ‎No edit summary current
11:0311:03, 19 May 2025 diff hist 0‎ N File:202508.pdf ‎No edit summary current
11:0211:02, 19 May 2025 diff hist 0‎ N File:202507.pdf ‎No edit summary current
11:0211:02, 19 May 2025 diff hist 0‎ N File:202506.pdf ‎No edit summary current
11:0211:02, 19 May 2025 diff hist 0‎ N File:202505.pdf ‎No edit summary current
11:0211:02, 19 May 2025 diff hist 0‎ N File:202504.pdf ‎No edit summary current
11:0211:02, 19 May 2025 diff hist 0‎ N File:202503.pdf ‎No edit summary
11:0211:02, 19 May 2025 diff hist 0‎ N File:202502.pdf ‎No edit summary current
11:0111:01, 19 May 2025 diff hist 0‎ N File:202501.pdf ‎No edit summary current
10:5810:58, 19 May 2025 diff hist 0‎ Rodin Workshop 2025 ‎ →‎Programme
10:5810:58, 19 May 2025 diff hist +1,280‎ Rodin Workshop 2025 ‎No edit summary

12:5112:51, 23 April 2025 diff hist −588‎ Rodin Workshop 2025 ‎No edit summary

22:5922:59, 24 March 2025 diff hist +193‎ Rodin Workshop 2025 ‎No edit summary

09:4709:47, 11 March 2025 diff hist +135‎ Rodin Workshop 2025 ‎No edit summary

10:5510:55, 4 March 2025 diff hist −14‎ Rodin Workshop 2025 ‎No edit summary

12:5712:57, 26 February 2025 diff hist +128‎ Rodin Workshop 2025 ‎No edit summary
12:5512:55, 26 February 2025 diff hist +589‎ Rodin Workshop 2025 ‎No edit summary

11:4211:42, 20 February 2025 diff hist +1,686‎ N 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..."

15:1215:12, 5 November 2024 diff hist 0‎ N File:02 slides.pdf ‎No edit summary current
15:1215:12, 5 November 2024 diff hist 0‎ N File:02.pdf ‎No edit summary current

09:1709:17, 3 July 2024 diff hist 0‎ N File:04 slides.pdf ‎No edit summary current

19:1219:12, 2 July 2024 diff hist 0‎ N File:04.pdf ‎No edit summary current

11:1911:19, 28 June 2024 diff hist +66‎ Rodin Workshop 2024 ‎ →‎Programme current
11:1411:14, 28 June 2024 diff hist 0‎ N File:06 slides.pdf ‎No edit summary current

12:2512:25, 26 June 2024 diff hist 0‎ Rodin Workshop 2024 ‎ →‎Programme
12:1912:19, 26 June 2024 diff hist 0‎ N File:06.pdf ‎No edit summary current
12:1912:19, 26 June 2024 diff hist 0‎ N File:03.pdf ‎No edit summary current
12:1912:19, 26 June 2024 diff hist 0‎ N File:05.pdf ‎No edit summary current
12:1812:18, 26 June 2024 diff hist 0‎ N File:05 slides.pdf ‎No edit summary current
12:1812:18, 26 June 2024 diff hist 0‎ N File:01 slides.pdf ‎No edit summary current
12:1812:18, 26 June 2024 diff hist 0‎ N File:01.pdf ‎No edit summary current
12:1512:15, 26 June 2024 diff hist 0‎ Rodin Workshop 2024 ‎ →‎Programme
12:1512:15, 26 June 2024 diff hist +330‎ Rodin Workshop 2024 ‎ →‎Programme

13:1513:15, 18 June 2024 diff hist −3‎ Rodin Workshop 2024 ‎ →‎Programme
13:1413:14, 18 June 2024 diff hist +84‎ Rodin Workshop 2024 ‎No edit summary

11:3611:36, 4 December 2023 diff hist +1‎ Rodin Workshop 2024 ‎No edit summary
11:3611:36, 4 December 2023 diff hist +2‎ Rodin Workshop 2024 ‎No edit summary
11:3511:35, 4 December 2023 diff hist +31‎ Rodin Workshop 2024 ‎No edit summary
11:3211:32, 4 December 2023 diff hist +249‎ Rodin Workshop 2024 ‎No edit summary
11:1611:16, 4 December 2023 diff hist −133‎ Rodin Workshop 2024 ‎No edit summary
11:0411:04, 4 December 2023 diff hist +6‎ Rodin Workshop 2024 ‎No edit summary
11:0311:03, 4 December 2023 diff hist −3‎ Rodin Workshop 2024 ‎No edit summary
11:0211:02, 4 December 2023 diff hist +322‎ Rodin Workshop 2024 ‎No edit summary

14:3314:33, 30 November 2023 diff hist +45‎ Rodin Workshop 2024 ‎ →‎Organisers
14:3214:32, 30 November 2023 diff hist −29‎ Rodin Workshop 2024 ‎No edit summary

Retrieved from ‘https://wiki.event-b.org/index.php/Special:Contributions/Asieh’

Navigation menu