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] 


[email protected]

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

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:

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


FORMREQ20 proceedings will be published by IEEE CPS


The conference will be held in conjunction with RE’20 (, in Zurich, Switzerland, August 31-September 4, 2020


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