-- Call for Participation -- 

                    MEMOCODE'18
      16th ACM-IEEE International Conference 
            on Formal Methods and Models 
                 for System Design
               <http://memocode.irisa.fr/> http://memocode.irisa.fr/ 

                October 15-17, 2018 
                   Beijing, China 


Registration Information:  <http://memocode.irisa.fr/2018/venue.html>
http://memocode.irisa.fr/2018/venue.html 
Conference Program:  <http://memocode.irisa.fr/2018/program.html>
http://memocode.irisa.fr/2018/program.html


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.


KEYNOTE SPEAKERS
----------------
- 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 
 <http://memocode.irisa.fr/2018/venue.html>
http://memocode.irisa.fr/2018/workshop.html

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.

Speakers:
- 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
Verification 
- 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
Implementation


For more information see  <http://memocode.irisa.fr/>
http://memocode.irisa.fr/ 

 

============================================================
To contribute to SEWORLD, send your submission to
mailto:[log in to unmask]

http://sigsoft.org/resources/seworld.html provides more
information on SEWORLD as well as links to a complete
archive of messages posted to the list.
============================================================