Le Séminaire des Doctorants

Ce séminaire permet aux doctorants de présenter leurs travaux de recherche devant les autres thésards du département informatique du LIRMM. Ce moment convivial est aussi un moyen de se tenir au courant des problématiques abordées dans les différentes équipes du département, qui représentent divers domaines de l'informatique.

Ce séminaire a lieu en moyenne une semaine sur deux le mercredi de 11h précises (ouverture de la salle et café à 10h45) à midi en salle 2.57 (sauf mention du contraire). Un courriel sera envoyé au moins 24h à l'avance à l'alias [di-thes] afin de prévenir tous les doctorants en informatique de l'orateur et du sujet présenté.

Les orateurs sont principalement des doctorants en informatique du LIRMM, occasionnellement des doctorants invités d'autres laboratoires. Les exposés concernent les travaux de l'orateur ou bien peuvent être des états de l'art sur un sujet donné.

Aucun prérequis n'est nécessaire pour assister à ces exposés, les notions abordées sont définies en début de présentation.

Exposés à venir

25/01/2012 - Fabien Givors: Sous-calculabilités
La calculabilité est un univers très riche, on y trouve plein d'objets plus ou moins simples aux propriétés plus ou moins claires, et surtout, plus ou moins faciles à prouver. Les sous-calculabilités tentent de regrouper des sous-classes de fonctions récursives suivant la difficulté qu'il y a à les définir proprement, et donc à prouver des propriétés sur celles-ci. Cela, tout en conservant pour partie les jolies propriétés algébriques présentent en calculabilité classique et une structure proche de cette dernière.
08/02/2012 - Benoit Lange: À venir
22/02/2012 - Nicolas Carlési: À confirmer

Exposés passés

