CREST: 1st Workshop on Causal-based Reasoning for Embedded and
safety-critical Systems Technologies

April 8, 2016

Satellite event of ETAPS 2016, Eindhoven, The Netherlands

http://crest2016.inria.fr/

Topic

Today’s IT systems, and the interactions among them, become more and
more complex. Power grid blackouts, airplane crashes, failures of
medical devices, cruise control devices out of control are just a few
examples of incidents due to component failures and unexpected
interactions of subsystems under conditions that have not been
anticipated during system design and testing. The failure of one
component may entail a cascade of failures in other components;
several components may also fail independently. In such cases,
determining the root cause(s) of a system-level failure and
elucidating the exact scenario that led to the failure is today a
complex and tedious task that requires significant expertise. In the
security domain, localizing instructions and tracking agents
responsible for information leakage is a central problem.

Formal approaches for automated causality analysis, fault
localization, explanation of events, accountability and blaming have
been proposed independently by several communities – in particular,
AI, concurrency, model-based diagnosis, formal methods. Work on these
topics has significantly gained speed during the last years.

The goals of this workshop are to bring together and foster exchange
between researchers from the different communities, and to present and
discuss recent advances and new ideas in the field.

Topics of interest include, but are not limited to:

– formal models of causal systems and structures
– languages and logics for specification and causal analysis
– definitions of causality and explanation
– causality analysis on models, programs, and/or traces
– fault localization
– fault ascription and blaming
– accountability
– applications, implementations, and case studies of the above

Keynote Speakers

Hana Chockler, King’s College, UK: Causality and Responsibility for
Formal Verification and Beyond

Chao Wang, Virginia Tech, USA: Constraint-based Analysis for Verifying
and Debugging Concurrent Software

Selection procedure, committees, and organization

All contributed papers will be reviewed by at least 3 PC members.
Revised versions of selected papers will be published as formal
post-proceedings at EPTCS.

The second part of the workshop will be dedicated to a common
discussion of a case study and/or a panel on challenges and a
longer-term vision of causality analysis in computer science.

Program Committee

Salem Benferhat, CRIL – Université d’Artois, France
Hana Chockler, King’s College, UK
Eric Fabre, INRIA, France
Görschwin Fey, University of Bremen & DLR, Germany
Gregor Gössler, INRIA, France (co-chair)
Alex Groce, Oregon State University, USA
Sylvain Hallé, University of Quebec at Chicoutimi, Canada
Joseph Halpern, Cornell University, USA
Stefan Leue, University of Konstanz, Germany
Dejan Nickovic, Austrian Institute of Technology, Austria
Andy Podgurski, Case Western Reserve University, USA
Oleg Sokolsky, University of Pennsylvania, USA (co-chair)
Jean-Bernard Stefani, INRIA, France
Louise Travé-Massuyès, LAAS-CNRS, France
Joost Vennekens, K.U. Leuven, Belgium
Chao Wang, Virginia Tech, USA
Georg Weissenbacher, Vienna University of Technology, Austria

Organizers: G. Goessler (INRIA, France) and O. Sokolsky
(U. Pennsylvania, US)

Important dates:

– abstracts due: January 10, 2016
– full papers due: January 17, 2016
– notification: February 18, 2016
– revised papers for pre-proceedings: March 3, 2016
– workshop: April 8, 2016
– camera ready for post-proceedings: mid-May 2016

First International workshop on Resource Aware Computing (RAC2016)

JOINT CALL FOR PAPERS

12th IEEE World conference on Factory Communication Systems (WFCS 2016)

and

SS on Communication in Automation IEEE Transactions on Industrial Informatics

 

May 3-6, 2016, Aveiro, Portugal

 

Sponsored by: University of Aveiro, Portugal

Telecommunications Institute, Portugal

IEEE Industrial Electronics Society

 

================================================================

Please note that outstanding papers papers will **immediately** be considered

for a Special Section in the TII organized in parallel with WFCS

================================================================

 

*** Submission deadline: December, 18, 2015 ***

 

Author’s Schedule:

– Deadline for submission of regular papers: December, 18, 2015

– Notification of acceptance of regular papers: February, 26, 2016

– Deadline for submission of work-in-progress papers: March, 4, 2016

