INSEA

Institut National de Statistique et d'Economie Appliquée

FacebookTwitterLinkedinRSS Feed

Lancement du Master Systèmes d'Information et Systèmes Intelligents (M2SI) à l'INSEA au titre de l'année 2019 - 2020

Détails
Publié le jeudi 23 mai 2019 11:13

 

Le master de recherche M2SI a pour objectif d’offrir au candidat une formation adéquate en Systèmes d’Information et Systèmes Intelligents lui permettant de poursuivre par la suite des études doctorales dans l’un des deux domaines.
A l’issue de la formation, les lauréats auront un profil qui connait les méthodologies les plus avancées utilisées en ingénierie des données et des processus et ayant les atouts nécessaires, théoriques et technologiques, dans le domaine de la gestion des big data, l’apprentissage automatique, l’informatique décisionnelle, l’intelligence artificielle et l’amélioration des processus.
 
Pour plus d'informations, cliquez ici .
 
Pour remplir le formulaire d'inscription en ligne, cliquez ici.
 
 
 
 

Signature d'une convention de partenariat portant sur la formation des actuaires entre l'ACAPS, la FMSAR, l'AMA et l'INSEA

Détails
Publié le jeudi 2 mai 2019 11:43

 

 

 

L’édition de 2019 du Rendez-vous de Casablanca de l’Assurance (03-04 Avril) a été l'occasion  de  la signature par "Othman Khalil El Alamy, Secrétaire général de  l’Autorité de contrôle des assurances et de la prévoyance sociale (ACAPS), Belkacem Abdous, Directeur de l’Institut national de statistique et d’économie appliquée (INSEA), Mohamed Amrani, Président de l’Association marocaine des actuaires (AMA) et Bachir Baddou, Directeur général de la Fédération marocaine des sociétés  d’assurances et de réassurance (FMSAR), d’une convention de partenariat portant sur la formation des actuaires. Elle a pour objectif d’offrir au marché local des actuaires dont les compétences répondent parfaitement aux besoins des compagnies d’assurances à l’échelle national. ..."
 
 
 
 

Signature d'une convention entre la Bourse de Casablanca, CISI et l'INSEA

Détails
Publié le jeudi 2 mai 2019 11:35

La Bourse de Casablanca a procédé en Février 2019 à "la signature de partenariats avec 6 établissements publics et privés de l’enseignement supérieur afin de mettre à la disposition des bénéficiaires des certifications, des salles accréditées par le CISI (Chartered Institute for Securities & Investment) pour le déroulement des examens. Ces établissements  sont l’ENCG d’Agadir, l’ENCG de Tanger, l’INSEA de Rabat, l’Université Al Akhawayn d’Ifrane, l’Université internationale de Casablanca et l’Université internationale de  Rabat." 

Pour plus d'information, cliquez ici. 

Source

 

 

 

 

Forum GENI Entreprises : 16ème édition à l’INSEA les 13 et 14 Mars 2019

Détails
Publié le lundi 11 mars 2019 13:19
 
Sous le Haut Patronage de Sa Majesté le Roi Mohammed VI, La 16ème édition du forum G.E.N.I-Entreprise aura lieu à l’INSEA les 13 et 14 Mars 2019,  sous le thème «Développement inclusif : Pour un Maroc moderne et prospère». 
 

Séminaire Solveurs SAT modernes en Intelligence Artificielle le 02 Janvier 2019

Détails
Publié le samedi 29 décembre 2018 14:15

Le laboratoire SI2M (Systèmes d’Information, Systèmes Intelligents et Modélisation Mathématique) de l’INSEA à Rabat, organise un séminaire autour des "Solveurs SAT modernes en Intelligence Artificielle", animé par Pr. Saïd Jabbour, CRIL-CNRS, Université  d'Artois, France. Le Séminaire aura lieu à l’INSEA, Salle de conférences, le Mercredi 2 Janvier 2019, 10h00. 

Résumé : Le problème NP-complet classique de la satisfiabilité d'une formule Booléenne mise sous forme normale conjonctive a connu un intérêt croissant non seulement dans la communauté d'informatique théorique, mais aussi dans des domaines d'applications divers ou une solution pratique à ce problème permet des avancées significatives. Depuis les premiers développements de la procédure de base proposée par Davis, Putnam, Logemann et Loveland (DPLL), il y a plus d'une quarantaine d'années, ce domaine a connu un effort de recherche croissant ayant abouti aux solveurs SAT modernes d'aujourd'hui, capable de résoudre des instances de plusieurs centaines de milliers et même de millions de variables. Dans cet exposé, nous examinerons les idées principales ayant permis ce passage à l'échelle et nous évoquerons quelques applications de SAT.
 
Bibliographie :
Pr. Said Jabbour a obtenu son doctorat de l'université d'Artois en décembre 2008 après un master en 2004 et un diplôme d'ingénieur de l'ENSEM de Nancy en 2002. Après un post-doc à l'INRIA-Microsoft à Paris en 2009, il est recruté en tant que maître de conférences à l'université d'Artois en 2010. Il obtient son Habilitation à diriger des Recherches en 2018. Ses thématiques de recherche s’inscrivent à la frontière de plusieurs domaines différents incluant l’Intelligence Artificielle (IA), la fouille de données et les systèmes d’information. Elles peuvent être caractérisées par les mots clés suivants : programmation par contraintes, représentation des connaissances, la problématique de raisonnement sur des ontologies conflictuelles (incohérentes et/ou inconsistantes) via l’argumentation déductive, fouille de motifs sous contraintes, clustering, détection de communautés, compression de données et composition de services web.