Loading...
 
[Show/Hide Left Column]


DigiCosme Software Day 2018

June 7

CentraleSupelec Batiment Eiffel Rue Joliot Curie Gif S/YVette

Registration

 * 
 * 
 * 
Entreprise, établissement ...
 * 
 * 
 * 
 * 
7 Juin / June 7
 * 
oui/yes non/no
Anti-Bot verification code image
Try another code
Fields marked with an * are mandatory.

June 7th

Morning 

  • Opening: 9:30 - 10:45
    • 9:30 - 9:45 - Welcome & Opening (Amphi 3)
      • Bruno Defude, Télécom SudParis, SAMOVAR
    • 9:45 - 10:45 - Keynote talk : Roberto Di Cosmo, Le projet Software Heritage 60 - PDF presentation
      • Director at Software Heritage
  • 10:45 - 11:15 - Coffee break
  • 11:15 - 13:15 - Talks and demos (Amphi 3 - Floor 0)
    • 11:15-11:45 Talk: Towards Formal Verification of Contiki OS with Frama-C, Nikolai Kosmatov, CEA - PDF presentation
    • 11:45-12:15 Talk: BINSEC: Binary-level semantic analysis to the rescue!, Sébastien Bardin, CEA - PDF presentation
    • 12:15-12:45 Talk: Scikit-learn - Open source Python machine learning community, Joris Van den Bossche, INRIA Parietal
    • 12:45-13:15 Talk and demo: GeTAwAY : a graph-theoretic based program for automatic analyses of molecular conformations generated along time in molecular dynamics simulations, Sana Bougueroua, UVSQ, DAVID - PDF abstract

Lunch break and demonstrations 

  • 13:15 - 14:30 - Demos (1/2) (room vi118 - Floor 1)
    • Demo: La virtualisation cloud des objets connectés personnels, Mihai Mitrea, Télécom SudParis, SAMOVAR
    • Demo: ConQur-Bio: Classements consensuels pour les données biologiques massives, Pierre Andrieu, Sarah Cohen Boulakia, U. Paris-Sud, LRI - http://conqur-bio.lri.fr/
    • Demo: Autocomplétion de requêtes SPARQL par snippet, Karima Rafes, Sarah Cohen Boulakia, U. Paris-Sud, LRI - https://io.datascience-paris-saclay.fr
    • Demo: Infinite-task learning demonstration: application to anomaly detection, cost-sensitive diagnosis and quantile regression, Romain Brault, Centrale-Supélec, L2S
    • Demo: PVdial: Natural language dialogue system in a virtual patient to train medical students, Leonardo Campillos-Llanos, Sophie Rosset, Pierre Zweigenbaum, CNRS, LIMSI - https://pvdial.limsi.fr
    • Demo: Diabla: Machine translation system for on-line dialogue with someone who speaks another language, Rachel Bowden, Thomas Lavergne, Sophie Rosset, CNRS, U. Paris-Sud, LIMSI - http://diabla2.limsi.fr:8080/#english
    • Demo: Environment demonstration SPARK2014 - vérification de codes Ada critiques, Claude Marché, INRIA, LRI - http://www.spark-2014.org/
    • Demo: EZTrace: plateforme d'analyse de performances pour applications parallèles, François Trahay, Télécom SudParis, Samovar - http://eztrace.gforge.inria.fr/

Afternoon 

    • 14:30 - 15:15 - Digicosme Innovation governance - Everything researchers should know about innovation, from the point of view of a researcher - - PDF presentation
      • Jean-Claude Dufourd, Télécom ParisTech, Innovation Manager - (Amphi 3)
    • 15:15-15:45 Talk and demo: Grakel: Python package extension for graph similarity, Giannis Siglidis, École Polytechnique, LIX / DaSciM - http://www.lix.polytechnique.fr/dascim/software_datasets/
  • 15:45 - 16:30 - Coffee break and demos (2/2) (room vi118 - Floor 1)
    • 15:45 - 16:30 - Demos: See list of demonstrations above
  • 16:30 - 17:00 - Talks (Amphi 3 - Floor 0)
    • 16:30-17:00 Talk and demo: A Sketch-Based Naive Bayes Algorithms for Evolving Data Streams, Maroua Bahri, Télécom ParisTech, LTCI - PDF abstract
End - 17h00