– Notification of acceptance of work-in-progress papers: April, 6, 2016

– Deadline for submission of final manuscripts (regular): March, 25, 2016

– Deadline for submission of final manuscripts (WIP): April, 23, 2016

 

Further information: http://www.av.it.pt/wfcs2016/

 

Description:

The aim of this joint Call for Papers is to stimulate the submission of

regular and Work-in-Progress papers. Regular papers may be eventually selected

for two different final objectives, namely WFCS 2016 Proceedings and a Special

Section of the IEEE Transactions on Industrial Informatics (TII). Authors

interested in their papers being published in TII will be asked to state it

explicitly and should prepare their papers following the recommendations

indicated at the “Paper submission” page of the WFCS2016 website. These papers

will undergo a first round of review that selects:

– papers potentially suitable for the TII

– papers potentially suitable for WFCS, but not for the TII

 

Subsequently, papers will follow different paths, in agreement with the result

of the above selection. Authors of papers finally accepted for publication in

TII will be asked to provide a short version of their papers (4 pages) that

will be presented at WFCS and published in the conference Proceedings.

 

Scope:

WFCS is the largest IEEE technical event specially dedicated to industrial

communication systems. The aim of this conference is to provide a forum for

researchers, practitioners and developers to review current trends in this

area and to present and discuss new ideas and new research directions.

 

Focus on:

– Real-time and Dependability in Industrial Communication Systems:

message scheduling; task allocation; fault-tolerant communication;

performance analysis; safety and security issues; synchronization.

– System Integration in Industrial Automation Systems:

vertical and life-cycle aspects; web-based setup, maintenance,

and configuration; transparency vs. security; data-flow management;

internetworking; hybrid wired/wireless industrial infrastructures;

M2M communication, Plug-and-Work and self-* mechanisms.

– Information and Communication Technology in Automation:

system design; component-based systems, web frameworks; cloud computing,

service-oriented architectures (SoA); mobile computing; modelling and

specification techniques; formal methods; Internet of Things (IoT)/

Internet of Services.

– Recent advances in research domains with similar technical requirements:

networked control systems; wireless sensor networks; smart grid

communications and building automation networks; automotive and

train-control networks; distributed real-time embedded systems.

 

Topics:

– Fieldbus networks

– Real-time communication and applications

– Industrial Ethernet networks

– Web-based communication and applications

– IP-based networks

– Distributed application platforms

– Industrial wireless networks

– Safety and security in industrial communications

– Industrial Applications of Internet of Things (IoT)

– M2M communication

– Networked embedded systems

– Fault tolerance in industrial communications

– Sensor networks

– Configuration tools & network management

– Building automation networks

– Internetworking & interoperability

– Automotive and train-control networks

– System aspects

– Factory and Process automation networks

– Case studies

 

Submission of Papers:

WFCS is seeking two kinds of submissions: regular papers and work-in-progress

papers. All submitted contributions (in English language) must contain

original unpublished work. Papers that have been concurrently submitted to

other conferences or journals (double submissions) will be automatically

rejected.

 

– Regular Papers:

Up to 8 double-column pages in IEEE format, reporting on novel and

significant contributions to the field of industrial communication

systems.

 

– Work-in-progress Papers:

Up to 4 double-column pages, describing research that has not yet

produced the results required for a regular paper, but that due its

novelty and potential impact deserves to be shared with the community

at an early stage.

 

General Co-Chairs

– Paulo Pedreiras

University of Aveiro, Portugal

– Thilo Sauter

Danube University Krems, Austria

 

Program Committee Co-Chairs

– Lucia Lo Bello,

University of Catania, Italy

– Moris Behnam,

Mälardalen University, Sweden

 

WIP Co-Chairs

– Julián Proenza

University of the Balearic Islands, Spain

– Martin Wollschlaeger,

TU Dresden, Germany

 

Local Organizing Committee

– Joaquim Ferreira, University of Aveiro, Portugal

– Pedro Fonseca, University of Aveiro, Portugal

– Luis Sillva, University of Aveiro, Portugal

 

Industry Day Co-Chairs

– José Alberto Fonseca

University of Aveiro, Portugal

– Rui Lopes

Inova-Ria, Aveiro, Portugal

 

 

