Difference between revisions of "IVOIRE Workshop 2023"

From Ivoire
Jump to navigation Jump to search
(Add schedule)
Line 20: Line 20:
 
== Schedule ==
 
== Schedule ==
  
The workshop will take place on [https://easychair.org/smart-program/ABZ2023/#session:69989 30th of May 2023 at 15:30 - 19:00]. Detailed schedule to be announced later.
+
The workshop will take place on 30th of May 2023, 14:00–17:30.
 +
 
 +
* '''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:30–14:35''' Intro to the IVOIRE project by Atif and Michael
 +
** '''14:35–15:00''' Fabian Vu, HHU Düsseldorf, Germany
 +
** '''15:00–15:30''' David Geleßus, HHU Düsseldorf, Germany
 +
* '''15:30–15:45''' ''Coffee break''
 +
* '''15:45–17:15''' Session 2 (Session Chair: Atif Mashkoor)
 +
** '''15:45–16:15''' Sebastian Stock, JKU Linz, Austria
 +
** '''16:15–16:45''' Jean-Pierre Jacquot, University of Lorraine, France
 +
** '''16:45–17:15''' Angelo Gargantini, University of Bergamo, Italy
 +
* '''17:15–17:30''' Wrap up
  
 
== Registration ==
 
== Registration ==

Revision as of 15:26, 23 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 will be co-located with ABZ 2023 in Nancy, France, and will take place on 30th of May 2023.

Last year's workshop in Lugano, Switzerland:

IVOIRE Workshop Lugano.jpg

Schedule

The workshop will take place on 30th of May 2023, 14:00–17:30.

  • 14:00–15:30 Session 1 (Session Chair: Michael Leuschel)
    • 14:00–14:30 Co-located with Rodin Workshop Session III
    • 14:30–14:35 Intro to the IVOIRE project by Atif and Michael
    • 14:35–15:00 Fabian Vu, HHU Düsseldorf, Germany
    • 15:00–15:30 David Geleßus, HHU Düsseldorf, Germany
  • 15:30–15:45 Coffee break
  • 15:45–17:15 Session 2 (Session Chair: Atif Mashkoor)
    • 15:45–16:15 Sebastian Stock, JKU Linz, Austria
    • 16:15–16:45 Jean-Pierre Jacquot, University of Lorraine, France
    • 16:45–17:15 Angelo Gargantini, University of Bergamo, Italy
  • 17:15–17:30 Wrap up

Registration

To register for the workshop, please follow the instructions on the ABZ 2023 registration page.

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)