Software designed for computational processes that interact with the physical processes.
 Submission deadline extended to January 15.
 27 thematic workshops are registered http://www.iccs-meeting.org/iccs2015/registered-workshops.
 In addition to the Full Paper submission, we offer a Presentation Only option (a short abstract is published in a book of abstracts, but not in proceedings). You may also go for a Poster presentation, with or without a full paper.
The ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems will be held on June 18 and 19 as part of the FCRC 2015 (Federated Computing Research Conference 2015) in Portland, Oregon, USA. This will be the sixteenth conference in the LCTES series.
First Call for Papers
LCTES 2015: ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems
LCTES provides a link between the programming languages and embedded systems engineering communities. Researchers and developers in these areas are addressing many similar problems, but with different backgrounds and approaches. LCTES is intended to expose researchers and developers from either area to relevant work and interesting problems in the other area and provide a forum where they can interact.
The 20th IEEE International Conference on Emerging Technologies and Factory Automation will be held September 8-11, 2015 in Luxembourg
The aim of this conference is to bring together researchers and practitioners from the industry and academia and provide them with a platform to report on recent advances and developments in the newly emerging areas of technology, as well as actual and potential applications to industrial and factory automation.
Submission Deadline: March 15, 2015
CALL FOR REGULAR, SPECIAL SESSIONS, & WORK IN PROGRESS PAPERS
20th IEEE International Conference on Emerging Technologies & Factory Automation Luxembourg (ETFA 2015)
8-11 September 2015
Web site: http://www.etfa2015.org/
4th Mediterranean Conference on Embedded Computing will be held June 14-18, 2015 in Budva, Montenegro
On behalf of the Scientific and Organizing Committees it is our great pleasure to invite you to Budva, an exceptional place on the Mediterranean See coast of Montenegro, to participate in:
- MECO'2015: 4th Mediterranean Conference on Embedded Computing, and
- ECYPS'2015: 3rd EUROMICRO/IEEE Workshop on Embedded and Cyber-Physical Systems
MECO'2015 covers a broad area of modeling, analysis, design, validation and application of embedded computing systems.
The 20th International Workshop on Formal Methods for Industrial Critical Systems will be held in co-location with FM 2015: 20th International Symposium on Formal Methods 22-23 June 2015 in Oslo, Norway
FIRST CALL FOR PAPERS
20th International Workshop on
Formal Methods for Industrial Critical Systems
22-23 June 2015, Oslo, Norway
In co-location with FM 2015: 20th International Symposium on Formal Methods
The 9th Theoretical Aspects of Software Engineering Conference (TASE 2015) will be held in Nanjing, China in September, 2015.