Chargement Évènements
Trouver les Évènements

Navigation par l’affichage des évènements

Évènements passés › Séminaires

Navigation de la liste des Évènements

février 2018

MALOTEC seminar : Joël Legrand

février 14 @ 11:00 - 12:00

MALOTEC seminar by Joël Legrand Date: Wednesday, 14 of February 2018 Time: 11h00 Room: B013 Title: TreeLSTM and cross-corpus training for extracting pharmacogenomic relationships from text Abstract: A key aspect of machine learning algorithms for relationship extraction in textual data is the availability of sufficiently large training data. Manually annotated corpora are valuable resources for this task, but the time and expertise required for their development explains why only few annotated corpora are freely available. For tasks related to precision…

Voir les détails »

Séminaire D3 : Emmanuel Hermelin

février 15 @ 10:30 - 12:00

Emmanuel Hermelin, candidate for the position of MCF Polytech (ex-ESSTIN), will speak during the D3 seminar Thursday, February 15 at 10:30 in room C103. He did a PhD at LIRMM and is currently a research engineer at LIG. Title: Modeling and implementation of multi-agent simulations on massively parallel architectures. Abstract: Multi-agent simulation is a relevant solution for the engineering and study of complex systems in many fields (artificial life, biology, economics, etc.). However, it sometimes requires a lot of computing…

Voir les détails »

SSL seminar : Peter Schwabe

février 19 @ 13:30 - 14:30

SSL seminar by Peter Schwabe (Radboud University, Nijmegen) Date: Monday, 19 of February 2018 Time: 13h30 Room: A008 Title: The transition to post-quantum cryptography Abstract : In 1994, Shor presented an algorithm that is able to efficiently break all cryptographic key-agreement protocols, public-key encryption, and digital signatures that are in wide use today. The catch with this algorithm is that it requires a large universal quantum computer to run and up until today, no such computer exists. However, massive amounts…

Voir les détails »

Colloquium : Pierre Senellart

février 20 @ 13:30 - 14:30

Le mardi 20 février à 13h30 aura lieu le colloquium du Loria avec Pierre Senellart, professeur à l’ENS Son exposé s’intitule “Provenance et probabilités dans les bases de données relationnelles”. Résumé : Nous passons en revue les bases de la notion de provenance des données dans les bases de données relationnelles. Nous décrivons différents formalismes de provenance, de la provenance booléenne à la provenance par semi-anneaux et au-delà, qui peuvent être utilisés pour une large variété de buts, afin d'obtenir…

Voir les détails »

Séminaire Méthodes Formelles

février 20 @ 15:00 - 16:00

FM seminar by Arthur Charguéraud (Inria & ICube, Université de Strasbourg) Date: Tuesday, February 20th Time: 15h00 Room: A008 Title: Verification of Imperative Programs using CFML Abstract : CFML is an interactive tool that supports modular verification of higher-order, imperative programs. It is entirely implemented inside the Coq proof assistant. CFML leverages two key ingredients. First, it relies on an embedding in Separation Logic to describe the mutable state. Second, it relies on the construction of Characteristic Formulae for smoothly…

Voir les détails »
+ Exporter les évènements

En ce moment

Colloquium Loria 2018

Exposés précédents

Logo du CNRS
Logo Inria
Logo Université de Lorraine