• MLA 2019

    The Third Workshop on Mathematical Logic and its Applications will take place at Loria between March 11th and March 14th. More information : mla2019.loria.fr Workshop Description The workshop brings together researchers of mathematical logic and its related areas, and would provide a forum for interplay between these areas. This workshop, organised by Loria, will be held […]

  • PhD Defense – Iordan Iordanov (team Gamble)

    Iordan Iordanov, PhD student in Gamble team will defense his thesis entitled "Delaunay triangulations of a family of symmetric hyperbolic surfaces in practice". The defense is planned for Tuesday, 12 March 2019 in room C005 at 14h00. Abstract : The Bolza surface is the most symmetric compact orientable hyperbolic surface of genus 2. For any […]

  • PhD defense : Meihui Gao

    Meihui Gar will defekt her thesis on Tuesday, 19 March at 10h00 in room A008. Her presentation is entitled "Models and Methods for Network Function Virtualization (NFV) Architectures". Jury: Pr.  Bernard FORTZ                        (Université Libre de Bruxelles)                                Rapporteur / Reviewer Pr.  Luigi DE GIOVANNI                 (Università degli Studi di Padova)                          Rapporteur / Reviewer Pr.  Stefano SECCI […]

  • Séminaire : Joël Legrand

    Joël Legrand, MCF à Lille de l'équipe Inria Magnet, viendra nous présenter ses travaux le mardi 19 mars à 14h en salle A007 à CentraleSupélec (2 rue Edouard Belin, Metz). Sa présentation est intitulée "Syntax-based Word Sequence Modeling using Deep Learning". Abstract: Traditionally, natural language processing (NLP) relied on generative models with task specific and manually […]

  • Seminar : Adrien Boiret

    Adrien Boiret will give a presentation on Tuesday, 19th March at 2pm in room A008. His talk is entitled "Extend the RPNI algorithm for Symbolic Learning to Transducers with Lookahead". Abstract: We consider the problem of passive symbolic learning of tree and word transducers. Symbolic learning means learning an exact target (automaton, transducer...) using exact […]