[TYPES/announce] [fm-announcements] ICFEM 2013 Call for Participation

Kristin Yvonne Rozier Kristin.Y.Rozier at nasa.gov
Thu Aug 22 03:32:13 EDT 2013


15th International Conference on Formal Engineering Methods (ICFEM 2013)

Queenstown, New Zealand, 29 October - 1 November 2013


The 15th International Conference on Formal Engineering Methods
(ICFEM 2013) will be held at the Crowne Plaza Hotel in
Queenstown, New Zealand from 29 October to 1 November 2013.
Since 1997, ICFEM has been serving as an international forum for
researchers and practitioners who have been dedicated to
applying formal methods to practical computer systems.
Researchers and practitioners, from industry, academia, and
government, are encouraged to attend, and to help advance the
state of the art. We are interested in work that has been
incorporated into real production systems, and in theoretical
work that promises to bring practical and tangible benefit.

ICFEM 2013 is organized and sponsored by The University of
Auckland and will be held in the world renowned travel
destination - Queenstown. Around 1.9 million visitors are drawn
to Queenstown each year to enjoy their own unforgettable travel
experience. We are looking forward to your submissions and


General Co-Chairs
Jin Song Dong, National University of Singapore, Singapore.
Ian Hayes, The University of Queensland, Australia.
Steve Reeves, The University of Waikato, New Zealand.

Program Committee Co-Chairs
Lindsay Groves, Victoria University of Wellington, New Zealand.
Jing Sun, The University of Auckland, New Zealand.

Workshop and Tutorial Co-Chairs
Yang Liu, Nanyang Technological University, Singapore.
Jun Sun, Singapore University of Technology and Design, Singapore.

Local Organization Chair
Gillian Dobbie, The University of Auckland, New Zealand.

Publicity Co-Chairs
Jonathan Bowen, London South Bank University & Chairman, Museophile 
Limited, United Kingdom.
Huibiao Zhu, East China Normal University, China.

Web Chair
Sarah Henderson, The University of Auckland, New Zealand.


Workshop Day (Tuesday 29 October 2013)
8:30AM - 9:00AM: Registration

9:00AM - 17:00PM: 2 Parallel Workshops
+ Room: Crowne II - Second International Workshop on Formal Techniques 
for Safety-Critical Systems (FTSCS 2013)
+ Room: Crowne III - Third International Workshop on SOFL and MSVL 
(SOFL+MSVL 2013)

Conference Day 1 (Wednesday 30 October 2013, Room: Crowne II)
8:00AM - 8:45AM: Registration

8:45AM - 9:00AM: Briefing

9:00AM - 10:00AM: Keynote I
+ Carroll Morgan. Lattices of Information for Security: Deterministic, 
Demonic, Probabilistic

10:00AM -10:30AM: Morning Tea Break

10:30AM -12:00PM: Session - Specification
+ José Dihego, Pedro Antonino and Augusto Sampaio. Algebraic Laws for 
Process Subtyping
+ Frederic Mallet and Jean-Vivien Millo. Boundness Issues in CCSL 
+ Zhiqiang Zuo and Siau-Cheng Khoo. Mining Dataflow Sensitive Specifications

12:00PM - 13:30PM: Lunch Break

13:30PM-15:00PM: Session - Proof
+ Ton-Chanh Le, Cristian Gherghina, Razvan Voicu and Wei-Ngan Chin. A 
Proof Slicing Framework for Program Verification
+ Andrew Boyton, June Andronick, Callum Bannister, Matthew Fernandez, 
Xin Gao, David Greenaway, Gerwin Klein, Corey Lewis and Thomas Sewell. 
Formally Verified System Initialisation
+ Dongxi Liu, Neale Fulton, John Zic and Martin de Groot. Verifying an 
Aircraft Proximity Characterization Method in Coq

15:00PM - 15:30PM: Afternoon Tea Break

15:30PM - 17:00PM: Session - Testing
+ Mengjun Li. Assisting Specification Refinement by Random Testing
+ Faimison Rodrigues Porto, Andre Takeshi Endo and Adenilso Simao. 
Generation of Checking Sequences Using Identification Sets
+ Abderrahmane Feliachi, Marie-Claude Gaudel, Makarius Wenzel and 
Burkhart Wolff. The Circus Testing Theory Revisited in Isabelle/HOL

17:45PM - 19:15PM: Conference Reception

Conference Day 2 (Thursday 31 October 2013, Room: Crowne II)
8:30AM - 9:00AM: Registration

