Archives for October 2016

13th International Conference on integrated Formal Methods (iFM 2017)

13th International Conference on integrated Formal Methods (iFM 2017)

CALL FOR WORKSHOPS
(http://ifm2017.di.unito.it/callForWorkshops.php)

Important Dates
===============
Submission of workshop proposals: Monday, 19 December, 2016
Workshop proposals notification: Monday, January 16, 2017
Workshops: September 18-19, 2017

About iFM
=========
iFM 2017 is concerned with how the application of formal methods may involve modelling
different aspects of a system which are best expressed using different formalisms.
Correspondingly, different analysis techniques may be used to examine different system
views, different kinds of properties, or simply in order to cope with the sheer
complexity of the system. The iFM conference series seeks to further research into hybrid
approaches to formal modelling and analysis; i.e., the combination of (formal and semi-
formal) methods for system development, regarding modelling and analysis, and covering
all aspects from language design through verification and analysis techniques to tools
and their integration into software engineering practice.

Workshops can have the duration of one or two days. Prospective workshop organizers are
requested to follow the guidelines below and are encouraged to contact the workshop
chairs if any questions arise.

The purpose of the workshops is to provide participants with a friendly, interactive
atmosphere for presenting novel ideas and discussing their application.

The workshops take place on September 18-19, 2017.

Proposal and Submission Guidelines
==================================
Workshop proposals must be written in English, not exceed 5 pages with a reasonable font
and margins, and be submitted in PDF format via email to the iFM workshop chairs,
Wolfgang Ahrendt (ahrendt@chalmers.se) and Michael Lienhardt (michael.lienhardt@di.unito.it).

Proposals should include:

* The name, the duration (1 or 2 days) and the preferred date of the proposed workshop
* A short description of the workshop.
* If applicable, a description of past versions of the workshop, including dates, organizers,
submission and acceptance counts, and attendance.
* The publicity strategy that will be used by the workshop organizers to promote the
workshop.
* The participant solicitation and selection process.
* The target audience and expected number of participants.
* Approximate budget proposal (see section Budget below for details).
* The equipment and any other resource necessary for the organization of the workshop.
* The name and short CV of the organizer(s).
* The publication plan (only invited speakers, no published proceedings, pre-/post-
proceedings published with EPTCS/ENTCS/…).

Organizers’ Responsibilities
============================
The scientific responsibility of organizing a workshop is on the workshop organizers. In
particular, they are responsible for the following items:

* A workshop description (200 words) for inclusion in the iFM site.
* Hosting and maintaining web pages to be linked from the iFM site. Workshop organizers can
integrate their pages into the main iFM pages.
* Workshop proceedings, if any. If there is sufficient interest, the iFM 2017 workshop
organizers may contact the editor-in-chief of the Electronic Proceedings in Theoretical
Computer Science (http://info.eptcs.org/) for having a common volume dedicated to the
workshops of iFM 2017.
* Workshop publicity (possibly including call for papers, submission and review process).
* Scheduling workshop activities in collaboration with the iFM workshop chairs.

Budget
======
The iFM organization will provide registration and organizational support for the workshops
(including linking from the conferences web sites, set-up of meeting space, on-line and on-
site registration). Registration fees must be paid by all participants, including organizers
and invited guests.

To cover lunches, coffee breaks and basic organizational expenses, all workshops will be
required to charge a minimum participation fee (the precise amount is still to be
determined). Each workshop may increase this fee to cover additional expenses such as
publication charges, student scholarships, costs for invited speakers, etc. All fees will be
collected by STILEMA S.r.l. as part of the iFM registration. STILEMA S.r.l. will require the
workshop fees as requested by each workshop organizer.

Evaluation Process
==================
The proposals will be evaluated by the iFM organizing committee on the basis of their
assessed benefit for prospective participants of iFM 2017. Prospective organizers may wish to
consult the web pages of previous satellite events as examples:

iFM 2016: http://en.ru.is/ifm/calls/
iFM 2014: http://ifm2014.cs.unibo.it/workshops.html
iFM 2013: http://www.it.abo.fi/iFM2013/workshops_and_tutorials.php
iFM 2012: http://ifm-abz.isti.cnr.it/styled-4/speakers.html
iFM 2010: http://ifm2010.loria.fr/satellite.html
iFM 2009: http://www.formal-methods.de/ifm09/workshops.html

Venue
=====
iFM 2017 will take place at the Cavallerizza Reale in Turin, Italy. The Cavallerizza Reale is
set in the center of Turin, close to many historical buildings of the city, like the Mole
Antonelliana, the royal palace of Turin, Palazzo Madama, Palazzo Carignano and the main
building of the University.

Further Information and Enquiries
=================================
You are welcome to contact the iFM workshop chairs Wolfgang Ahrendt (ahrendt@chalmers.se) and
Michael Lienhardt (michael.lienhardt@di.unito.it)


Dipl.-Inf. Christoph Seidl
Wissenschaftlicher Mitarbeiter
Institut für Softwaretechnik und Fahrzeuginformatik
Technische Universität Braunschweig

Tel.:(+49) 531 391-2296

E-Mail: c.seidl@tu-braunschweig.de
Skype: christoph.seidl.tud

Besucheradresse:
Raum IZ 417 (TU Braunschweig)
Informatikzentrum
Mühlenpfordtstr. 23
38106 Braunschweig

DeltaEcore – Plug & Play Variability for Models http://www.deltaecore.org

Call for proposals for Cross-Site Collaboration Grants to initiate and promote Cross-site Actions.

EuroLab-4-HPC is pleased to announce the second call for proposals for Cross-Site Collaboration Grants to initiate and promote Cross-site Actions.

Grants are available for short cross-discipline stays, targeted at PhD students, post-doctoral researchers and academics, working in multiple layers of the HPC system stack (architecture, runtime, tools, …).  This includes HPC topics from the engineering domain, the automotive, health, mobility, security and energy sector, just to name a few. Each grant will provide a maximum of 5,000 euros to cover the travel expenses for a three- to six-week collaborative visit, which must take place between January and July 2017.  Last year, we funded seven cross-site actions, which led to several first-rate publications and ongoing collaborations.  This year we wish to fund a larger number and achieve even more.
The EuroLab-4-HPC project has the bold overall goal to build connected and sustainable European leadership in high-performance computing systems.  The project aims to bring together the different and leading performance-oriented communities in Europe, to work across all layers of the system stack, in order to tackle long-term challenges in high-performance computing (HPC) and, at the same time, fuel new HPC-centered companies.
Topics of interest include, but are not limited to:
HPC systems beyond Exascale computing and end of technology scaling
Emerging technologies for HPC systems
Emerging programming techniques, frameworks and tools for HPC systems
Emerging applications for HPC systems
We welcome proposals for cross-site visits with precisely defined outcomes: hence, proposals should include a description of the current state and how to improve in terms of used methods and expected results. Visits should initiate or continue a long-term collaboration around one or more existing common platforms, which may be any kind of hardware or software IP.  Such platforms must be bold and disruptive with a high potential for commercialization or business generation, and the best platforms will be identified within the project to contribute to the EuroLab-4-HPC portfolio (i.e. the set of platforms that forms the basis of collaborative research).  Priority will be given to proposals judged likely to create opportunities for innovation and commercial exploitation.
Evaluation criteria will be:
•    Expected research impact
•    Concept, objectives and work plan
•    Congruity of resources and budget
•    Business impact potential
•    Applicant profile
Cross-site visits are intended to support the travel expenses for a single researcher from a source institution to visit a destination institution. Either the source or destination must be a member of EuroLab-4-HPC.  The grant consists of daily allowances up to max. 4.500 EUR and a reimbursement of the travel costs up to max. 500 EUR. The daily allowance is set at 150 EUR per day. This daily allowance should cover all expenses related to the stay (accommodation, local transportation…).

Please visit http://eurolab4hpc.eu/content/application-form to submit your application.

IET Cyber-Physical Systems: Theory & Applications

Call for Papers

 

IET Cyber-Physical Systems: Theory & Applications

Special Issue on Safety-Critical Cyber Physical Systems

 

Cyber-Physical Systems (CPS) deal with the cyber control and physical processes as well as the interactions between them. In the domains of automobile and aerospace (A/A), many CPS are safety-critical systems, such as cruise control systems and flight control systems. Undiscovered software or hardware problems in the design may lead to severe safety issues. Late-phase fault detection and rework can risk significant loss in both time and money.

 

To address these issues, early-phase rigorous design, modeling and verification of CPS is promoted. At the same time, novel, trustworthy, yet efficient approaches to address various challenges of CPS, such as complexity, scalability, security, heterogeneity and interoperability, are desired in the A/A industrial context to meet the market requirements of quality, dependability, cost and time. This special issue will present the state-of-the-art research results on the topics of safety-critical CPS in the A/A domains, particularly for the autonomous vehicles and Unmanned Aerial Vehicles.

 

The areas of interests include, but are not limited to, the following CPS-relevant topics:

 

–        Model-based design approaches

–        Software/Hardware codesign approaches

–        Requirement formalization and validation approaches

–        CPS safety and security

–        Complexity and scalability

–        Heterogeneity and interoperability

–        Timing analysis and verification

–        Architecture design and analysis

–        Simulation, testing and formal verification

–        Hybrid systems modeling, verification, and reachability analysis

–        Synthesis of CPS

–        CPS in Autonomous vehicles and Unmanned Aerial Vehicles

 

Important dates:

 

–        Submission Deadline        Dec 31, 2016

–        Notification Due               Mar 2, 2017

–        Final Version Due              Apr 30, 2017

–        Publication Date               Jul 2017

 

 

All papers must be submitted through the journal’s Manuscript Central system:

http://mc.manuscriptcentral.com/iet-cps

 

For enquiries regarding this Special Issue please contact the Guest Editors:

 

–        Dr. Huafeng Yu, Boeing Research & Technology, USA, E: huafeng.yu@boeing.com

–        Dr. Corina Pasareanu, NASA, USA, E: corina.s.pasareanu@nasa.gov

–        Dr. Stanley Bak, Air Force Research Laboratory, USA, E: stanley.bak.1@us.af.mil

–        Dr. Ramesh S, General Motors, USA, E: ramesh.s@gm.com

–        Prof. Xin Li, Carnegie Mellon University, USA, E: xinli@cmu.edu

–        Prof. Qi Zhu, University of California, Riverside, USA, E: qzhu@ece.ucr.edu

 

 

All submissions are subject to the journal’s peer-review procedures. The authors should follow the journal’s Author Guide at

 

http://digital-library.theiet.org/journals/author-guide when preparing papers for submission to the Special Issue.

 

This special issue is supported by IEEE Technical Committee on Cyber-Physical Systems.

 

Thank you.

 

Best regards,

 

Huafeng Yu

Senior Researcher

Boeing Research & Technology

Tel: +1 256 937 5386

Mail: Huafeng.Yu@boeing.com

 

2016 BANGKOK 5th International Conference on Computer, Electronics and Manufacturing Engineering (ICCEME-16) 25th to 26th December 2016

2016 BANGKOK 5th International Conference on Computer, Electronics and Manufacturing Engineering (ICCEME-16)
25th to 26th December 2016
Bangkok, Thailand

Deadline of New Full Paper/Poster/Abstract Submissions: Nov. 1, 2016 (Early Bird)

All accepted papers of the conference will be published in the printed conference proceedings with valid International ISBN number that will be registered at: London, UK. Each Paper will be assigned Digital Object Identifier(DOI) from CROSSREF. Later, the Proceedings of the conferences will be submitted to SCOPUS for review and possible indexing.

Topics/Scope
– Aeronautical Engineering
– Aerospace Engineering
– Audio Engineering
– Automotive Engineering
– Computer Engineering
– Electrical Engineering
– Electromechanical System Engineering
– Electronics & Communication Engineering
– Electronics Engineering
– Engineering Management
– Engineering Mathematics
– Engineering Physics
– Engineering Sciences
– Industrial Engineering
– Information Technology
– Integrated Engineering
– Internet
– Manufacturing Engineering
– Materials Engineering
– Mechanical Engineering
– Mineral & Metallurgical Engineering
– Mining Engineering
– Nanotechnology
– Production Engineering
– Software Engineering
– Sound Engineering
– System Engineering
– Telecommunication Engineering
– Web Designing and XML

SUBMISSION METHODS
1. Electronic Submission System; ( .doc/.docx/.pdf formats) using http://iaetr.org/paper_submission.php
OR
2. Email: cs@iaetr.org

Paper Format: http://uruae.org/ckfinder/userfiles/files/PaperTemplate-URUAE.doc
ONLINE Payment: https://www.paypal.com/cgi-bin/webscr?cmd=_s-xclick&hosted_button_id=M6FTKRY9MA5EE

REGISTRATION FEE
Authors (Student): 200 USD
Authors (Non Student): 250 USD
Coauthor/Listener: 200 USD

Enquiries: cs@iaetr.org
Web address: http://iaetr.org/conference.php?slug=ICCEME-16&sid=1&catDid=128
Sponsored by: Universal Researchers (UAE)-IAETR

CONFERENCE VENUE (Booked)
Hotel Mercure Bangkok Siam
Address: 927 Rama 1 Road Wangmai, Pathumwan,
Bangkok 10330, Thailand Phone:+66 2 659 2888
Hotel Email: Orawan.VICHARNARONG@accor.com; mercure.erawan@accor.com

2017 the 2nd IEEE International Conference on Cloud Computing and Big Data Analysis

Welcome to ICCCBDA 2017
www.icccbd.com

2017 the 2nd IEEE International Conference on Cloud Computing and Big Data Analysis (ICCCBD 2017) will be held duringApril 28-30, 2017 in Chengdu, China, co-sponsored by IEEE, Sichuan Association for Science and Technology and Sichuan Institue of Electronics, and technical co-sponsored by Southwest Jiaotong University, China and Xihua University, China.

Paper Publication
All accepted papers will be published in the ICCCBDA 2017 conference proceedings, and reviewed by the IEEE Conference Publication Program for *IEEE Xplore* and *Ei Compendex*.

Conference Chair
Prof. Jinshu Zhu, Xihua University, China
Prof. Dr.En-Bing Lin, Central Michigan University, USA
Prof. Tianrui Li, Southwest Jiaotong University, China

Submission Methods
1. Full Paper (Presentation and publication)
2. Abstract (Presentation only)
Please log in the Electronic Submission System (https://www.easychair.org/conferences/?conf=icccbd2017) or submit paper to: icccbd_conference@163.com.

Submission Deadline
Before December 15,2016

Lab visit & One Day Tour
We will arrange a lab visit and one day tour in Chengdu on April 30.

Contact us
Ms. Sonia Chiew, Conference Secretary
E-mail: icccbd_conference@163.com

Workshop: Staff personal website with IBS

Workshop: Staff personal website — 19 Oct 2016

This workshop introduces the basic usage of WordPress. Upon completion of the workshop, participants will be able to:
1) Create post
2) Create page
3) Arrange menu
4) Edit page/post
5) Edit user password
6) Edit user profile
7) Upload media
8) Upload profile picture
Kindly bring your resume, list of projects, grants, conference/journal papers and pictures (softcopy) 

 

