CFP
FORMREQ20: FORMalREQuirements@RE'2020 Zurich, Switzerland, August 31, 2020 |
Conference website | https://www.irit.fr/FORMREQ20/ |
Submission link | https://easychair.org/conferences/?conf=formreq20 |
Submission deadline | May 22, 2020 |
Paper acceptance notification | June 22, 2020 |
Camera ready copy | July 13, 2020 |
Topics: formal approaches to requirements industrial applications of formal approaches formal requirements engineering
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
- 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 application
• Tools and prototypes for Formal Requirements
Committees
Program Committee
- Manzoor Ahmad, Université de Pau, France
- Amal Ahmed Anda, University of Ottawa, Canada
- Adil Anwar, Mohammadia School of Engineers, Morocco
- Antonio Bucchiarone, Fondazione Bruno Kessler, Italy
- Jean-Michel Bruel, Université de Toulouse, France
- Xiaohong Chen, East China Normal University, China
- Nicola Dragoni, Technical University of Denmark, Denmark
- Marc Frappier, Université de Sherbrooke, Québec
- Sophie Ebersold, Université de Toulouse, France (co-chair)
- Florian Galinier, Université de Toulouse, France
- Christophe Gnaho, Université Paris-Est Créteil, France
- Susanne Graf, VERIMAG, France
- Régine Laleau, Université Paris-Est Créteil, France (co-chair)
- Frédéric Mallet, Université Côte d'Azur, France
- Manuel Mazzara, Innopolis University, Russia (co-chair)
- Hernán Melgratti, University of Buenos Aires, Argentina
- Bertrand Meyer, Politecnico di Milano, Italy
- Shin Nakajima, NII, Japan
- Alexander Naumchev, Innopolis University, Russia
- Thuy Nguyen, EDF R&D, France
- Oscar Pastor, Universidad Politécnica de Valencia, Spain
- Christophe Ponsard, CETIC, Belgium
- Victor Rivera, Innopolis University, Russia
- Andrey Sadovykh, Innopolis University, Russia
- Steve Tueno, Université de Sherbrooke, Québec
Organizing committee
- tbd
Invited Speakers
- tbd
Publication
FORMREQ20 proceedings will be published by IEEE CPS
Venue
The conference will be held in Zurich on August 31st. 2020,
Colocated with the international conference RE2020 (https://re20.org)
Contact
All questions about submissions should be emailed to sophie.ebersold@irit.fr