Je précise que c'est à l'UQAM.


Le 12 novembre 2013 22:59, Baptiste Saleil <baptiste.saleil@gmail.com> a écrit :
Bonjour à tous.
C'est un peu tard, mai j'ai eu l'information que maintenant.
Je vous transmet si ça intéresse quelqu'un :

Bonjour,

Ce mercredi 13 novembre, trois séminaires LATECE seront donnés (cf.
détails ci-dessous). Le premier commencera à 10h, le suivant à 11h,
suivi de la pizza et le troisième à 12h15.

Les trois séminaires auront lieu dans la salle PK-4610.

N'oubliez pas de réserver votre part de pizza :
http://framadate.org/studs.php?sondage=umf49lqygyralars

Merci et bonne fin de journée,
Naouel

============================================
Qui? Mme Marianne Huchard, LIRMM, France

Quand? Mercredi, le 13 novembre, à 10h

Où? PK-4610

Titre: Une application pratique de l'Analyse Relationnelle de Concepts
à la factorisation de modèles de classes: Leçons apprises à partir
d'un système d'information thématique

Résumé:
Lors de la conception des modèles de classes pour les systèmes
d’information, les bases de données et la programmation, les experts
du domaine et les concepteurs collaborent pour identifier les concepts
du domaine. L’Analyse Formelle de Concepts et l’Analyse Relationnelle
de Concepts permettent de mettre en évidence des concepts de domaine
et des relations de plus haut niveau d’abstraction, tout en
factorisant des descriptions et des comportements. Le risque de ces
deux méthodes est de submerger le concepteur avec une quantité de
concepts trop importante pour être analysée. Dans cet exposé, nous
étudions de manière systématique une application pratique de RCA sur
plusieurs versions du  modèle de classes d’un système d’information
réel dans le domaine de l'environnement, de manière à donner des
chiffres précis sur le comportement de RCA et d’identifier quelles
configurations sont réalistes.

============================================
Qui? M. Amedeo Napoli, LORIA, France

Quand? Mercredi, le 13 novembre, à 11h

Où? PK-4610

Titre: Computing Dependencies and Similarity Dependencies with FCA and
Pattern Structures

Résumé:
Functional dependencies provide valuable knowledge on the relations
between the attributes of a data table. In a first time, we will show
how we can extract simimilarity dependencies thanks to the formalism
of pattern structures in the frameowrk of Formal Concept Analysis.
Then, to extend the scope of functional dependencies, generalizations
have been proposed, among which purity and approximate dependencies.
After discussing these generalizations, we provide the alternative
definition of ``similarity dependencies'' to handle a similarity
relation between data-values, hence uncrisping the basic definition of
functional dependencies. This work is rooted in Formal Concept
Analysis, and we show that similarity dependencies can be
characterized and computed with pattern structures, an interesting and
powerful variation of FCA.

============================================

Qui? M. Roland Ducournau, LIRMM, France

Quand? Mercredi, le 13 novembre, à 11h45 pour la pizza.

Où? PK-4610

Titre: Le hachage parfait comme technique universelle d'implémentation
des mécanismes objets.

Résumé: Un survol du hachage parfait pour l'implémentation des objets.

Malgré son grand âge et sa quasi hégémonie sur le développement
logiciel, la programmation par objets repose sur des mécanismes que
l'état de l'art actuel ne sait toujours pas implémenter en assurant un
parfait passage à l'échelle. En effet, dès que le langage considéré
inclut à la fois du chargement dynamique (monde ouvert) et de
l'héritage multiple (y compris les interfaces de Java), les mécanismes
de base (invocation de méthodes, test de sous-typage, voire accès aux
attributs) ne sont plus en temps constant, ou l'espace mémoire utilisé
croit de façon déraisonnable. Nous présentons dans cet exposé une
technique basée sur le hachage parfait que nous avons mise au point et
expérimentée dans différents contextes (simulation ou compilation
statique, typage statique ou dynamique). Vu les résultats
encourageants, nous démarrons une collaboration LIRMM-LATECE pour
développer une machine virtuelle pour le langage NIT basée sur le
hachage parfait.