6th International Conference on Advances in Engineering Sciences and Applied Mathematics (ICAESAM’2016) Dec. 21-22, 2016 Kuala Lumpur (Malaysia)

6th International Conference on Advances in Engineering Sciences and Applied Mathematics (ICAESAM’2016)
Dec. 21-22, 2016
Kuala Lumpur, MalaysiaNew Submissions are OPEN and paper/abstract/poster can be submitted before Oct. 25, 2016 (Early Bird)

The International Refereed Conference Proceedings will be blind peer reviewed by two competent reviewers. The post conference proceedings will be submitted to be indexed in the SCOPUS/ISI, CiteSeerX, and Google Scholar for possible Indexing

Topics of interest for submission include, but are not limited to:
– Computer Science and Engineering
– Electrical Engineering
– Information Technology
– Electronics Engineering
– Instrumentation Engineering
– Industrial Engineering
– Mechanical Engineering
– Architectural Engineering
– Civil Engineering
– Chemical Engineering
– Aeronautical Engineering
– Bio-Medical Engineering
– Environmental Engineering
– Nano-Technology,
– Genetic Engineering
– Materials and Metallurgical Engineering
– Mathematics and its Applications

ONLINE PAPER SUBMISSION
Full-length Papers, Short Papers, Posters and Abstracts are invited that address the themes and topics for the conference, including figures, tables and references of novel research material.
Please click here: http://www.iieng.org/paper_submission.php to submit your full-length papers, abstract and posters for the conference.

