[FM-India] Call for Papers: NFM 2014
Sarat Chettri
s.chettri at smcs.ac.in
Wed Oct 23 11:14:40 IST 2013
National Conference on Emerging Global Trends in engineering and
Technology, EGTET2014
7th -8th March 2013
Organised by
Don Bosco College of Engineering and Technology
Airport Road, Azara,Guwahati, Assam, 781017 INDIA
http://conferences.dbuniversity.ac.in/
-------------------------------------------------------
Papers are invited on original and unpublished research works in various
branches of Engineering and Technology in the given thematic areas, but not
limited to. Specially selected papers will be published by Assam Don Bosco
University in the International Journal of Research in Science and
Engineering. Papers in IEEE format (PDF and DOC) are to be submitted online
to http://conferences.dbuniversity.ac.in/ OR sent to
egtet.submission at dbuniversity.ac.in
Thematic Areas
• Image Processing and Computer Vision
• Cloud Computing and Distributed Systems
• Computer Networks and Security
• Data Mining and Pattern Recognition
• Artificial Intelligence and Expert systems
• Signal Processing
• Embedded Systems
• Communication
• VLSI
• Nanoscience and Nanotechnology
• Sensors and Sensor Based Instrumentation
• Antenna Design
• Power Systems (Operational Control)
• Optical Sensor and Systems
• Machine Drives and Control
• ANN Applications
• Green Technology in Electrical Energy
• Computational Methods for Incompressible Flows
• High Speed Aerodynamics
• Finite Element Method and Analysis
• CAD/CAM/CIM
• Urban Transport Management
• Ground Improvement Techniques
• Earthquake Resistant Design and Construction
• River Management for Flood Mitigation
• Remote Sensing and GIS Applications
• Post Construction Monitoring & Strengthening
• Biomimetics
Important Dates
Receipt of full length paper: November 20, 2013 Intimation of
acceptance: January
05, 2014 Receipt of camera-ready paper: January 25, 2014 Registration for
authors: January 31, 2014 Registration for non-authors: February 05, 2014
On Thu, Oct 17, 2013 at 7:12 PM, Madhavan Mukund <madhavan at cmi.ac.in> wrote:
> From: Kristin Yvonne Rozier <Kristin.Y.Rozier at nasa.gov>
> Date: Mon, 30 Sep 2013 18:33:46 -0700
> Subject: [fm-announcements] Call for Papers: NFM 2014
>
> **************************************************
> The Sixth NASA Formal Methods Symposium
>
> http://www.NASAFormalMethods.org/
>
> 29 April - 1 May 2014
> NASA Johnson Space Center, Houston, Texas, USA
> **************************************************
>
>
> Theme of the Symposium:
> -----------------------
> The widespread use and increasing complexity of mission- and
> safety-critical systems require advanced techniques that address their
> specification, verification, validation, and certification requirements.
>
> The NASA Formal Methods Symposium is a forum for theoreticians and
> practitioners from academia, industry, and government, with the goals of
> identifying challenges and providing solutions to achieving assurance in
> mission- and safety-critical systems. Within NASA such systems include
> autonomous robots, separation assurance algorithms for aircraft, Next
> Generation Air Transportation (NextGen), and autonomous rendezvous and
> docking for spacecraft. Moreover, emerging paradigms such as
> property-based design, code generation, and safety cases are bringing
> with them new challenges and opportunities. The focus of the symposium
> will be on formal techniques, their theory, current capabilities, and
> limitations, as well as their application to aerospace, robotics, and
> other safety-critical systems in all design life-cycle stages. We
> encourage submissions on cross-cutting approaches marrying formal
> verification techniques with advances in safety-critical system
> development, such as requirements generation, analysis of aerospace
> operational concepts, and formal methods integrated in early design
> stages carrying throughout system development.
>
>
> Topics of Interest:
> -------------------
> * Model checking
> * Theorem proving
> * Static analysis
> * Model-based development
> * Runtime monitoring
> * Formal approaches to fault tolerance
> * Applications of formal methods to aerospace systems
> * Formal analysis of cyber-physical systems, including hybrid and
> embedded systems
> * Formal methods in systems engineering, modeling, requirements,
> and specifications
> * Requirements generation, specification debugging, formal
> validation of specifications
> * Use of formal methods in safety cases
> * Use of formal methods in human-machine interaction analysis
> * Formal methods for parallel hardware implementations
> * Use of formal methods in automated software engineering and testing
> * Correct-by-design, design for verification, and property-based
> design techniques
> * Techniques and algorithms for scaling formal methods; e.g.
> abstraction and symbolic methods, compositional techniques, parallel and
> distributed techniques
> * Application of formal methods to emerging technologies
>
>
> Important Dates:
> ----------------
> Abstract Submission: 14 Nov 2013
> Paper Submission: 21 Nov 2013
> Paper Notifications: 14 Jan 2014
> Camera-ready Papers: 11 Feb 2014
> Symposium: 29 April - 1 May 2014
>
>
> Location & Cost:
> ----------------
> The symposium will take place at the Gilruth Center, NASA Johnson Space
> Center, Houston, Texas, USA, 29 April to 1 May 2013.
>
> There will be no registration fee for participants. All interested
> individuals, including non-US citizens, are welcome to attend, to listen
> to the talks, and to participate in discussions; however, all attendees
> must register.
>
>
> Submission Details:
> -------------------
> There are two categories of submissions:
>
> 1. Regular papers describing fully developed work and complete
> results (15 pages)
> 2. Short papers describing tools, experience reports, or
> descriptions of work in progress with preliminary results (6 pages)
>
> All papers should be in English and describe original work that has not
> been published or submitted elsewhere. All submissions will be fully
> reviewed by members of the Programme Committee. Papers will appear in a
> volume of Springer's Lecture Notes on Computer Science (LNCS), and must
> use LNCS style formatting. Papers should be submitted in PDF format.
>
>
> Keynote Speakers:
> -----------------
> * Larry Paulson, University of Cambridge, UK
> * Moshe Y. Vardi, Rice University, USA
> * Special Guest Talk: "NASA Future Challenges in Formal Methods"
> by Bill McAllister, Chief, Safety and Mission Assurance, International
> Space Station Safety Panels, Avionics and Software Branch
>
>
> Panel Feature: "Future Directions of Specifications for Formal Methods"
> -----------------------------------------------------------------------
> Specifications are required for all applications of formal methods yet
> extracting specifications for real-life safety critical systems often
> proves to be a huge bottleneck or even an insurmountable hurdle to the
> application of formal methods in practice. This is the state for
> safety-critical systems today and as these systems grow more complex,
> more pervasive, and more powerful in the future, there is not a clear
> path even for maintaining the bleak status quo. Therefore, we propose
> highlighting this issue in the home of an important critical system, the
> Mission Control Center of NASA's most famous critical systems, and
> asking our panelists where we can go from here.
>
>
> Organizers:
> -----------
> Mike Hinchey (General Chair)
> Julia Badger (PC Chair)
> Kristin Yvonne Rozier (PC Chair)
>
>
> Program Committee:
> ------------------
> Domagoj Babic, Google Research, USA
> Calin Belta, Boston University, USA
> Armin Biere, Johannes Kepler University, Austria
> Nikolaj Bjorner, Microsoft Research, USA
> Jonathan P. Bowen, Museophile Limited, UK
> Guillaume Brat, CMU/NASA Ames Research Center, USA
> Gianfranco Ciardo, Iowa State University, USA
> Frederic Dadeau, FEMTO-ST/INRIA, France
> Ewen Denney, SGT/NASA Ames Research Center, USA
> Ben Di Vito, NASA Langley Research Center, USA
> James Disbrow, NASA Dryden Flight Research Center, USA
> Steven Drager, Air Force Research Laboratory, USA
> Alexandre Duret-Lutz, LRDE/EPITA, France
> Cindy Eisner, IBM Research-Haifa, Israel
> Éric Féron, Georgia Institute of Technology, USA
> Shalini Ghosh, SRI, USA
> Alwyn Goodloe, NASA Langley Research Center, USA
> Arie Gurfinkel, Carnegie Mellon University Software Engineering
> Institute, USA
> John Harrison, Intel Corporation, USA
> Klaus Havelund, NASA/Jet Propulsion Laboratory, USA
> Connie Heitmeyer, Naval Research Laboratory, USA
> Gerard Holzmann, NASA/Jet Propulsion Laboratory, USA
> Hadas Kress-Gazit, Cornell University, USA
> Joe Leslie-Hurd, Intel Corporation, USA
> David R. Lester, University of Manchester, UK
> Kenneth McMillan, Microsoft Research, USA
> Steven Miller, Rockwell Collins, USA
> Sheena Judson Miller, Barrios Technology/NASA Johnson Space Center, USA
> Cesar Munoz, NASA Langley Research Center, USA
> Suzette Person, NASA Langley Research Center, USA
> Lee Pike, Galois, Inc., USA
> André Platzer, Carnegie Mellon University, USA
> Neha Rungta, NASA Ames Research Center, USA
> Johann Schumann, SGT/NASA Ames Research Center, USA
> Cristina Seceleanu, Mälardalen University, Sweden
> Sandeep K. Shukla, Virginia Tech, USA
> Radu Siminiceanu
> Oksana Tkachuk, NASA Ames Research Center, USA
> Stefano Tonetta, FBK-irst, Italy
> Helmut Veith, Vienna University of Technology, Austria
> Arnaud Venet, CMU/NASA Ames Research Center, USA
> Mike Whalen, University of Minnesota Software Engineering Center, USA
> Nok Wongpiromsarn, Singapore-MIT Alliance for Research and Technology,
> Singapore
> Karen Yorav, IBM Haifa Research Lab, Israel
>
>
> Steering Committee:
> -------------------
> Ewen Denney, SGT/NASA Ames
> Ben Di Vito, NASA Langley
> Klaus Havelund, NASA/JPL
> Gerard Holzmann, NASA/JPL
> Cesar Munoz, NASA Langley
> Corina Pasareanu, CMU/NASA Ames
> Suzette Person, NASA Langley
> Kristin Y. Rozier, NASA Ames
> --
> ____________________________________________________________
> __
> /\ \ \_____
> / \ ###[==_____>
> / \ /_/ __
> / __ \ \ \_____
> | ( ) | ###[==_____>
> /| /\/\ |\ /_/
> / | | | | \
> / |=|==|=| \ Kristin Yvonne Rozier, Ph.D.
> / | | | | \ Research Computer Scientist
> / USA | ~||~ |NASA \ NASA Ames Research Center
> |______| ~~ |______| Phone: (650) 604-3197
> (__||__) Fax: (650) 604-3594
> /_\ /_\
> !!! !!! http://ti.arc.nasa.gov/profile/kyrozier/
>
>
> Any opinions expressed in this email are my own.
> ---
> To opt-out from this mailing list, send an email to
>
> fm-announcements-request at lists.nasa.gov
>
> with the word 'unsubscribe' as subject or in the body. You can also make
> the request by contacting
>
> fm-announcements-owner at lists.nasa.gov
>
> _______________________________________________
> FMIndia mailing list
> FMIndia at cmi.ac.in
> http://www.cmi.ac.in/cgi-bin/mailman/listinfo/fmindia
>
> http://fmindia.cmi.ac.in/
> _______________________________________________
>
--
Sarat Kr. Chettri
Lecturer, Dept. of Computer Science
St. Mary's College, Shillong Meghalaya.
Research Scholar, Dept. of Computer Sc & Engg,
Tezpur University, Tezpur, Assam.
+91 9863102732 (M)
--
This message contains confidential information and is intended only for the
individual named. If you are not the named addressee you should not
disseminate, distribute or copy this e-mail. Please notify the sender
immediately by e-mail if you have received this e-mail by mistake and
delete this e-mail from your system. E-mail transmission cannot be
guaranteed to be secure or error-free as information could be intercepted,
corrupted, lost, destroyed, arrive late or incomplete, or contain viruses.
The sender therefore does not accept liability for any errors or omissions
in the contents of this message, which arise as a result of e-mail
transmission. If verification is required please request a hard-copy
version.
Saint Mary's College, Shillong, Meghalaya, India-793003,
smcs.ac.in
More information about the FMIndia
mailing list