TII Liaison

– Kim F Man, City University of Hong Kong, Hong Kong

 

WFCS Series Steering Committee

– J-D. Decotignie, CSEM, Switzerland

– D. Dietrich, Technical Univ. of Vienna, Austria

– J. Fuertes, Univ. Politecnica de Catalunya, Spain

– J. Jasperneite, Institut Industrial IT, Germany

– G. Juanole, LAAS-CNRS, France

– Z. Mammeri, Toulouse University, France

– C. Norström, Mälardalen University, Sweden

– J. Proenza, Univ. of the Balearic Islands, Spain

– T. Sauter, Danube University Krems, Austria

– E. Tovar, ISEP-IPP, Porto, Portugal

– A. Valenzano, IEIIT-CNR, Italy

– F. Vasques, University of Porto, Portugal

– M. Wollschläger, TU Dresden, Germany

– F. Simonot-Lion, LORIA-INPL, Nancy, France

– R. Zurawski, ISA Group, USA (Chair)

 

IEEE Transactions on Industrial Informatics

– Guest Editors

Lucia Lo Bello, University of Catania, Italy

Moris Behnam, Mälardalen University, Sweeden

Paulo Pedreiras, University of Aveiro, Portugal

Thilo Sauter, Danube University Krems, Austria

 

– Editor in Chief

Kim F Man, City University of Hong Kong, Hong Kong

http://tii.ieee-ies.org/

eic.tii@ee.cityu.edu.hk

 

 

