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.

 

 

 

1xBet is a classic sports betting site that provides an incredible cricket experience, especially once you use the promo code. If you are new to gambling, 1xBet is an excellent choice that offers consistent returns without taking a huge risk. The official and verified 1xbet promo code bangladesh use it during registration to get a welcome bonus of up to ৳12,000. Finding promo codes for online casinos and sportsbooks is pretty simple. Every online bookmaker will have a dedicated web page where you can find any relevant promos. On that page, you will see a clear section to click on to find all the current promo offers.
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

Liste des Candidat(e)s retenu(e)s pour les entretiens de Doctorat à l'INSEA (2018/2019)

Liste des Candidat(e)s retenu(e)s pour les entretiens de Doctorat à l'INSEA (2018/2019)

Chaque candidat(e) sélectionné(e) pour l'entretien doit compléter son dossier de candidature en Doctorat. Cette étape consiste à approfondir l'analyse des critères de sélection et à vérifier la validité des documents. Pour compléter le dossier de candidature, cliquer ici . 

 
N.B. : Les candidat(e)s sélectionné(e)s en "Démographie" devraient soumettre leur sujet de thèse avant le 28 novembre à minuit.

 

Rappel: 

 

Plus d'articles...

  1. Prix du jeune statisticien 2019
  2. Recrutement d’un Professeur Assistant à l’INSEA
  3. Financement de la participation au Congrès International de Statistique par l’ISI
  4. Lancement des inscriptions en Doctorat pour 2018-2019 à l'INSEA