CFP FORMal REQuirements 2020 - collocated with RE'20

by Sophie Ebersold, March 12, 2020

The goal of FormReq20 will be to bring together industrial practitioners (both convinced and skeptical) as well as researchers to discuss the good practices, the remaining challenges, of using for-mal approaches to express and manage requirements.

[Apologies for multiple postings] 

———————————————
CALL FOR PAPERS  
———————————————

[email protected] 

https://www.irit.fr/FORMREQ20/

Zurich, Switzerland, August 31, 2020

------------------------------

The goal of FormReq20 will be to bring together industrial practitioners (both convinced and skeptical) as well as researchers to discuss the good practices, the remaining challenges, of using for- mal approaches to express and manage requirements.

In particular, we will focus on the following themes:

• State-of-the-art in formal approaches to requirements

• New ideas and techniques for formal requirements engineering

• Industrial applications of formal approaches


———————————————
IMPORTANT DATES : 
• 
May 22, 2020: Paper submission deadline 
• June 22, 2020: Acceptance/Rejection Notification
• 
July 13, 2020: Camera Ready copy


———————————————
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

———————————————
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. The following paper are welcome:
• 
Full papers from 5 to 7 pages. 
• 
Work-in-progress papers and practitioners’ reports (from 3 to 5 pages)  will be particularly encouraged to both attract industrial authors and to allow as much discussions and brainstorming activities during the workshop.

Submission link: https://easychair.org/conferences/?conf=formreq20

———————————————
Committees
Program Committee Chairs
• Sophie Ebersold, U. of Toulouse, France
• Régine Laleau, U. of Paris Créteil, France
• Manuel Mazzara, Innopolis University, Russia

Program committee

• Amal Ahmed Anda, University of Ottawa, Canada

• Adil Anwar, Mohammadia School of Engineers, Morocco

• Marcello Bersani, Politecnico di Milano, Italy

• Antonio Bucchiarone, Fondazione Bruno Kessler, Italy

• Jean-Michel Bruel, University of Toulouse,  France

• Xiaohong Chen,  East China Normal University, China

• Nicola Dragoni, Technical University of Denmark, Denmark

• Marc Frappier, University of Sherbrooke, Quebec

• Florian Galinier, University of Toulouse, France

• Christophe Gnaho, University of Paris-Est Créteil, France

• Susanne Graf, VERIMAG, France

• Frédéric Mallet, University of Cote d’Azur, France

• 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, Australian National University, Australia

• Andrey Sadovykh, Innopolis University, Russia

• Steve Tueno, University of Sherbrooke, Canada


———————————————
Publication

FORMREQ20 proceedings will be published by IEEE CPS


———————————————
Venue

The conference will be held in conjunction with RE’20 (https://re20.org/), in Zurich, Switzerland, August 31-September 4, 2020



———————————————
Contact

All questions about submissions should be emailed to [email protected]