Colloquium Labex DigiCosme
12-13 september 2012
Program



Wednesday September 12



8h45-9h15: Coffee, registration

9h15-12h30 Labex DigiCosme presentation

Chair : P. Duhamel

10h30-11h00: coffee break

11h-12h: Action lines presentations

Chair : C. Paulin

12h-12h30 : questions

12h30-14h : lunch - buffet

14h-17h: Action line SciLex

Chair : Hubert Comon-Lundh (ENS Cachan, LSV)

14h-14h45: Task 1 - Safe and reusable distributed programs

Task coordinator: C. Palamidessi

14h45-15h30: Task 2 - Continuous versus discrete systems

Task coordinators: E. Goubault

15h30-16h: coffee break

16h-16h45: Task 3 - From high-level to low-level certification

Task coordinators: C. Marché, B. Wolff



Thursday September 13



8h45-9h15: Coffee

9h15-12h: Action line ComEx

Chair: Pierre Duhamel (CNRS, L2S)

9h15-10h: Task 1-Network information theory and coding

Task coordinators: J.-C. Belfiore, M. Debbah

10h-10h45: Task 2 - Network centric design of distributed architectures

Task coordinators: C. Chaudet (Télécom ParisTech, LTCI), W. Ben Ameur (Télécom SudParis, SAMOVAR)

10h45-11h15: coffee break

11h15-12h: Task 3 - Terminal centric design of distributed networks

Task coordinator: S. Lasaulce (CNRS, L2S), K. Khawam (UVSQ, PRISM)

12h-12h45: Action line DataSense (first part)

Chair: Michèle Sebag (CNRS, LRI, INRIA Saclay - Île-de-France)

12h-12h45: Task 4 - Distributed decision making

Task coordinator: M. Schoenauer

12h45-14h : Lunch - buffet

14h-17h30: Action line DataSense (second part)

Chair: Michèle Sebag (CNRS, LRI, INRIA Saclay - Île-de-France)

14h-14h45: Task 1-Scalable, expressive and secure tools for large-scale data

Task coordinators: I. Manolescu

14h45-15h30: Task 2 - Making sense of complex, heterogeneous data

Task coordinators: P. Senellart, P. Zweigenbaum

15h30-16h: Coffee

16h-16h45: Task 3 - Machine learning

Task coordinator: F. Yvon

16h45-17h30: Task 5 - Interaction and Visualization

Task coordinator: M. Beaudouin-Lafon


This document was translated from LATEX by HEVEA.