FormReq21: Formalisation of Requirements 2021 Virtual South Bend, IN, United States, September 20, 2021 |
Conference website | https://www.irit.fr/FORMREQ21/ |
Submission link | https://easychair.org/conferences/?conf=formreq21 |
Abstract registration deadline | June 18, 2021 |
Submission deadline | June 24, 2021 |
Acceptance/Rejection Notification | July 23, 2021 |
Camera Ready submission | August 13, 2021 |
FormReq21 is a workshop aiming at bringing together industrial practitioners (both convinced and skeptical) as well as researchers to discuss the good practices, the remaining challenges, of using formal approaches to express and manage requirements.
In particular, we will focus on:State-of-the-art in "formal" approaches to requirements, New ideas and techniques for formal requirements engineering, Industrial applications of "formal" approaches
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper categories are welcome:
- Full papers from 5 to 7 pages.
- Work-in-progress papers and practitioners’ reports will be particularly encouraged to both attract industrial authors and to allow as much discussions and brainstorming activities during the workshop.
Please see FormReq20 website for formatting details
List of Topics
FormReq's goal is to explore the current approaches, but also to update the roadmap for a broader adoption by exploring the limitations, the crucial key problems that remain to be solved. Here is a non-exhaustive list:
- Constrained Natural Languages for requirements
- Formal approaches to support traceability
- Adapted formal approaches, frameworks, or processes for requirements
- Domain-specific requirements modeling languages
- Evaluation and comparison of requirements languages, techniques and tools
- Requirements verification \& validation
- Pattern matching in requirements
- AI and formal requirements elicitation
- Survey on the state-of-the-art
- Case studies of industrial applications
- Tools and prototypes for formal requirements
- Formal requirements for seamless development
Committees
Program Committee (To be confirmed)
- Manzoor Ahmad, U. of Pau, France
- Amal Ahmed Anda, University of Ottawa, Canada
- Adil Anwar, EMI, Mohammadia, Morocco
- Marcello Bersani, Politecnico di Milano, Italy
- Jean-Michel Bruel, University of Toulouse, France
- Antonio Bucchiarone, Fondazione Bruno Kessler, Italy
- Xiaohong Chen, East China Normal University, China
- Nicola Dragoni, TUD, Denmark
- Marc Frappier, Sherbrooke University, Quebec
- Sophie Ebersold, Université de Toulouse, France (co-chair)
- Christophe Gnaho, U. Paris-Est Cr\'eteil, France
- Susanne Graf, VERIMAG, France
- Régine Laleau, Université Paris-Est Créteil, France (co-chair)
- Frédéric Mallet, University of Nice, France
- Manuel Mazzara, Innopolis University, Russia (co-chair)
- Hernan Melgratti, University of Buenos Aires, Argentina
- Bertrand Meyer, SIT Zurich, Switzerland
- Anitha Murugesan, Honeywell Intl, MN, USA
- Shin Nakajima, NII, Japan
- Alexander Naumchev, Innopolis University, Russia
- Thuy Nguyen, EDF R\&D, France
- Oscar Pastor, University of Valencia, Spain
- Christophe Ponsard, CETIC, Belgium
- Victor Rivera, Australian National University, Australia
- Andrey Sadovykh, Innopolis University, Russia
- Steve Tueno, University of Sherbrooke, Canada
Organizing committee
- Sophie Ebersold, Université de Toulouse, France
- Régine Laleau, Université Paris-Est Créteil, France
- Manuel Mazzara, Innopolis University, Russia
Publication
FormReq21 proceedings will be published by IEEE CPS
Venue
The conference will be held virtually.
Colocated with the international conference RE2021 (https://conf.researchr.org/home/RE-2021)
Contact
All questions about submissions should be emailed to sophie.ebersold@irit.fr