Difference between revisions of "IVOIRE Workshop 2023"

From Ivoire
Jump to navigation Jump to search
(→‎Schedule: Add presentations)
 
(3 intermediate revisions by the same user not shown)
Line 12: Line 12:
 
* Evaluations, benchmarkings, case studies, etc.
 
* Evaluations, benchmarkings, case studies, etc.
  
The IVOIRE workshop will be co-located with [https://abz2023.loria.fr/ ABZ 2023] in Nancy, France, and will take place on [https://easychair.org/smart-program/ABZ2023/#session:69989 30th of May 2023].
+
The IVOIRE workshop was co-located with [https://abz2023.loria.fr/ ABZ 2023] in Nancy, France and took place on [https://easychair.org/smart-program/ABZ2023/#session:69989 30th of May 2023].
  
[[IVOIRE Workshop 2022|Last year's workshop]] in Lugano, Switzerland:
+
[[File:IVOIRE Workshop 2023 Nancy.jpg||800px]]
 
 
[[File:IVOIRE Workshop Lugano.jpg||1000px]]
 
  
 
== Schedule ==
 
== Schedule ==
  
The workshop will take place on 30th of May 2023, 14:00–17:30.
+
The workshop took place on 30th of May 2023, 14:30–17:30.
  
 
* '''14:00–15:30''' Session 1 — ''Session Chair: Michael Leuschel''
 
* '''14:00–15:30''' Session 1 — ''Session Chair: Michael Leuschel''
 
** '''14:00–14:30''' ''Co-located with [https://easychair.org/smart-program/ABZ2023/#session:69988 Rodin Workshop Session III]''
 
** '''14:00–14:30''' ''Co-located with [https://easychair.org/smart-program/ABZ2023/#session:69988 Rodin Workshop Session III]''
 
** '''14:30–14:35''' Intro to the IVOIRE project — ''Atif Mashkoor and Michael Leuschel''
 
** '''14:30–14:35''' Intro to the IVOIRE project — ''Atif Mashkoor and Michael Leuschel''
** '''14:35–15:00''' Classification and Semantics of Validation Tasks — ''David Geleßus, HHU Düsseldorf, Germany''
+
** '''14:35–15:00''' [[Media:D. Geleßus - Classification and Semantics of Validation Tasks.pdf|Classification and Semantics of Validation Tasks]] — ''David Geleßus, HHU Düsseldorf, Germany''
** '''15:00–15:30''' Formalizing and Validating the VO Approach — ''Fabian Vu, HHU Düsseldorf, Germany''
+
** '''15:00–15:30''' [[Media:Fabian Vu - Formalizing and Validating the VO Approach.pdf|Formalizing and Validating the VO Approach]] — ''Fabian Vu, HHU Düsseldorf, Germany''
 
* '''15:30–15:45''' Coffee break
 
* '''15:30–15:45''' Coffee break
 
* '''15:45–17:15''' Session 2 — ''Session Chair: Atif Mashkoor''
 
* '''15:45–17:15''' Session 2 — ''Session Chair: Atif Mashkoor''
** '''15:45–16:15''' Validation-Driven Development — ''Sebastian Stock, JKU Linz, Austria''
+
** '''15:45–16:15''' [[Media:Sebastian Stock - Validation-Driven Development.pdf|Validation-Driven Development]] — ''Sebastian Stock, JKU Linz, Austria''
** '''16:15–16:45''' A Case-study for Incremental Validation — ''Jean-Pierre Jacquot, University of Lorraine, France''
+
** '''16:15–16:45''' [[Media:Jean-Pierre Jacquot - A Case-study for Incremental Validation.pdf|A Case-study for Incremental Validation]] — ''Jean-Pierre Jacquot, University of Lorraine, France''
** '''16:45–17:15''' Compositional Simulation of Abstract State Machines for Safety Critical Systems — ''Angelo Gargantini, University of Bergamo, Italy''
+
** '''16:45–17:15''' [[Media:Angelo Gargantini - Compositional Simulation of Abstract State Machines for Safety Critical Systems.pptx|Compositional Simulation of Abstract State Machines for Safety Critical Systems]] — ''Angelo Gargantini, University of Bergamo, Italy''
 
* '''17:15–17:30''' Wrap up
 
* '''17:15–17:30''' Wrap up
 
== Registration ==
 
 
To register for the workshop, please follow the instructions on [https://abz2023.loria.fr/participation-2/ the ABZ 2023 registration page].
 
  
 
== Organizers ==
 
== Organizers ==

Latest revision as of 07:22, 31 May 2023

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?). The other half, validation (are we building the right software?) has been given much less attention, i.e., we have fewer automated/push-button tools available for validation, unlike verification.

The IVOIRE project focuses on developing an enhanced formal paradigm based on an extension of the refinement framework that includes a comprehensive validation process and toolchain to perform validation obligations. The main goal of this workshop was to provide a platform for formal methods practitioners, researchers, and academics to discuss various issues associated with validation for formal methods, including but not limited to:

  • Validation obligations or other systematic approaches to validation
  • Relation between refinement and validation, and the interplay between verification and validation
  • Environments and tools to manage the validation process
  • Evaluations, benchmarkings, case studies, etc.

The IVOIRE workshop was co-located with ABZ 2023 in Nancy, France and took place on 30th of May 2023.

IVOIRE Workshop 2023 Nancy.jpg

Schedule

The workshop took place on 30th of May 2023, 14:30–17:30.

Organizers

Workshop chairs:

  • Atif Mashkoor (JKU Linz, Austria)
  • Michael Leuschel (HHU Düsseldorf, Germany)

Workshop organizing committee:

  • Sebastian Stock (JKU Linz, Austria)
  • Fabian Vu (HHU Düsseldorf, Germany)
  • David Geleßus (HHU Düsseldorf, Germany)