Session 1: Software Engineering and Formal Methods I

                 Chaired by Prof Zizette Boufaida and Dr Adelkrim Amirat

11:00-11:30

Triple Graph Transformation of UML Structural Diagrams to the B Method Using TGG-Interpreter

Seidali Rehab, Allaoua Chaoui, Jérémy Buisson, Mohamed Ayache and Mohammed Habib Allah Zeghib.

11:30-12:00

The On-the-fly State Space Construction Based on The Strict Strong Coloring

Nousseiba Guidoum, Meriem Bensouyad and Djamel Eddine Saidouni

Session 2: Complex Systems I

                 Chaired by Prof Karim Bouamrane and Dr Abdelmalek Amine

12:00-12:30

Detecting depressed students on Facebook using their shared pictures

Mohamed Adnane Mellah, Abdelmalek Amine, Reda Mohamed Hamou and Amine Rahmani

12:30-13:00

Hybrid Binary Bat Algorithm for Graph Coloring Problem

Halima Djelloul and Salim Chikhi

Session 3: Networks and Web Services

               Chaired by Prof Zakaria El Berrichi and Dr Hammadi Bennoui

14:30-15:00

Cooperative Approach for Vehicle Routing Problem with Simultaneous Pickup and Delivery

Meryem Berghida, Abdelmadjid Boukra, Hani Amar Guenoune and Mohamed Merouane El-Ksouri

15:00-15:30

 InsMT: Instance Matching System for Ontology Alignment

Abderrahmane Khiat

15:30-16:00

A hybrid approach for the mapping of ontologies

Guefrouchi Ryma and Kholladi Mohamed-Khireddine

Session 4: Complex Systems II, Amphi

                 Chaired byProf Hayet Merouani and Dr Yacine Lafifi

8:00-8:30

Classification of Parkinson’s voices of Algerian Patients using Neural Networks

Kamel Ferrat

8:30-9:00

Hough Transform Based Iris Detection Process Enhancement Using a Cuckoo Search Algorithm for Multilevel Thresholding of Iris Images

Amira Bouaziz, Amer Draa and Salim Chikhi

9:00-9:30

An Efficient Algorithm for Block Matching Motion Estimation

Belbachir 

9:30-10:00

A new approach based on the detection of opinion by SentiWordNet for automatic text summaries by extraction

Mohamed Amine Boudia, Reda Mohamed Hamou and Abdelmalek Amine

Session 5: Software Engineering and Formal Methods II, Amphi

                 Chaired by Prof Mohamed Fayçal Khelfiand Dr Elkamel Merah

10:30-11:00

Parameterized Transformation Approach for Software Architectures Evolution

Abdelkrim Amirat and Afrah Djeddar

11:00-11:30

A Model Driven Engineering Approach for Soc Design with Archc/Systemc

Nabil Berrehouma, Allaoua Chaoui and El Bey Bourennane

11:30-12:00

Oriented Business Process Mashup

Zenak Fethia, Benbernou Salima and Zaoui Linda

12:00-12:30

Feature-Oriented Engineering of Web Applications

Sidi Mohamed Moulaye Abdellahi, Mbaye Sene and Mohamed Tahar Kimour