User contributions
Jump to navigation
Jump to search
- 11:18, 3 June 2022 diff hist +35 IVOIRE Workshop 2022
- 11:18, 3 June 2022 diff hist 0 N File:Advanced semantics for VOs.pdf current
- 14:38, 2 June 2022 diff hist +14 IVOIRE Workshop 2022 →Schedule
- 14:05, 2 June 2022 diff hist 0 IVOIRE Workshop 2022 →Schedule
- 08:43, 20 May 2022 diff hist 0 m IVOIRE Workshop 2022 →Schedule
- 08:07, 20 May 2022 diff hist +24 IVOIRE Workshop 2022 →Schedule
- 07:18, 13 May 2022 diff hist -8 Reports
- 11:29, 10 May 2022 diff hist -1 Ivoire:About
- 11:28, 10 May 2022 diff hist +401 Ivoire:About
- 09:47, 9 May 2022 diff hist -98 Reports
- 09:46, 9 May 2022 diff hist +62 Reports
- 07:49, 25 April 2022 diff hist 0 m IVOIRE Workshop 2022 →Schedule
- 07:28, 25 April 2022 diff hist +170 IVOIRE Workshop 2022 →Schedule
- 11:26, 22 April 2022 diff hist +115 IVOIRE Workshop 2022 →Schedule
- 10:50, 22 April 2022 diff hist -14 IVOIRE Workshop 2022 →Schedule
- 10:49, 22 April 2022 diff hist +35 IVOIRE Workshop 2022 →Schedule
- 10:47, 22 April 2022 diff hist -63 IVOIRE Workshop 2022 →Schedule
- 12:37, 21 April 2022 diff hist -14 m IVOIRE Workshop 2022 →Schedule (preliminary)
- 12:37, 21 April 2022 diff hist +98 IVOIRE Workshop 2022 →Schedule
- 07:25, 21 April 2022 diff hist +44 IVOIRE Workshop 2022 →Schedule
- 15:14, 14 April 2022 diff hist 0 m IVOIRE Workshop 2022 →Schedule
- 15:09, 14 April 2022 diff hist -3 m IVOIRE Workshop 2022 →Schedule
- 15:08, 14 April 2022 diff hist -35 IVOIRE Workshop 2022
- 14:57, 14 April 2022 diff hist +1,168 IVOIRE Workshop 2022 →Schedule
- 12:34, 11 April 2022 diff hist +33 MediaWiki:Sidebar
- 12:29, 11 April 2022 diff hist +70 m Ivoire:About →Universities
- 12:27, 11 April 2022 diff hist -2 m Ivoire:About →Funding
- 12:27, 11 April 2022 diff hist -1 m Ivoire:About
- 12:27, 11 April 2022 diff hist -1 m Ivoire:About →Germany, Heinrich Heine University (HHU)
- 12:23, 11 April 2022 diff hist +1,877 N IVOIRE Workshop 2022 Created page with "Historically, formal methods and supported environments have focused more on only one-half of the quality-assurance process: verification (are we building the software right?)..."
- 12:22, 11 April 2022 diff hist -15 m Ivoire:About
- 07:56, 7 March 2022 diff hist +1,190 Publications
- 07:51, 7 March 2022 diff hist -4 Main Page
- 10:08, 18 February 2022 diff hist +14 Main Page
- 10:04, 18 February 2022 diff hist +69 Main Page
- 10:00, 18 February 2022 diff hist 0 Main Page
- 09:49, 18 February 2022 diff hist +13 Main Page
- 09:37, 18 February 2022 diff hist 0 N File:RQ2RQ3RQ4.png current
- 09:28, 18 February 2022 diff hist +57 N File:VTFunction.png Validation Task and how they work together. current
- 09:25, 18 February 2022 diff hist +67 Main Page
- 09:24, 18 February 2022 diff hist 0 N File:LiftSubset.png current
- 09:23, 18 February 2022 diff hist 0 N File:LiftSubset.jpeg current
- 09:23, 18 February 2022 diff hist +1,415 Main Page
- 09:09, 18 February 2022 diff hist +43 Reports
- 09:07, 18 February 2022 diff hist 0 N File:IVOIRE D 1 1.pdf current
- 06:28, 3 December 2021 diff hist -18 Ivoire:About
- 07:07, 1 December 2021 diff hist +25 Main Page
- 14:06, 30 November 2021 diff hist +8 Ivoire:About →Germany, Heinrich Heine University (HHU):
- 14:05, 30 November 2021 diff hist +9 Ivoire:About →Austria, Johanes Kepler University (JKU):
- 14:05, 30 November 2021 diff hist +33 Ivoire:About →Austria:
