INSEA

Institut National de Statistique et d'Economie Appliquée

FacebookTwitterLinkedinRSS Feed

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

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.
 
 
 

Programme de la Deuxième Conférence en Économétrie pour l'Environnement

2nd Conference on Econometrics for Environment (CE² 2018)

L'INSEA participe dans l'organisation de la deuxième Conférence en Econométrie pour l'Environnement. 

Télécharger le programme de la conférence CE2

Visiter le site web de l'événement.

 

 

 

Protection de la vie privée et lutte contre les violences faites aux femmes

Promulgation de la loi n°103.13 liée à la lutte contre les violences faites aux femmes et son entrée en vigueur le 13 septembre 2018 . 

La dite loi concerne également la protection de la vie privée des individus . 

Pour plus d'informations, voir en pièce jointe la lettre de la Présidence du Ministère Public.

 

 

 

Pièce(s) jointe(s):
Télécharger ce fichier (Protection_vie_privée_lutte_contre_violence_femmes.pdf)Loi de lutte contre les violences faites aux femmes[Protection de la vie privée des individus et lutte contre les violences]311 Ko

Poste de Directeur Adjoint de l'INSEA chargé de la programmation et de la recherche

Poste de Directeur Adjoint de l'INSEA chargé de la programmation et de la recherche

L'INSEA recrute un Directeur Adjoint Chargé de la Programmation et de la Recherche . Pour plus d'informations, consultez l'avis de recrutement en pièce jointe.

 

Pièce(s) jointe(s):
Télécharger ce fichier (Appel DA INSEA.doc)Appel à Candidature Poste Directeur Adjoint de l\'INSEA (2018)[Poste Directeur Adjoint Chargé de la programmation et de la recherche]247 Ko

Plus d'articles...

  1. Liste des Candidat(e)s retenu(e)s pour les entretiens de Doctorat à l'INSEA (2018/2019)
  2. Prix du jeune statisticien 2019
  3. Recrutement d’un Professeur Assistant à l’INSEA
  4. Financement de la participation au Congrès International de Statistique par l’ISI