Partenaires

CNRS
Université d'Artois IUT de Lens



retour à l'accueil

Accueil du site > Séminaires > Les anciens séminaires

Les anciens séminaires

Séminaires de 2012-2013

Séminaires de 2011-2012

Séminaires de 2010-2011

Séminaires plus anciens :

G. Pulvermuller (DR-18, CNRS) - Valorisation

Jeudi 27 mai 2010 - 14h00 - salle SP, IUT de Lens

Lire la suite

G. Pigozzi (University of Luxembroug) - Consensus in Abstract Argumentation

Jeudi 18 mars 2010 - 14h00 - amphitéâtre SP, IUT de Lens

Lire la suite

A. Herzig (IRIT, CNRS) - The dynamic logic of propositional control

Vendredi 5 mars 2010 - 14h00 - salle des thèses, UFR de Sciences

Lire la suite

R. Pino Pérez (Universidad de Los Andes, Venezuela) - Fusion logique des états épistémiques

Vendredi 26 février 2010 - 14h00 - salle des thèses, UFR de Sciences

Lire la suite

F. Manyà (IIIA, CSIC, Espagne) - MAX-SAT

Jeudi 28 janvier 2010 - 14h00 - salle de thèses, Faculté des Sciences Jean Perrin

Lire la suite

H. Prade (IRIT, CNRS) - Donner une forme logique à l’analogie

Jeudi 3 décembre 2009 - 14h00 - salle des thèses, Faculté des Sciences Jean Perrin

Lire la suite

Julien Vion - Consistances fortes, prouveurs évènementiels et réseaux non-binaires

Jeudi 26 Mars - 14h00 - (IUT de Lens - Département Informatique - Salle SP)

Lire la suite

Nicolas Schwind - Fusion de réseaux de contraintes qualitatives par morceaux

Jeudi 12 Mars - 14h00 - (IUT de Lens - Département Informatique - Salle SP)

Lire la suite

Guillaume Aucher (Université du Luxembourg) - Une perspective interne sur le changement de croyances

Jeudi 5 Février - 14h00 - (IUT de Lens - Département Informatique - Salle SP)

Lire la suite

Salem Benferhat - Interventions et dynamique des croyances dans les réseaux causaux

Jeudi 27 Novembre - 14h00 - Amphi SRC (IUT - Département SRC)

Lire la suite

Henri Prade - Pensons bipolaire !

Jeudi 20 Novembre - 14h00 - Salle des thèses

Lire la suite

Sylvie Coste - Oublier l’incohérence pour restaurer la cohérence

Jeudi 13 Novembre - 14h00 - Salle SP (IUT - Département Informatique)

Lire la suite

Sébastien Konieczny - Opérateurs d’Amélioration

Jeudi 06 Novembre - 14h00 - Salle des thèses

Lire la suite

Anbulagan Alagapan (NICTA, Camberra - Australie) - Diagnostic de SED par SAT

Jeudi 26 Juin - 14h00 - Salle SP (IUT - Département Informatique)

Lire la suite

Meltem Ozturk - Comment classer les candidats d’une election sur un axe gauche-droite ?

Jeudi 19 Juin - 14h00 - Salle SP (IUT - Département Informatique)

Lire la suite

Ramon Pino Pérez (Mérida - Venezuela) - Opérateurs de Confluence

Jeudi 12 Juin - 14h00 - Salle SP (IUT - Département Informatique)

Lire la suite

Didier Dubois (IRIT) - Incertitude en représentation des connaissances et raisonnement.

Jeudi 28 Fevrier - 14h00-16h00 - Salle des thèses
Vendredi 29 Fevrier - 14h00-16h00 - Salle des thèses

Lire la suite

Ulrich Junker (ILOG) - Explications et Préférences pour l’Analyse des Règles de Metier

Vendredi 23 Novembre - 14h00 - Salle SP (IUT - Département Informatique)

Lire la suite

Les séminaires de janvier à mai 2007

