Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics.

EMC2 project addresses the ARTEMIS Innovation Pilot Programme AIPP5: Computing platforms for embedded systems. The objective of the EMC2 project is to foster changes through an innovative and sustainable service-oriented architecture approach for mixed criticality applications in dynamic and changeable real-time environments. EMC2 project focuses on the industrialization of European research

ALMARVI project targets low-power adaptive platform solution for healthcare, smart phone and security industries which are as part of big societal challenges affordable healthcare and wellbeing and green and safe transportation. ALMARVI aims at providing cross-domain many-core platform solution, system software stack, tool chain, and adaptive algorithms that will enable massive data-rate image/

PANACHE is the ENIAC KET Pilot Line project addresses subprogram 6. Design technologies and 7. Semiconductor process and integration. PANACHE project objective is to set-up a pilot line for embedded Flash technology design and manufacturing platform for the prototyping of innovative microcontrollers in Europe.

The overall objective is to develop advanced packaging for power supply components and new generation memory systems having application on Electric and ICE propelled vehicles. One of the main challenges of the introduction of the electronic systems in the automotive, in particular for electrified vehicles, is the reliability and the availability of the power supply systems, which must assure the