Date |
Author |
Title |
Place |
10 Nov 2011 14:00 |
Tiago de Lima (CRIL, University Lille Nord de France) |
Logiques Modales et Applications en IA (in French) |
Amphi SRC, IUT de Lens |
24 Nov 2011 14:30 |
Amedeo Napoli (INRIA Nancy) |
Analyse formelle de concepts : thèmes et variations pour l'extraction et la représentation des connaissances |
Amphi SRC, IUT de Lens |
19 Jan 2011 14:00 |
Lakhdar Saïs (CRIL, University Lille Nord de France) |
Fouille de données par la Programmation par contraintes et la Satisfiabilité Propositionnelle |
Amphi SRC, IUT de Lens |
9 Feb 2012 14:00 |
Kim Bauters (Ghent University) |
How to Characterize the ASP Semantics and Possibilistic ASP using Possibility Theory |
Amphi SRC, IUT de Lens |
23 Feb 2012 14:30 |
Jean-Philippe Metivier (Université de Caen Basse-Normadie) |
Un langage de contraintes pour la recherche de motifs |
Amphi SRC, IUT de Lens |
24 Feb 2012 14:30 |
Nicolas Bourgeois (ESSEC) |
Penser en-deça et au-dela du polynomial : algorithmes très rapides pour la génétique et approximation modérément exponentielle |
salle des thèses, Faculté Jean Perrin |
8 Mar 2012 14:00 |
Emmanuel Filiot (Université Libre de Bruxelles) |
Exploiting Structure in LTL Synthesis |
Amphi SRC, IUT de Lens |
22 Mar 2012 14:00 |
Yackoub Salhi (CRIL, University Lille Nord de France) |
Modélisation en fouille de données et logiques modales |
Amphi SRC, IUT de Lens |
<
29 Mar 2012 14:00 |
Daniel Le Berre and Olivier Roussel (Université d'Artois)>
| Résultats des compétitions SAT et PB de 2011 |
Amphi SRC, IUT de Lens |
5 Apr 2012 14:00 |
Veronique Delcroix (Univeristé de Valenciennes et du Hainaut-Cambrésis) |
Modèle graphique probabiliste pour l'Aide à la décision multicritère Cas des problèmes récurrents avec un décideur "naïf" |
Amphi SRC, IUT de Lens |
12 Apr 2012 14:00 |
Gauvain Bourgne (Université d'Artois) |
Découverte de conséquences par partitionnement (Partition-based Consequence Finding)
|
Amphi SRC, IUT de Lens |
31 May 2012 14:00 |
Denis Robilliard (Université du Littoral Côte d'Opale) |
Recherche Tabou multi-niveaux pour les nombres faibles de Schur |
Amphi SRC, IUT de Lens |
7 Jun 2012 14:00 |
Pascal Fontaine (Université Nancy 2) |
Exploiting symmetry in SMT problems |
Amphi SRC, IUT de Lens |
14 Jun 2012 14:00 |
Mohamed Maiza (Université d'Artois) |
Lower and upper bounds for the Variable Sized Bin-Packing Problem with Conflicts (VSBPPC) |
salle de thèses, Faculté Jean Perrin |