Learning and Technology 4th to 6th April 2016 Jeddah, Saudi Arabia The 13th Learning and Technology (L&T) Conference, which is one of the first forums for multi-dimensional technology to emerge in the region, surveys cutting-edge research on multi-dimensional computing and learning technology. This event provides a premier platform for disseminating research results covering a broad variety of topics in the area of 3D technology, virtual reality, augmented reality, and the technology needed to enable these environments to a wide range of applications. 3D technology can be integrated with other technologies to make a huge impact on teaching and learning by providing students a different view and implementation to data, information and collaboration. It has a strong possibility of improving learners using data visualization. The purpose of the (L&T 2016) is to bring together researchers, engineers and practitioners interested in multi-dimensional technologies specifically and in the Education Technology and Computer in general. The purpose of L&T 2016 is to bring together a community of researchers from academia and industry, computer scientists, engineers, physicians in order to share points of views, knowledge, experiences and scientific and technical results, related to state-of-the-art solutions and technologies on virtual and augmented reality applications for medicine, cultural heritage, education, industrial sectors, as well as the demonstration of advanced products and technologies. This year’s conference will feature keynote presentations, intensive workshops, and provocative paper-presentation panels covering the latest in multi-dimensional technologies. Expect to come away feeling better prepared to embrace the rising culture of multi-dimensional technology. 3D technologies are promising and are expected to change the way of production. It has driven a great attention by the participation of leading organizations and is considered as the next mega trend pointed by leading research institutes. Recently, many IT companies like Microsoft and Google enabled their hardware to perform 3D scanning. Digitizing real objects into 3D models will become as easy as taking a picture. Multi-dimensional technologies is one of the most compelling innovations now days. Conference Plan Working sessions gathers researchers, practitioners and participants to investigate propose and identify new or under development research scopes in multi-dimensional technologies under identified tracks. It aims to open research collaboration with other researchers in collaboration with Effat University Research Consultancy Institute. The objective is to produce draft papers and share experiences. Results and proposed solutions for a future research operations. Important Dates Deadline for Submission of Abstracts: 15 December 2015 Initial Acceptance Notification: 20 December 2015 Paper Submission Deadline: 30 January 2016 Author Notification: 26 February 2015 Camera-Ready Submission Deadline: 15 March 2016 Conference: 12-13 April 2016 Conference Organization General Chair: Akila Sarirete, Effat University, Jeddah, Saudi Arabia. Program Manager: Dr Zain Balfagih, Effat University, Jeddah Saudi Arabia. Program Chair: Dr Tayeb Brahimi, Effat University, Jeddah Saudi Arabia. Technical Partners: IEEE “The world’s largest professional association for the advancement of technology” Conference Topics Papers describing original work are invited in any of the areas listed below. Acceptance will be based on quality, relevance and originality. Both full research reports and work-in-progress reports are welcome. There will be both oral and poster sessions. Each of these topic areas is expanded below but the sub-topics list is not exhaustive. Papers may address one or more of the listed sub-topics, although authors should not feel limited by them. Unlisted but related sub-topics are also acceptable. 1- Multi-Dimensional computing: 3D Printing 3D computer graphics software 3D motion controller 3D computing for learning 3D projection on 2D planes 3D Video game graphics Anaglyph image Computer vision Digital geometry Geometry pipeline Geometry processing 2D computer graphics Stereoscopy 2.5D Graphics Graphics processing unit (GPU) Graphical output devices Image processing Isometric graphics in video games List of stereoscopic video games Medical animation Real-time computer graphics Reflection (computer graphics) Rendering (computer graphics) SIGGRAPH Timeline of CGI in films 2- Multi-dimensional technology for learning: (Papers in this group should highlight how the learning technologies can be enhanced using multi-dimensional technologies) Distance Education Life-long education Computer Education for Particular Group Other Computer Education Active learning Learning models Service learning Database Technology Computer architecture Submission Formats and Guidelines Authors are invited to submit original, unpublished work. The organisers particularly encourage the submission of work-in-progress, cutting-edge prototypes. The following types of contributions are welcome: Submissions should be sent to the following link: https://easychair.org/conferences/?conf=lt20160 For any inquiries please write to the following email: (lt@effatuniversity.edu.sa). All papers will be reviewed through a blind review process. Accepted papers will be published in the conference proceedings. The 10 best peer-reviewed papers will be awarded a full scholarship which includes Travel and Lodging expenses and will be published in the conference proceedings. Please follow the IEEE format for structuring submissions. Link below for more information about authors guide. http://www.ieee.org/conferences_events/conferences/publishing/templates.html Full Paper: max. 10 pages Short Papers and Demonstrations: max. 6 pages Workshop proposals: max. 4 pages Demonstrations The L&T Demonstration and interaction session is your chance to fully engage L&T attendees at a personal level by letting them see, touch, squeeze, or hear your visions for the future Global Learning Environment, or demonstrate highly interactive learning environments (e.g. through videos or real-time learning experiences). We expect that your Demonstration will be a reliably running prototype of your vision that is ready to be tried out, questioned and interacted with. You need to submit a concise description of your prototype, clearly showing how your technological innovation realises a clear learning innovation. This needs to be in a summary paper that will be published in the 2015 proceedings if accepted with an accompanying video. Workshops (Working Sessions) L&T offers the opportunity to host 5 parallel workshops. Researchers interested to participate will be requested to choose and register in one of the topics prior to conference. Participants will be working with the session chair and a group of other researchers from the similar background. An outcome from each workshop is expected as a formal white paper, which will be presented by the session chair on behalf of each team to all audiences. White paper will be a future collaborative research initiative with other researchers under the umbrella of RCI (Research Consultancy Institute) at Effat University for future Journal Publications. Enquiries: LT@effatuniversity.edu.sa Web address: http://ltconf.effatuniversity.edu.sa Sponsored by: Effat Univeristy

IEEE ISORC 2016 CALL FOR PAPERS
YORK, UNITED KINGDOM
MAY 17 – 20, 2016
http://www.isorc2016.org

Important Dates

Submission deadline January 12, 2016

Acceptance notification February 20, 2016

Camera-ready papers March 20, 2016

The best papers from ISORC 2016 will be invited for submission to the ISORC special issue of a suitable IEEE / ACM Journal

ISORC has become established as the leading event devoted to state-of-the-art research in the field of object/component/service-oriented real-time distributed computing (ORC) technology. In 2016, we have adopted a new theme, Real-Time Issues and Challenges for novel applications and systems: Medical devices, intelligent transportation systems, Industrial automation systems, Internet of Things and Smart Grids. In addition to high-quality theoretical papers, we solicit high-quality papers pertaining to the above application domains.

We invite original submissions  pertaining  to  all  aspects  of  ORC technology and especially those that are well aligned with the 2016 theme. These include, but are not limited to:

