The Coq mailing list

[WAN Hai <wan.whyhigh AT gmail.com>]

RTCSA 2016: The 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Link:http://www.rtcsa.org/
When            Aug 17, 2016 - Aug 19, 2016
Where            Daegu, South Korea
Submission Deadline    March 24, 2016 11:59pm GMT-12
Notification        May 1, 2016
Camera Ready Deadline    June 8, 2016 (Tentative)

RTCSA 2016 is going to be held in Daegu, South Korea and organized by DGIST. The RTCSA conference series carry on with the tradition and bring together researchers and developers from academia and industry for advancing the technology of embedded and real-time systems and their emerging applications including the Internet of things and cyber-physical systems.

RTCSA seeks both research and industry track papers that describe research or technical aspects in the area of embedded and real-time systems. Proceedings will be published by the IEEE Computer Society. More information on RTCSA 2016 can be found athttp://www.rtcsa.org
______________________________________
[Sponsors]
IEEE Computer Society, IEEE Computer Society Technical Committee of Real-Time Systems, DGIST, and CPS Global Center of DGIST.
______________________________________
[Scopes]
The 22nd RTCSA will bring together researchers and developers from academia and industry for advancing the technology of embedded and real-time systems and their emerging applications including the Internet of things and cyber-physical systems. The conference has the following goals: to investigate advances in embedded and real-time systems, system design practice and emerging applications; to promote interaction among the areas of embedded and real-time computing, system design practice and emerging applications; to evaluate the maturity and directions of embedded and real-time system, system design practice and emerging applications technology. RTCSA 2016 seeks papers that describe original research in the area of embedded and real-time systems and their emerging applications. This includes, but is not limited to:

REAL-TIME SYSTEMS TRACK
-Real-Time Operating Systems
-Real-Time Scheduling
-Timing Analysis
-Programming Languages and Run-Time Systems
-Middleware Systems
-Design and Analysis Tools
-Communication Networks and Protocols
-Media Processing and Transmissions
-Real-Time Aspects of Wireless Sensor Networks
-Energy Aware Real-Time Methods
-Real-Time Aspects of Databases

EMBEDDED SYSTEMS TRACK
- Embedded System Architectures
- (Heterogeneous) Multi-Core Embedded Systems
- Operating Systems and Scheduling
- Embedded Software and Compilers
- Power/Thermal Aware Design Issues
- Fault Tolerance and Security
- Sensor-based Systems and Applications
- Embedded Systems and Design Methods for Cyber-Physical Systems
- Reconfigurable Computing Architectures and Software Support
- Ubiquitous and Distributed Embedded Systems and Networks

IoT, CPS, AND EMERGING APPLICATIONS TRACK
-Systems, Technology and Foundations of IoT and CPS
-Applications and Case Studies of IoT and CPS
-Smart and Connected Health
-Industrial Internet and Industry 4.0
-Smart City Technology and Applications
-Smart Transportation and Infrastructure
-Cyber-Physical Co-Design
-Cloud, Middleware and Networks for IoT and CPS
-Wireless Sensor-Actuator Networks for IoT and CPS
-Industrial Networks and Systems
______________________________________
 [Steering Committee]
Tarek Abdelzaher, University of Illinois at Urbana-Champaign, USA
Luis Almeida, University of Porto, Portugal
Steve Goddard, University of Nebraska-Lincoln, USA
Jorgen Hansson, Chalmers University, Sweden
Seongsoo Hong, Seoul National University, Korea
Tei-Wei Kuo, Academia Sinica & National Taiwan University, Taiwan
Tatsuo Nakajima, Waseda University, Japan
Joseph Ng, Hong Kong Baptist University, HK SAR, China
Sang Hyuk Son, DGIST, Korea
Hideyuki Tokuda, Keio University, Japan
______________________________________
[Organizers]
General Co-Chairs
Sang Hyuk Son, DGIST, Korea
Nikil Dutt, University of California, Irvine, USA

Program Co-Chairs
Chang-Gun Lee, Seoul National University, Korea (Real-Time Systems Track)
Eduardo Tovar, Polytechnic Institute of Porto, Porto, Portugal (Embedded Systems Track)
Chenyang Lu, Washington University in St. Louis, USA (IoT, CPS, and Emerging Applications Track)

Organizing Chair
Kyung-Joon Park, DGIST, Korea

Finance Chair
Insik Shin, KAIST, Korea

Web Chair   
Victor Lee, City University of Hong Kong, HK SAR, China

Publication Chair   
Kevin Liu, Chongqing University, China

Work-in-Progress Session Chair
JeongGil (John) Ko, Ajou University, Korea

Local Arrangement Co-Chairs
Jihwan Choi, DGIST, Korea
Jae Youn Hwang, DGIST, Korea

Publicity Co-Chairs
Hai Wan, Tsinghua University, China
Yuan-Hao Chang, Academia Sinica, Taiwan
Harini Ramaprasad, University of North Carolina at Charlotte, USA
Rob Davis, University of York, UK
Prof. Hyun-Wook Jin, Konkuk University, Korea
Prof. Hyuk-Jun Lee, Sogang University, Korea
______________________________________
[Paper Submission]
Both research and industry track papers are solicited. The submitted manuscript must describe original work not previously published and not concurrently submitted elsewhere. Submissions should be no more than 10 pages in the IEEE conference proceedings format (two-column, single-space, 10pt). Conference content will be submitted for inclusion into IEEE Xplore, and will be EI indexed. The prospective authors should submit their papers through the submission web page athttps://www.softconf.com/g/rtcsa16/.
_____________________________________
[Work-in-Progress Session]
This session provides an opportunity for researchers attending RTCSA to present and discuss their research. More detailed information is available on the web.
______________________________________
[Special Issues of SCI(E)-indexed Journals]
Selected papers will be recommended to submit the extended versions to the special issues of SCI(E)-indexed Journals.
______________________________________
[Important Dates]
Paper Submission Deadline: March 24, 2016 11:59pm GMT-12
Acceptance Notification: May 1, 2016
Camera-ready Deadline: June 8, 2016 (Tentative)