Formal Verification of a C Compiler Front-end Sandrine Blazy, Zaynah Dargaye, and Xavier Leroy INRIA Rocquencourt[removed]Le Chesnay, France {Sandrine.Blazy, Zaynah.Dargaye, Xavier.Leroy}@inria.fr

Source URL: gallium.inria.fr

• Procedural programming languages
• Data types
• C++
• Logic in computer science
• Programming language semantics
• Pointer
• C
• ALGOL 68
• Monad
• Software engineering
• Computing
• Programming language theory

Separation Logic for Small-step Cminor Andrew W. Appel1,? and Sandrine Blazy2,? 1 Princeton University 2

Source URL: www.ensiie.fr

• Deduction
• Logic in computer science
• Entailment
• Logical consequence
• Model theory
• Symbol
• Separation logic
• Hoare logic
• Logic
• Metalogic
• Program logic

WCRP Grand Challenge on Clouds, Circulation and Climate Sensitivity http://www.wcrp-climate.org/index.php/gc-clouds Sandrine Bony & Bjorn Stevens, Schloss Ringberg, March 2014

Source URL: www.mpimet.mpg.de

• Climate forcing
• Global warming
• Computational science
• Global climate model
• Climate model
• Climate sensitivity
• Intergovernmental Panel on Climate Change
• Cryosphere
• Cloud feedback
• Climatology
• Atmospheric sciences
• Earth

Do climate models over-estimate cloud feedbacks? Sandrine Bony CNRS, LMD/IPSL, Paris with contributions from

Source URL: www.mpimet.mpg.de

• Climate forcing
• Cloud feedback
• Climate sensitivity
• Cloud
• Climate model
• Climatology
• Atmospheric sciences
• Environmental science

Changing patterns: session 2 Ted Shepherd, Adam Sobel, Brian Mapes, Brian Hoskins, Isaac Held, Qiang Fu, Jean-Louis Dufresne, Masa Kageyama, Sandrine Bony

Source URL: www.mpimet.mpg.de

• Weather prediction
• Numerical weather prediction
• Weather
• Precipitation
• Wind
• Extratropical cyclone
• Meteorology
• Atmospheric sciences
• Computational science

C URRICULUM V ITAE Sandrine Bony CNRS, LMD/IPSL, Université Pierre et Marie Curie 4 Place Jussieu, mailbox 99, 75252 Paris cedex 05, France Email: [removed] ; Phone: +[removed]

Source URL: www.theclimatesymposium2014.com

• Global warming
• World Climate Research Programme
• Climate model
• Climate sensitivity
• Climate change feedback
• Intergovernmental Panel on Climate Change
• Climate
• Global climate model
• Climatology
• Atmospheric sciences
• Climate change

CLOUDS ON-OFF KLIMATE INTERCOMPARISON EXPERIMENT (COOKIE) BJORN STEVENS, SANDRINE BONY, MARK WEBB 1. Synopsis Cloud-radiative effects are expected to control many aspects of the current and future

Source URL: www.euclipse.eu

• Climate forcing
• Climate sensitivity
• Cloud feedback
• Radiative forcing
• Entrainment
• Cloud
• Rain
• Global climate model
• Atmospheric sciences
• Climatology
• Meteorology

Jean-Louis Livi présente Réalisation Alain RESNAIS Avec Sabine AZÉMA, Hippolyte GIRARDOT, Caroline SILHOL Michel VUILLERMOZ, Sandrine KIBERLAIN et André DUSSOLLIER

Source URL: medias.unifrance.org

“Phosphorylation des Protéines & Pathologies Humaines” P3H (USR[removed]Sandrine RUCHAUD, CNRS, CR1 Secrétaire: Sophie LABROUSSE, CNRS, TCS (6) Unité mono-équipe Service

Source URL: www.sb-roscoff.fr

On the interplay between clouds, circulation and climate Sandrine Bony LMD/IPSL, CNRS, Paris with contributions from David Coppin, Solange Fermepin (LMD/IPSL), Aiko Voigt (Columbia Univ)

Source URL: www.mpimet.mpg.de

• Climate forcing
• Computational science
• Global climate model
• Global warming
• Climate sensitivity
• Aqua
• Cloud
• Climatology
• Atmospheric sciences
• Climate change