Programming and system engineering: real-time programming challenges, ORC paradigms, object/component models, languages, synchronous languages, RT CORBA, Embedded .NET, RT RMI, RT Java, UML, model-maintenance, system of systems, time-predictable systems and hardware.

Distributed computing and communication infrastructures: real-time communication, networked platforms, protocols, Internet QoS, peer-to-peer computing, sensor networks, VANETS and V2V and V2I communication, trusted and dependable systems.

System software: real-time kernels and OS, middleware support for ORC, QoS management, extensibility, synchronization, resource allocation, scheduling, fault tolerance, security.

Applications: Medical devices, intelligent transportation systems, Industrial automation systems, Internet of Things and Smart Grids, embedded systems (automotive, avionics, consumer electronics, building systems, sensors, etc), multimedia processing, RT Web-based applications.

System evaluation: output accuracy, timing, dependability, end-to-end QoS, overhead, fault detection and recovery time.

Cyber-physical systems: mobile systems, wireless sensor networks, real-time analytics.

Guidelines for Manuscripts

IEEE ISORC 2016 invites papers in three categories. According to program committee guidelines, papers presenting practical techniques, ideas, or evaluations will be favored, with papers reporting experimentation results and industrial experiences particularly welcome. Originality will not be interpreted too narrowly, but papers that are based on severely unrealistic assumptions will not be accepted however mathematically or logically sophisticated the discussion may be. Submission guidelines for each category of paper are as follows:
Papers should describe original work and be maximum 8 pages in length using the IEEE paper format (link to templates). A maximum of two extra pages may be purchased.  Industrial papers and practitioner reports, describing experiences of using ORC technology in application or tool development projects, are an integral part of the technical program of ISORC. A majority of these papers are expected to be shorter and less formal than research papers. They should clearly identify and discuss in detail the issues that represent notable industrial advances. Reports with project metrics supporting their claims are particularly sought, as well as those that show both benefits and drawbacks of the approaches used in the given project.

Short papers (4 pages or less using the IEEE format) on substantial real-time applications are also invited, and should contain enough information for the program committee to understand the scope of the project and evaluate the novelty of the problem or approach.

Acceptance Criteria

According to program committee guidelines, papers presenting practical techniques, ideas, or evaluations will be favored. Papers reporting experimentation results and industrial experiences are particularly welcome. Originality will not be interpreted too narrowly.

Papers that are based on severely unrealistic assumptions will not be accepted however mathematically or logically sophisticated the discussion may be.

Publication information

Papers are to be submitted through the Easychair system.
All accepted submissions will appear in the proceedings published by IEEE. A person will not be allowed to present more than 2 papers at the symposium.

 

2016 Annual International Conference on Innovative Technologies and Advanced Computing (ICIAC-16) March 24-25, 2016 London (UK). 24th to 25th March 2016 London, United KingdomNew Abstract/Poster/Full Paper Submission Deadline: Nov. 30, 2015 (Early Bird updated)EARLY BIRD REGISTRATION FEE Author Student USD 175 Academician (IAE Member) USD 150 Academician (Non IAE Member) USD 190 CO-Author/Listener USD 175 ISBN Proceedings will be submitted to CNKI, Google Scholar, Google, DOAJ, Citeseer for Indexing. Each Paper will be assigned Digital Object Identifier(DOI) from CROSSREF. The Printed Proceedings will be published with ISBN Numbers. TOPICS Abstracts/Posters/FULL Research Papers are welcomed from the following and related areas: -Artificial Intelligence and Machine Learning -Bioinformatics -Computer Graphics, Simulation and Modeling -Computing -Computational Intelligence -Computer Science & Engineering -Communication Engineering -Data Mining, Management and Storage -Information Technology -Manufacturing -Nanotechnology -Network and Network Systems -Signal and Image Processing -Systems Engineering -Software Engineering SUBMISSION METHOD Via Email: info@iacite.org Enquiries: info@iacite.org Web address: http://iciac.org/ Sponsored by: IAE Payment Method* 1. Online payment with PAYPAL using debit/credit card (http://ia-e.org/payment.php). 2. Pay by Bank Transfer * The link for Credit Card payment and the Bank Information can be found in the registration form Venue Holiday Inn Express London – Heathrow T5 Address: London Rd, Slough SL3 8QB, United Kingdom Phone:+44 1753 684001