SEWORLD Archives



Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject: Call for Participation - ACM-IEEE MEMOCODE 2018, Beijing, China
From: SEWORLD Moderator <[log in to unmask]>
Reply-To:SEWORLD Moderator <[log in to unmask]>
Date:Fri, 31 Aug 2018 05:00:09 -0000

            -- Call for Participation -- 

      16th ACM-IEEE International Conference 
            on Formal Methods and Models 
                 for System Design

                October 15-17, 2018 
                   Beijing, China 

Registration Information:  <> 
Conference Program:  <>

MEMOCODE is a leading conference that brings together researchers and
practitioners interested in formal methods for system design and
development, research results, and lessons learned. The conference focuses
on the foundations and applications of formal methods in the development
of hardware, firmware, middleware, and application software for systems
ranging from single embedded devices to highly networked Cyber-Physical
Systems and the Internet of Things.

- Kwangheun Yi, Seoul National University
- Wang Yi, Uppsala University
- Sanjit Seshia, University of California, Berkeley

MEMOCODE'18 Special Session 
Embedded workshop on formal methods in China's Industry 

MEMOCODE'18 features a special session in the form of an embedded
workshop, where engineers and architects from China's industry in domains
such as aerospace, automotive, and railways, share their experiences using
formal methods for system design. The special session will be introduced
with the keynote presentation of Dr. Chen Gang, from China Aerospace, and
followed by two sessions of invited presentations, addressing the wide
variety of industry domains and formal models for analysis, verification,
synthesis, certification employed in China.

- Keynote by Chen Gang, Nanjing University of Aeronautics and Astronautics
and Beijing Jinghang Research Institute of Computing and Communication PLC
Ladder Logic Testing and its Application in Railway Interlocking 
- Hong Ye, AVIC Xian Aeronautics Computing Technique Research Institute
Towards Safety and Determinacy in Airborne Software -- Design and
- Haifeng Wang, National Engineering Research Centre of Rail
Transportation Modeling and safety analysis of CTCS-3 train control system
for high-speed railway 
- Lei Qiao, Beijing Institute of Control Engineering, China Academy of
Space Technology Phased Hierarchical Formal Verification of Memory
Management System for Spacecraft 
- Henguo Zhu, HuNan Zhong Che Communication Signal Co., A Control System
Modeling and Simulation Framework used in Metro ATO System
- Bohan Wang, China Aerospace Science and Industry Corp., Institute 706,
Practice of Model Based System/Software Engineering in CASIC
- Zhibin Yang, Nanjing University of Aeronautics and Astronautics, A
Practical AADL Study in Aerospace Software: from Requirement to

For more information see  <> 


To contribute to SEWORLD, send your submission to
mailto:[log in to unmask] provides more
information on SEWORLD as well as links to a complete
archive of messages posted to the list.