Journées internationales sur: Etude et implementation en ML/LCF d'un systeme de deduction pour logique algorithmique; se concentrant sur les dernières recherches, développements, avancées et nouvelles technologies dans les domaines de l'informatique, Mathématiques, Physiques, des technologies de l'information, du traitement du signal, des technologies émergentes, des communications sans fil, des réseaux intelligents et Communication verte. La conférence vise à diffuser des idées nouvelles et des tendances émergentes, des résultats de recherche et des réalisations pratiques. Des contributions originales et de haute qualité sont sollicitées, y compris des théories, des applications et des expérimentations. C'est une opportunité de réseauter, de nouer des partenariats et d'échanger des idées avec une variété de chercheurs, développeurs et praticiens expérimentés de plusieurs universités, instituts de recherche et universités.