Chargement Évènements
Trouver les Évènements

Navigation par l’affichage des évènements

Évènements passés

Navigation de la liste des Évènements

février 2018

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 »

Journée des doctorants du D5

février 21

La journée des doctorants du D5 aura lieu mercredi 21 février au LORIA. Elle concerne tous les doctorant(e)s, tous les permanents, tous les ingénieur(e)s et assistant(e)s ainsi que les stagiaires du département 5 "systèmes complexes, intelligence artificielle et robotique" . Programme : - 9h15-10h45 : A008 Présentation du département et des équipes par Patrick HENAF. Puis chaque thésard (même les nouveaux) se présentera en 2-3 minutes, avec 1 (ou 2) diapo. - 10h45 - 11h15 : Pause Ensuite nous aurons…

Voir les détails »

Séminaire bioinformatique structurale

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

The CAPSID team organizes a seminar. The researcher Wim Vranken from the Université Libre de Bruxelles (VUB) and Graham Kemp from Gothenburg will give a talk on Friday 23rd February at LORIA in room A006. 10:30    Wim Vranken (Vrije Universiteit Brussel) Capturing the ambiguous behaviour of proteins from sequence-based predictions. Protein conformations are not fixed in time, and conformational transitions are often essential for protein functionality. In addition, many of the as yet uncharacterised proteins in the ‘dark proteome’ likely exhibit conformational…

Voir les détails »

Ph.D. Defense : Zia Alborzi

février 23 @ 14:00 - 16:30

Zia ALBORZI invites you to the defense of his Phd Thesis, this Friday 23th of February at 14h00 in the room A008 at LORIA. Title : "Automatic Discovery of Hidden Associations Using Vector Similarity: Application to Biological Annotation Prediction". Abstract: One of the most interesting and powerful ways of inferring principles out of large datasets is usage of data mining. This thesis addresses the problem of discovering hidden associations in complex datasets using vector similarity and the method proposed has…

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