11/01/2012 - Bruno Paiva Lima Da Silva: Where is Brian? (Ontological Conjunctive Query Answering over large, semi-structured knowledge bases)
Le problème consistant à répondre à des requêtes conjonctives en présence d'une ontologie connaît aujourd'hui un regain d'intérêt autour des systèmes de connaissances avec des mécanismes d'inférence. C'est particulièrement visible dans le domaine du Web Sémantique, où ce problème est aussi connu en tant que Ontology-Based Data Access. Étant données une base de connaissances factuelles (très souvent une base de données relationnelle) et des connaissances universelles sur les individus (ontologies) données, le problème consiste à vérifier si il existe une réponse à une requête conjonctive dans la base de connaissances. Ce problème a été très largement étudié par le passé, mais l'émergence de grandes bases de connaissances semi-structurées et le regain d'intérêt général autour des bases de données non-relationnelles ont sensiblement changé la nature du problème. Dans un premier temps, nous décrirons le problème ainsi que la façon dont nous avons choisi de le traiter. Nous évoquerons aussi comment la taille de la base de connaissances interfère dans notre approche. Ensuite, nous introduirons ALASKA, une plateforme multi-couches pour la réalisation d'opérations de représentation de connaissances et de raisonnement sur des donnés stockées de façon hétérogène. Puis pour conclure, nous présenterons les résultats préliminaires obtenus par la comparaison de l'efficacité de plusieurs systèmes de stockage existants lors du stockage de bases de connaissances de différentes tailles en disque, ainsi que l'impact de ces résultats sur la suite de nos travaux.
14/12/2011 - Romain Richard: Validation formelle paramétrée
... ou comment apprendre à jongler avec le phénomène d'explosion combinatoire ? La validation formelle se veut être une méthode complémentaire aux célèbres "test" et "simulation", aujourd'hui largement employés pour valider un cahier des charges précis. En effet, durant la phase de conception d'un système, il arrive que l'ensemble des variables ne soit pas connu. C'est pourquoi on insère dans un modèle de ce système un ou plusieurs paramètres permettant entre autre de dimensionner une architecture. De plus, dans les systèmes critiques que nous étudions, nous devons garantir la sûreté du système. C'est pourquoi nous employons des méthodes de validation formelle exhaustives, qui entraîne un phénomène d'explosion combinatoire. Les modèles étudiés sont exprimés à l'aide des réseaux de Petri et nous verrons comment endiguer l'explosion combinatoire.
1/12/2011 - Johan Segura: Contribution de l'analyse syntaxique à la traduction automatique
Ma thèse intitulée "Contribution de l'analyse syntaxique à la traduction automatique" s'inscrit dans le domaine du TALN (Traitement Automatique des Langues Naturelles), au sein de l'équipe TAL (Traitement Algorithmique du Langage) sous la direction de Violaine Prince au LIRMM (Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier). Mes travaux s'axent essentiellement sur l'alignement de constituants sous-phrastiques bilingues en situation de corpus multilingues parallèles. Un corpus multilingue parallèle est un ensemble de textes traduit en plusieurs langues phrase à phrase. L'alignement automatique sous-phrastique est une discipline fille de la traduction automatique qui vise à proposer automatiquement des liens de traductions entre constituants d'une granularité plus fine que celle de la phrase située entre le mot et le syntagme. L'utilité de l'alignement sous-phrastique n'est plus à prouver et trouve ses motivations dans l'enrichissement de ressources pour la traduction automatique.
16/11/2011 - Adrien Baranes: Contraintes développementales et apprentissage actif pour l'apprentissage sensorimoteur
Est-il possible de créer un robot capable d'apprendre comme un enfant? D'apprendre de nouveaux savoir-faire et connaissances dans des environnements changeant et inconnus? Cette présentation s'intéresse aux défis de l'apprentissage apparaissant lorsque les robots sont mis en oeuvre dans des environnement réels. Pour cela, nous nous intéresserons particulièrement aux contraintes développementales présentes chez l'enfant, et qui lui permettent d'apprendre progressivement dans des espaces sensorimoteurs redondants de grande dimensionalité et volume, où différents niveaux de complexité peuvent exister. Nous présenterons différentes familles de telles contraintes, introduites dans les littératures de psychologie et biologie, que sont les motivations intrinsèques, le calcul morphologiques et les contraintes maturationnelles, et présentons des cadres computationnels et architectures algorithmiques reposant sur de tels principes.
Année 2010/2011
Année 2009/2010
Année 2008/2009
Année 2005/2006
Année 2004/2005
Année 2003/2004

Modalités

Pour faire une présentation à ce séminaire :

envoie aux organisateurs, au moins 72h à l'avance, un titre, un résumé, ainsi qu'une estimation de la durée de l'exposé.
l'exposé concernera ton thème de recherche, mais devra être compréhensible par tous les auditeurs. En particulier, un petit état de l'art sur le domaine sera apprécié, des liens avec les autres domaines de l'informatique étudié dans les diverses équipes du département également.
prépare un transparent pour te présenter et te situer dans le laboratoire (équipe, thèmes de recherche, encadrant de thèse, enseignements...).
l'exposé devra durer entre 25 et 45 minutes et sera suivi de questions de l'auditoire.

Pour proposer l'invitation à ce séminaire d'un doctorant extérieur au LIRMM :

envoie dès que possible aux organisateurs le nom de ce doctorant ainsi que son thème de recherche.
précise quelle équipe du LIRMM serait principalement intéressée par son exposé, et quelles autres équipes travaillent sur des thèmes reliés ou proches.
le choix des invités parmi cette liste de propositions sera faite de manière à représenter de façon équilibrée les thèmes des équipes du LIRMM.

Contactez-nous pour compléter ou corriger cette liste de conférences destinées aux jeunes chercheurs, en précisant les équipes potentiellement concernées.

Contact

Pour toute suggestion, remarque, demande, les organisateurs peuvent être contactés à semindoc-AT-lirmm.fr.

Aux manettes cette année :