Le Laboratoire lorrain de recherche en informatique et ses applications (Loria) organise le jeudi 9 avril un village des sciences, ouvert aux étudiants de différents masters, licences et écoles d'ingénieurs. Prévu de 14h à 17h30, cette après-midi a pour objectif de participer à l’attractivité des offres de masters et convaincre les étudiants en informatique de s’engager vers un parcours recherche. Plus d'une centaine d’étudiants issus d'une dizaine de formations différentes sont attendus. L'après-midi débutera avec une intervention d'Arnaud Samama, de Thalés, qui, après une courte présentation de Thalès évoquera les opportunités de collaborations entre recherche et industrie. Les étudiants se rendront ensuite sur le village des sciences pour rencontrer nos chercheurs et échanger sur leurs travaux de recherche. Les étudiants de Master Informatique y présenteront également leur projet d'Initiation Recherche.
Pour les personnes extérieures, l'inscription est obligatoire.
Programme des ateliers proposés
- La sécurité des environnements Android (D3-MADYNES, Eric Finickel)
- La transformation de la voix (D4-MULTISPEECH, Joseph Di Martino)
- Le traitement automatique du langage naturel (D4-Synalp)
- Les champs neuronaux pour l’attention visuelle robuste (D5-CORTEX, Benoît Chappet)
- Les drones (D3-MADYNES et ALERION, Yannick Presse)
- Les outils logiques pour le Traitement Automatique des Langues (D4-SEMAGRAMME Maxime Amblard, Philippe de Groote, Bruno Guillaume, Jiri Marsik et Alexander Maskharashvili)
- Les robots-papillons (D5-CORTEX, Dominique Martinez)
- Multi-modélisation de systèmes complexes : l’environnement multi-agent MECSYCO pour la co-simulation (D3-MADYNES et D5, Victorien Elvinger et Vincent Chevrier)
- OrphaMine (D4-ORPAILLEUR, Matthieu Osmuk)
- PoQEMoN (D4-ORPAILLEUR, Mickael Zehren)
- Présentation du laboratoire LITA, Laboratoire d’Informatique Théorique et Appliquée, Metz
- Présentation du robot Guido (D5-CORTEX, Patrick Henaff)
- Problème de filtrage et de planification: exemples appliqués aux jeux vidéo (D5-LARSEN, Vincent Thomas)
- Sécurité et cryptographie : qu'y a-t-il dans une carte bancaire ? (D1-CARAMEL, Pierre-Jean Spaenlehauer)
- Taaable : un système d’adaptation de recettes de cuisine (D4-ORPAILLEUR, Emmanuel Nauer et Emmanuelle Gaillard)
- TKDetection, le bois révélé grâce aux rayons X (D1-ADAGIO, Adrien Krähenbühl)
- Vérification dynamique formelle d'applications distribuées réelles avec SimGridMC (D2- VERIDIS, Marion Guthmuller)
- Vérification formelle de systèmes distribués : du micro kernel au cloud (D2-MOSEL- VERIDIS, Marie Duflot-Kremer et Martin Quinson)
- Le Laboratoire de Haute Sécurité (D2 et D3 CARTE et MADYNES)