Keynote I: Formal Modelling of Cyber-Physical systems: lessons learnt from refinement and proof based methods

     Cyber Physical Systems refer to the tight integration and coordination between computational and physical resources. Modelling their behaviour requires handling continuous and discrete behaviours. The definition of the associated models refers to continuous and discrete systems theories. In this talk, we address the problem of designing correct software to control cyber-physical systems. We recall the necessary basic concepts allowing a designer to model such systems. We also give an overview of the different formal approaches supporting the formal verification of these hybrid systems and we highlight the results obtained using these techniques. In particular, we focus on the use of proof and refinement based methods.

  Keynote II: Potentials of Computational Intelligence for Big Multi-Sensor Data Management

     Due to the important development in Hardware technologies, sensors are everywhere. So, many real-world applications in different domains (such as Defense, Industry, Transport, Energy, Surveillance, Climate and Weather, Healthcare) use multi-sensors to collect tremendous amounts of data about their states and environments. Such data are inherently uncertain, erroneous and noisy on the one hand, and voluminous, distributed and continuous on the other hand. One of the major challenges the Governments, Industry, Companies and Organizations have to face today is how to manage and make sense of Big sensor data for the purpose of decision making. Recent advancements in science and technologies (like Intelligence Computation and Machine Learning) are opening the road to more advanced analytics techniques that can allow for the sensor data characteristics and extract useful insights. This allows building solutions that provide fast time responses and less resources consuming. In this talk, we show how techniques stemming from the recent Intelligence Computational field can contribute to the above solutions to manage and handle Sensor data. Some examples from the aeronautic/space domain are used to motivate our propositions.

  Keynote III: Virtual and Augmented Reality, from Design to Evaluation

     The talk will highlight the general idea of Virtual and Augmented Reality (V&AR), from design specifications to evaluation methods. After a short introduction into the history of V&AR, we will have a look at various types and concepts of V&AR known today. We then discuss some experimental cases to highlight the need of specification of all V&AR parts, such as technical and hardware constraints but also those concerning tasks modeling and users needs. We will present some criteria we consider when evaluating a V&AR experiences success. Finally, some Algerian V&AR applications and projects will also be presented in order to show national developments in this area.

 Tutorial I: Augmented Reality, how does it work?

     Augmented Reality (AR) is a technology that superimposes a computer-generated image on a user's view of the real world. For this purpose, it makes use of different areas such as computer vision, pose estimation, 3D programming and human-computer interaction. This tutorial will be given in two parts. In the first one, we will present the basic elements of the AR such as definitions, principles, tools and devices. The second part will be dedicated to a practical application of AR. Hence, we will implement some samples of marker-based and marker-less augmented reality using Unity 3D and ARtoolkit Library.

  Tutorial II: Build and Deploy Applications on Secure Linux-IoT Devices

     In a world of connected IoT devices, building robust products should be made accessible and easy. Deploying Software on IoT, keeping the systems secure, applying constant updates are major concerns to enhance the product longevity, its security and all the services around it. In this tutorial, we will present modern deployment workflow for Linux based IoT Systems, how to build and deploy Applications, how to keep the devices secure, and finally how to quickly make your ideas a reality.

  Keywords: Linux, Embedded Linux, IoT , Internet of Things, Linux Containers, Open Source, Security. Smart World, Smart Building, Smart Agriculture, Smart cities, etc.

  Material needed: Raspberry PI (just for demonstration, students can share their devices).

  Tutorial III: Physics simulation in Blender

     Blender offers powerful tools to facilitate the animation of complex physical phenomena, such as fluids, soft objects, rigid objects, smoke, particles and many others. In this workshop, you will discover how to:

1. Set up the virtual physical universe
2. Add external forces
3. Browse the different types of simulation, going through rigid objects, flexible, fluid, gas,
4. Operation of a particle system
5. Interactions with the environment: collisions