OR

PAPER SUBMISSION THROUGH EMAIL
Email the formatted paper according to the .doc template paper (in .doc or .docx format) at email id –info@iieng.org along with the name and city of the conference of the conference

Both the “oral presentation” and “Poster presentation” options are available. Please mention your choice at the time of submission

Also mention that if you like to publish/print “Full paper (including the abstract)” OR “ONLY Abstract” OR “Any Other choice” in the Printed Proceedings.

The conference paper template and copyright form are available at: http://www.iieng.org/downloads.php

Enquiries: info@iieng.org
Web address: http://iieng.org/2016/12/21/83
Sponsored by: International Institute of Engineers

RTSS 2016 – Call for Participation (early registration deadline: October 24)

RTSS 2016

The 37th IEEE Real-Time Systems Symposium

November 29 – December 02, 2016

Porto, Portugal

Finalized Agenda is out, Visa letter and venue info is also posted. Check online at: http://2016.rtss.org/

Oct 24, 2016 – Last day for early registration

Nov 29 – Workshops

Nov 30 – Dec 02, 2016 – Symposium

CFP – Si on Security for Smart Grid and Internet of Things Applications

Call for papers
Int. J. of Internet Technology and Secured Transactions
Special Issue on: “Security for Smart Grid and Internet of Things Applications”
Guest Editors:
Dr. Mohamed Amine Ferrag, Guelma University, Algeria
Dr. Ahmed Ahmim, University of Larbi Tebessi, Algeria
Dr. Al-Sakib Khan Pathan, Southeast University, Bangladesh
Today, Internet of Things (IoT) is a novel paradigm in the development and evolution of the internet. The IoT is able, via modern wireless telecommunications, to identify and co-operate digitally with physical objects (or ‘things’) in order to exchange data between physical and virtual worlds. Due to recent developments in IoT related to electronics, software, sensors, actuators, there is active research interest in the connection between IoT and smart grid. With active and passive attacks, this connection makes the attacker’s task easier to disrupt the network and disclose the object privacy. However, the smart grid with IoT cannot be widely deployed without considering the security requirements, namely, authentication, integrity, non-repudiation, access control, and privacy.
This special issue will address the latest advances and challenges in novel techniques, algorithms, architectures and experiences within the field of security, privacy and trust for smart grid and internet of things applications.
Subject Coverage
Suitable topics include, but are not limited to, the following:
Intrusion detection system (IDS)/intrusion prevention system (IPS)
Game theoretical models of smart grid security
Cryptography, key management, authorisation and access control for IoT
Sensor networks and RFID security
Secure software development for IoT
IoT security issues in P2P, distributed, and parallel systems
Privacy-preserving systems
Protocol security for IoT
Embedded systems security for IoT
Notes for Prospective Authors
Submitted papers should not have been previously published nor be currently under consideration for publication elsewhere. (N.B. Conference papers may only be submitted if the paper has been completely re-written and if appropriate written permissions have been obtained from any copyright holders of the original paper).
All papers are refereed through a peer review process.
All papers must be submitted online. To submit a paper, please read our Submitting articles page.
If you have any queries concerning this special issue, please email the Guest Editors, Mohamed Amine Ferrag atmohamed.amine.ferrag@gmail.com, Ahmed Ahmim at a.ahmim@gmail.com and Al-Sakib Khan Pathan atsakib.pathan@gmail.com.
Important Dates
Submission of manuscripts: 30 March, 2017
Notification to authors: 30 June, 2017
Final versions due: 20 September, 2017