Date : Jeudi 12 Avril 2007 à 14 h 00 (IUT de Lens - Département Informatique - Salle SP) Titre : Extraction de concepts à l’aide de techniques d’apprentissage non supervisé Intervenant : Julien Velcin (LIP6 - Paris 6) Le "regroupement conceptuel" (conceptual clustering) est une branche de l’apprentissage non supervisé qui permet d’extraire des concepts à l’aide de techniques de classification automatique. Il s’avère particulièrement utile lorsque la quantité d’information devient très conséquente et (...)

Lire la suite

Les séminaires de 2006

Date : Jeudi 30 Novembre 2006 à 14 h 00 (IUT de Lens - Département Informatique - Salle SP) Titre : Un modèle calculatoire pour l’argumentation déductive Intervenant : Philippe Besnard (IRIT - Toulouse) La première partie de cet exposé discute les aspects essentiels de l’argumentation, à savoir, les caractéristiques d’un argument, les informations utilisées, l’auditoire,... Est ensuite présentée une formalisation de la notion d’argument déductif. Dans le reste de l’exposé, cette formalisation, qui (...)

Lire la suite

Les séminaires de 2005

Date : Jeudi 08 Décembre 2005 à 14 h 00 (IUT de Lens - Département Informatique - Salle SP) Titre : Extraction des bases génériques de règles d’association Intervenant : Ghada Gasmi L’extraction des connaissances à partir des données (ECD) désigne le processus de découverte des informations implicites précédemment inconnues et potentiellement utiles à partir des bases de données volumineuses. L’extraction de règles d’association est l’un des principaux problèmes de l’ECD. Elle a été formalisée à la (...)

Lire la suite

Les séminaires de 2004

Date : Jeudi 02 Décembre 2004 à 14 h 00 (IUT de Lens - Amphi SRC) Titre : Une autre conversion de SAT vers CSP Intervenant : Olivier Roussel Dans cet exposé, nous présenterons la transformation d’une formule SAT en une autre formule SAT qui, à son tour, pourra être transformée directement en un problème CSP. Cette transformation introduit une nouvelle forme normale pour le problème SAT baptisée Pigeon Hole Normal Form (PHNF). Elle est également basée sur une méthode d’énumération de modèles locaux (...)

Lire la suite

Les séminaires de 2003

Date : Jeudi 03 Avril 2003 à 15 h 00 (IUT de Lens - Salle SP) Titre : Métaheuristiques et Dualité en Optimisation Combinatoire : Théorie et Applications Intervenant : Saïd Hanafi - LAMIH, Université de Valenciennes Cet exposé est une synthèse de mes travaux de recherche menés depuis une dizaine d’années dans les thématiques suivantes : les métaheuristiques, l’optimisation combinatoire et plus particulièrement la dualité, et enfin la modélisation et la résolution de problèmes réels NP-Complets. La (...)

Lire la suite

Les séminaires de 2002

Date : Jeudi 16 Mai 2002 à 14 h 00 (IUT de Lens - Département d’Informatique, salle 5E) Titre : Exponential Cyclic Evolution of an Automaton with Memory when All the Weighting Coefficients are Strictly Positive Intervenant : Gilbert Tindo Pas de résumé disponible pour ce séminaire Date : Jeudi 21 Février 2002 à 14 h 00 (IUT de Lens - Département d’Informatique, salle 5E) Titre : Travaux sur la satisfiabilité Intervenant : Gilles Dequen La procédure DPLL reste, à ce jour, l’approche de (...)

Lire la suite

Les séminaires de 2001

Date : Jeudi 20 Décembre 2001 à 14 h 00 (IUT de Lens - Département d’Informatique, salle 5E) Titre : Une approche formelle de conception de systèmes temps-réel. Intervenant : François Siewe Les systèmes temps-réels sont des systèmes dont le comportement doit obéir à des contraintes temporelles très strictes. Ce sont généralement des systèmes embarqués pour effectuer des contrôles automatiques dans des domaines sensibles tels les centrales nucléaires, le pilotage automatique des avions, les passages à (...)

Lire la suite