23 May 2008 15:15 - 16:15 Symposium Computer security Martin Abadi Computing and Bioinformatics 23 May 2008 15:15 - 16:15 Share Facebook Linkedin Copy url Audio-visual RSS
Friday 23 May 2008 Amphithéâtre Marguerite de Navarre, Site Marcelin Berthelot Open to all 15:15 - 16:15 Skip youtube video player Speaker(s) Martin Abadi Computer scientist, Researcher at the University of California at Santa Cruz (UCSC), Visiting Professor, Collège de France Events Previous Symposium 23 May 2008 09:30 - 09:45 Gérard Berry Opening Symposium 23 May 2008 09:45 - 10:30 Philippe Kourilsky The immune system, a vast information system Symposium 23 May 2008 10:45 - 11:30 François Fages Abstract machines, formal verification and cellular biochemistry Symposium 23 May 2008 11:30 - 12:15 Alexandre Pouget The computational approach to neuroscience Symposium 23 May 2008 14:00 - 15:00 Alberto Sangiovanni-Vincentelli Embedded Everywhere, the Physical Web Symposium 23 May 2008 15:15 - 16:15 Martin Abadi Computer security Next See also Gérard Berry, chair Technological Innovation Liliane Bettencourt Computing and Bioinformatics
Martin Abadi Computer scientist, Researcher at the University of California at Santa Cruz (UCSC), Visiting Professor, Collège de France
Symposium 23 May 2008 10:45 - 11:30 François Fages Abstract machines, formal verification and cellular biochemistry
Symposium 23 May 2008 14:00 - 15:00 Alberto Sangiovanni-Vincentelli Embedded Everywhere, the Physical Web
