Call For Papers [email protected]

by Sophie Ebersold, June 27, 2019

CFP for Workshop FormReq, at RE'19 conference, Jeju Island – South Korea – September 23-24, 2019
The goal of FormReq19 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 formal approaches to express and manage requirements. Two invited speakers will present their opposite vision of formal approaches for industrial applications

=====================================
[Apologies for multiple postings] 

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

[email protected] 

https://www.irit.fr/FORMREQ19/

Jeju Island – South Korea – September 23-24, 2019

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

The goal of FormReq19 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 formal 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

Invited Speakers : 
• Daniel M. Berry, Cheriton School of Computer Science, University of Waterloo,  Canada - “The Requirements Engineering Reference Model: A Fundamental Impediment to Using Formal Methods in Software Systems Development” 
• Jean-Michel Bruel, IRIT, Toulouse, France - "Formality in software requirements"

———————————————
IMPORTANT DATES : 
• July 5, 2019: Paper submission deadline 
• July 25, 2019: Acceptance/Rejection Notification
• Aug. 8, 2019: Camera Ready submission

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

———————————————
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
• Manzoor Ahmad, U. of Pau, France
• Adil Anwar, Mohammadia School of Engineers, Morocco
• Antonio Bucchiarone, Fondazione Bruno Kessler, Italy
• Nicola Dragoni, Technical University of Denmark, Denmark
• Marc Frappier, univ Sherbrooke, Quebec
• Christophe Gnaho, U. Paris-Est Créteil, France
• Susanne Graf, VERIMAG, France
• Hernán Melgratti, University of Buenos Aires, Argentina
• Bertrand Meyer, Politecnico di Milano, Italy
• Shin Nakajima, NII, Japan
• Thuy Nguyen, EDF R&D, France
• Christophe Ponsard, CETIC, Belgium
• Victor Rivera, Innopolis University, Russia
• Andrey Sadovykh, Innopolis University, Russia


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

FORMREQ19 proceedings would be published by Springer Lecture Notes in Computer Science

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

The conference will be held in conjunction with RE'19, in  Jeju Island, South Korea

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

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