[FM-India] ForMABS 2016 workshop at ASE 2016 -- Call for Papers -- Revised Submission date 20th June

Raveendra Kumar raveendra.kumar at tcs.com
Tue May 31 18:29:47 IST 2016

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

Call for Papers
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 
to present and discuss their work with other researchers and 
practitioners. We 
welcome authors exploring or applying model checking, data-flow and 
analysis, symbolic execution for various purposes like verifying business 
applications and specifications, extracting specifications from source 
testing and other development activities, especially in the context of 
systems. The workshop aims to provide authors with useful feedback about 
work and facilitate networking within the community. 

Scope and Topics

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

        * Interdisciplinary formal methods: New techniques and novel 
        New tools       using model checking, data-flow and control-flow 
        symbolic execution independently or combined in novel ways
        * Formal methods in practice: Industrial applications, tool usage 
        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:        20  June 2016 
• Notification of accepted papers:       15 July 2016
• Authors registration deadline:         22 Jul 206
• Camera-ready paper:                    31 Jul 2016
• ForMABS workshop:                       4 Sep 2016

Submission Information

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


We solicit two categories of papers:

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

Papers will be selected based on reviews by members of the program 
Authors of accepted papers will receive further instructions for 
camera-ready copy of their papers. Camera-ready copies of accepted papers 
be published in ACM DL. Authors of accepted papers will receive 
for preparing their papers for presentation at the workshop. Atleast one 
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)
* Klaus Havelund (LaRS, NASA’s JPL, Pasadena, USA)
* 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