23 May 2008 3:15 - 4:15pm Symposium Computer security Martin Abadi Computing and Bioinformatics 23 May 2008 3:15 - 4:15pm Share Facebook LinkedIn Bluesky Threads 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 9:30 - 9:45am Gérard Berry Opening Symposium 23 May 2008 9:45 - 10:30am Philippe Kourilsky The immune system, a vast information system Symposium 23 May 2008 10:45 - 11:30am François Fages Abstract machines, formal verification and cellular biochemistry Symposium 23 May 2008 11:30am - 12:15pm Alexandre Pouget The computational approach to neuroscience Symposium 23 May 2008 2:00 - 3:00pm Alberto Sangiovanni-Vincentelli Embedded Everywhere, the Physical Web Symposium 23 May 2008 3:15 - 4:15pm 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:30am François Fages Abstract machines, formal verification and cellular biochemistry
Symposium 23 May 2008 2:00 - 3:00pm Alberto Sangiovanni-Vincentelli Embedded Everywhere, the Physical Web
