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

Raveendra Kumar raveendra.kumar at tcs.com
Fri May 13 12:30:05 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, 4 Sep. 2016 Singapore Management University, 
Singapore
(http://www.tcs.com/about/research/newsevents/Pages/ForMABS-2016.aspx)

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, extracting 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 
Rules
        * Verification of Services, Software configurations
        * Identification of Services, Features and Processes in source 
code
        * Extraction of Business rules
        * Test case and Test data generation

Important dates 
---------------
• Deadline for submitting papers:        27 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:                       4 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:

https://easychair.org/conferences/?conf=formabs2016 

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 
(http://ase2016.org/authorinstructions.html).
2.Poster papers submitted in the form of 2-page overview and sample 
presentation slides as pdf file.

Acceptance
----------
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)
* 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)

Thanks
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