[FM-India] Formal Methods for Analysis of Business System (ForMABS 2016) -- Call for Papers

Raveendra Kumar raveendra.kumar at tcs.com
Thu Apr 21 12:50:11 IST 2016

Formal Methods for Analysis of Business System (ForMABS 2016)
Co-located with the 31st IEEE/ACM International Conference on Automated 
Software Engineering (ASE) 2016, 3 Sep. 2016. Singapore Management 
University, Singapore

Call for Papers
After recent advances in the techniques and scalability of formal methods, 
their application to business 
systems has become more realistic and practical, similar to their use as 
technology of choice for 
verifying reactive systems. The goal of ForMABS 2016 
is to provide a platform where people experimenting and applying formal 
methods to software engineering of business systems, have an opportunity 
to present and discuss their work with other researchers and 
practitioners. We welcome authors exploring or applying model checking, 
data-flow and control-flow analysis, symbolic execution for various 
purposes like verifying business applications and specifications, 
specifications from source code, testing and other development activities, 
especially in the context of 
business systems. The workshop aims to provide authors with useful 
feedback about their work and 
facilitate networking within the community. 

Scope and Topics

The workshop aims to highlight application of formal methods in the 
software development life cycle, 
with focus on business systems, though not restricted to it. We welcome 
submissions on techniques, 
experiments, experience reports and tools. The broad areas of interest for 
ForMABS 2016 include, but 
are not limited to:

        * Interdisciplinary formal methods: New techniques and novel 
experiments, New tools 
        using model checking, data-flow and control-flow analysis, 
symbolic execution 
        independently or combined in novel ways
        * Formal methods in practice: Industrial applications, tool usage 
reports, experiments 
        with challenging real-life problems
As applied to following purposes, but not limited to:
        * Slicing and Specialization of programs
        * Program synthesis
        * Specifications of business systems
        * Verification of Business processes, Feature models, Business 
        * Verification of Services, Software configurations
        * Identification of Services, Features and Processes in source 
        * Extraction of Business rules
        * Test case and Test data generation

Important dates 
Deadline for submitting papers:         16 May 2016 
Notification of accepted papers:                27 Jun 2016
Publishing of list of accepted papers:  6 Jul 2016
Authors registration deadline:          22 Jul 206 
Camera-ready paper:                             31 Jul 2016 
ForMABS workshop:                                       3 Sep 2016

Submission Information

Papers should be original work, not published or submitted elsewhere, in 
ACM format, 
written in English, submitted through Easychair at the following link:


We solicit two categories of papers:

1.Detailed papers explaining a technique, solution, tool or experience 
report. They should be of at 
most 8 pages including references. The proposals must be prepared as per 
ASE 2016 guidelines 
2.Poster papers submitted in the form of 2-page overview and sample 
presentation slides as pdf 

Papers will be selected based on reviews by members of the program 
committee. Authors of accepted 
papers will receive further instructions for submitting camera-ready copy 
of their papers.
Camera-ready copies of accepted papers will be published in ACM DL.
Authors of accepted papers will receive instructions for preparing their 
papers for presentation at the 
workshop. Atleast one of the authors MUST register for the workshop to 
present their paper.

Program committee
* Supratik Chakraborty (IITB, Mumbai, India)
* Deepak D’Souza (IISc, Bangalore, India)
* Mukund Madhavan (CMI, Chennai, India)
* Sibylle Schupp (Hamburg University of Technology, Hamburg, Germany)
* Michael Butler (University of Southampton, UK)
* Dipti Kalyan Saha (IBM Research, India)
* K.V. Raghavan (IISc, Bangalore, India)
* Uday Khedkar (IITB, Mumbai, India)
* David Lo (SMU, Singapore)
* Ravindra Metta (TCS Research, Pune, India)
* Shrawan Kumar (TCS Research, Pune, India)
* Sun Jun (Singapore University of Technology & Design, Singapore)
* Rahul Purandare (IIIT Delhi, India)
* Rajarshi Ray (NIT Meghalaya, India)
* Paddy Krishnan (Oracle, Australia)
* Umesh Deshpande (NIT Nagpur, India)
* Venkatesh Chopalla (IIIT Hyderabad, India)
* Zhao YongWang (NTU, Singapore)
* Subhojit Roy (IIT Kanpur, India)
* Himadri Sekhar Paul (TCS Research, Kolkata, India)
* Pavan Chittimalli (TCS Research, Pune, India)
* Padmaja Joshi (CDAC, Mumbai, India)
* Prakash Chandrasekaran (NTU, Singapore)
* Tridib Mukherjee (Xerox Research Centre, India)
* Rahul Ghosh (Xerox Research Centre, India)
* Kumar Madhukar (TCS Research, Pune, India)

ForMABS-2016 Organizing committee 
[Ravindra Naik, TCS Research, TRDDC, Pune, India
Raveendra Kumar Medicherla, TCS Research, Bangalore, India
Ansuman Banerjee, Indian Statistical Institute, Kolkata, India]

Notice: The information contained in this e-mail
message and/or attachments to it may contain 
confidential or privileged information. If you are 
not the intended recipient, any dissemination, use, 
review, distribution, printing or copying of the 
information contained in this e-mail message 
and/or attachments to it are strictly prohibited. If 
you have received this communication in error, 
please notify us by reply e-mail or telephone and 
immediately and permanently delete the message 
and any attachments. Thank you

More information about the FMIndia mailing list