9:00AM - 10:00AM: Keynote II
+ P. S. Thiagarajan. Analysis of Continuous Dynamical Systems via 
Statistical Model Checking

10:00AM -10:30AM: Morning Tea Break

10:30AM -12:00PM: Session - Timed Systems
+ Gustavo Carvalho, Augusto Sampaio and Alexandre Mota. A CSP Timed 
Input-Output Relation and a Strategy for Mechanised Conformance Verification
+ Yanhong Huang, Joao F. Ferreira, Guanhua He, Shengchao Qin and Jifeng 
He. Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of 
+ Yuanjie Si, Jun Sun, Yang Liu and Ting Wang. Improving Model Checking 
Stateful Timed CSP with non-Zenoness through Clock-Symmetry Reduction

12:00PM - 13:30PM: Lunch Break

13:30PM-15:00PM: Session - Concurrency
+ Étienne André, Benoit Barbot, Démoulins Clément, Lom Messan Hillah, 
Francis Hulin-Hubard, Fabrice Kordon, Alban Linard and Laure Petrucci. A 
Modular Approach for Reusing Formalisms in Verification Tools of 
Concurrent Systems
+ Ling Shi, Yongxin Zhao, Yang Liu, Jun Sun, Jin Song Dong and Shengchao 
Qin. A UTP Semantics for Communicating Processes with Shared Variables
+ Duy-Khanh Le, Wei-Ngan Chin and Yong Meng Teo. Verification of Static 
and Dynamic Barrier Synchronization Using Bounded Permissions

15:00PM - 15:30PM: Afternoon Tea Break

15:30PM - 17:00PM: Session - SysML/MDD
+ Alvaro Miyazawa, Lucas Lima and Ana Cavalcanti. Formal Models of SysML 
+ Jaco Jacobs and Andrew Simpson. Towards a Process Algebra Framework 
for Supporting Behavioural Consistency and Requirements Traceability in 
+ Ya Shi, Zhenhua Duan and Cong Tian. Translation from Workflow Nets to MSVL

17:45PM - 19:45PM: Conference Banquet (Skyline Queenstown Restaurant)

Conference Day 3 (Friday 1 November 2013, Room: Crowne II)
8:30AM - 9:00AM: Registration

9:00AM - 10:30AM: Session - Verification
+ Guoxin Su and David Rosenblum. Asymptotic Bounds for Quantitative 
Verification of Perturbed Probabilistic Systems
+ Kirsten Winter, Chenyi Zhang, Ian Hayes, Nathan Keynes, Cristina 
Cifuentes and Lian Li. Path-Sensitive Data Flow Analysis Simplified
+ Jianan Hao, Yang Liu, Wentong Cai, Guangdong Bai and Jun Sun. vTRUST: 
A Formal Modeling and Verification Framework for Virtualization Systems

10:30AM -11:00AM: Morning Tea Break

11:00AM -12:30PM: Session - Application
+ Binyameen Farooq, Osman Hasan and Sohail Iqbal. Formal Kinematic 
Analysis of the Two-Link Planar Manipulator
+ Inna Pereverzeva, Linas Laibinis, Elena Troubitsyna, Markus Holmberg 
and Mikko Pöri. Formal Modelling of Resilient Data Storage in Cloud
+ Xiaofeng Wu and Huibiao Zhu. Linking Operational Semantics and 
Algebraic Semantics for Wireless Networks

12:30PM - 14:00PM: Lunch Break

14:00PM-16:00PM: Session - Static Analysis
+ Guanhua He, Shengchao Qin, Wei-Ngan Chin and Florin Craciun. Automated 
Specification Discovery via User-Defined Predicates
+ Stephan Arlt, Zhiming Liu and Martin Schäf. Reconstructing Paths for 
Reachable Code
+ Giulia Costantini, Pietro Ferrara, Giuseppe Maggiore and Agostino 
Cortesi. The Domain of Parametric Hypercubes for Static Analysis of 
Computer Games Software
+ Manman Chen, Tian Huat Tan, Jun Sun, Yang Liu, Jun Pang and Xiaohong 
Li. Verification of Functional and Non-functional Requirements of Web 
Service Composition

16:00PM - 16:30PM: Closing and Afternoon Tea Break

            /\                       \ \_____
           /  \                   ###[==_____>
          /    \                     /_/      __
         /  __  \                             \ \_____
         | (  ) |                          ###[==_____>
        /| /\/\ |\                            /_/
       / | |  | | \
      /  |=|==|=|  \       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 

More information about the Types-announce mailing list