The University of Tlemcen and the Higher School of Applied Sciences of Tlemcen organize from 09/10/2017 to 12/10/2017 the first edition of the school ESET'17. The school is animated by researchers, practitioners and industrialists of national and international renown, specializing in embedded systems. The school includes conferences and workshops on the design, development and verification of embedded systems and aims to:

• Introducing participants to the software aspect of embedded systems and the associated formal verification and validation methods;
• Presenting demonstrations and experience feedback on actual cases of embedded applications;
• Creating a meeting space where participants can discuss and share their experiences.

Post-graduate students (master and doctorate) in computer science, automation, biomedical engineering, production and electronics as well as teacher-reseachers participate in the various workshops and conferences.