2013-report.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2013-report.cite -ob 2013-report.bib -c 'year = 2013 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}
@manual{why3manual081,
title = {The Why3 platform, version 0.81},
author = {Fran\c{c}ois Bobot and Jean-Christophe Filli\^atre and
Claude March\'e and Guillaume Melquiond and Andrei Paskevich},
organization = {LRI, CNRS \& Univ. Paris-Sud \& INRIA Saclay},
edition = {version 0.81},
month = mar,
year = 2013,
topics = {team},
keywords = {Why3},
x-type = {diffusion},
x-support = {manuel},
x-equipes = {demons TOCCATA},
pdf = {http://why3.org/download/manual-0.81.pdf},
note = {\url{http://why3.org/download/manual-0.81.pdf}},
hal = {http://hal.inria.fr/hal-00822856/}
}
@manual{why3manual082,
title = {The Why3 platform, version 0.82},
author = {Fran\c{c}ois Bobot and Jean-Christophe Filli\^atre and
Claude March\'e and Guillaume Melquiond and Andrei Paskevich},
organization = {LRI, CNRS \& Univ. Paris-Sud \& INRIA Saclay},
edition = {version 0.82},
month = dec,
year = 2013,
topics = {team},
x-type = {diffusion},
x-support = {manuel},
x-equipes = {demons TOCCATA},
pdf = {http://why3.org/download/manual-0.82.pdf},
note = {\url{http://why3.org/download/manual-0.82.pdf}}
}
@techreport{rousseau13,
hal = {http://hal.inria.fr/hal-00804915},
topics = {team},
hal_id = {hal-00804915},
url = {http://hal.inria.fr/hal-00804915},
title = {M{\'e}diation Scientifique : une facette de nos m{\'e}tiers de la recherche},
author = {Rousseau, Antoine and Darnaud, Aur{\'e}lie and Goglin, Brice and Acharian, C{\'e}line and Leininger, Christine and Godin, Christophe and Holik, Clarisse and Kirchner, Claude and Rives, Diane and Darquie, Elodie and Kerrien, Erwan and Neyret, Fabrice and Masseglia, Florent and Dufour, Florian and Berry, G{\'e}rard and Dowek, Gilles and Robak, H{\'e}l{\`e}ne and Xypas, H{\'e}l{\`e}ne and Illina, Irina and Gnaedig, Isabelle and Jongwane, Joanna and Ehrel, Jocelyne and Viennot, Laurent and Guion, Laure and Calderan, Lisette and Kovacic, Lola and Collin, Marie and Enard, Marie-Agn{\`e}s and Comte, Marie-H{\'e}l{\`e}ne and Quinson, Martin and Olivi, Martine and Giraud, Mathieu and Dor{\'e}mus, Mathilde and Ogouchi, Mia and Droin, Muriel and Lacaux, Nathalie and Rougier, Nicolas and Roussel, Nicolas and Guitton, Pascal and Peterlongo, Pierre and Cornus, Rose-Marie and Vandermeersch, Simon and Maheo, Sophie and Lefebvre, Sylvain and Boldo, Sylvie and Vi{\'e}ville, Thierry and Poirel, V{\'e}ronique and Chabreuil, Aline and Fischer, Arnaud and Farge, Claude and Vadel, Claude and Astic, Isabelle and Dumont, Jean-Pierre and F{\'e}joz, Loic and Rambert, Patrick and Paradinas, Pierre and De Quatrebarbes, Sophie and Laurent, St{\'e}phane},
abstract = {Dans ce monde devenu num{\'e}rique nous savons que c'est une de nos missions d'acteur de la recherche publique, que de rendre accessibles les sciences du num{\'e}rique au plus grand nombre. Ceci afin que chaque citoyenne et citoyen ma{\^\i}trise, au del{\`a} des usages, les principaux fondements de cette mutation num{\'e}rique. Et nous croyons que c'est l'acquisition d'une culture scientifique sur ces sujets qui est le levier de cette appropriation. C'est notre mission et notre plaisir d'y contribuer. Ce document a pour but d'aider chaque coll{\`e}gue Inria int{\'e}ress{\'e} {\`a} participer {\`a} ce volet de nos missions. Devenue une facette de notre m{\'e}tier, comme le rappelle le Plan Strat{\'e}gique Inria [1], ce que nous appelons m{\'e}diation scientifique en sciences du num{\'e}rique (alias, " mecsci ") se professionnalise et change d'{\'e}chelle. Et c'est environ 1 \% de nos ressources qui a vocation {\`a} y {\^e}tre consacr{\'e}. Pour tout l'institut on parle donc de pr{\`e}s de 40 {\'e}quivalents temps-plein distribu{\'e}s {\`a} travers le travail quotidien ou ponctuel de plusieurs centaines de coll{\`e}gues chercheurs, ing{\'e}nieurs, communicants, etc.. Une telle {\'e}nergie m{\'e}rite d'{\^e}tre bien employ{\'e}e : au service des meilleurs objectifs ; vers des cibles bien d{\'e}finies qui ont de vrais besoins sur ces sujets ; dans le cadre d'actions leviers qui aident {\`a} faire bouger les choses ; et avec une m{\'e}thodologie efficace qui optimise ce que nous investissons dans de telles activit{\'e}s ; tout en respectant et en encourageant les dynamiques locales et individuelles ind{\'e}pendantes qui restent les sources vives de la m{\'e}diation scientifique. Voil{\`a} pourquoi il y a juste besoin d'offrir en partage {\`a} chacune et chacun les {\'e}l{\'e}ments fondateurs et m{\'e}thodologiques de cette m{\'e}diation scientifique. Offrir aussi quelques bonnes pratiques tr{\`e}s concr{\`e}tes. On parle donc ici d'une organisation distribu{\'e}e d'actions collaboratives d'o{\`u} {\'e}merge le service public de popularisation scientifique vis{\'e}. C'est ce que ce document se propose de d{\'e}crire ici.},
keywords = {m{\'e}diation scientifique ; culture scientifique ; recherche ; popularisation des sciences ; service public.},
language = {Fran\c{c}ais},
affiliation = {MOISE - INRIA Grenoble Rh{\^o}ne-Alpes / LJK Laboratoire Jean Kuntzmann , INRIA Paris-Rocquencourt - INRIA , RUNTIME - INRIA Bordeaux - Sud-Ouest , Laboratoire Bordelais de Recherche en Informatique - LaBRI , INRIA Si{\`e}ge - INRIA , Virtual Plants - VP , UMR Am{\'e}lioration G{\'e}n{\'e}tique et Adaptation des Plantes M{\'e}diterran{\'e}eennes et Tropicales - AGAP , PAREO - INRIA Lorraine - LORIA , MAGRIT - INRIA Nancy - Grand Est / LORIA , MAVERICK - Inria Grenoble Rh{\^o}ne-Alpes / LJK Laboratoire Jean Kuntzmann , Laboratoire d'Informatique de Robotique et de Micro{\'e}lectronique de Montpellier - LIRMM , ZENITH - INRIA Sophia Antipolis , INRIA Sophia Antipolis - INRIA Sophia Antipolis , DEDUCTEAM - INRIA Paris-Rocquencourt , PAROLE - INRIA Nancy - Grand Est / LORIA , CARTE - INRIA Nancy - Grand Est / LORIA , GANG - INRIA Rocquencourt , Laboratoire d'informatique Algorithmique : Fondements et Applications - LIAFA , Laboratory of Information, Network and Communication Sciences - LINCS , Service IST Sophia Antipolis M{\'e}diterran{\'e}e / Laboratoire I3S - INRIA Sophia Antipolis - M{\'e}diterran{\'e}e , ALGORILLE - INRIA Nancy - Grand Est / LORIA , APICS - INRIA Sophia Antipolis , Laboratoire d'Informatique Fondamentale de Lille - LIFL , BONSAI - INRIA Lille - Nord Europe , FUSCIA - INRIA , CORTEX - INRIA Lorraine - LORIA , MINT - INRIA Lille - Nord Europe , GENSCALE - INRIA - IRISA , ALICE - INRIA Nancy - Grand Est / LORIA , Laboratoire de Recherche en Informatique - LRI , TOCCATA - INRIA Saclay - {\^I}le-de-France , Mnemosyne - INRIA Bordeaux - Sud-Ouest , MADYNES - INRIA Lorraine - LORIA , MOSEL - INRIA Lorraine - LORIA , Centre for Quantitative methods and Operations Management - QuantOM},
pages = 34,
type = {Interne},
institution = {Inria},
year = 2013,
month = mar
}
@techreport{auger13rr1560,
hal = {http://hal.archives-ouvertes.fr/hal-00834633},
topics = {team},
author = {C\'edric Auger and Zohir Bouzid and Pierre Courtieu and S\'ebastien Tixeuil and Xavier Urbain},
title = {Certified Impossibility Results for Byzantine-Tolerant Mobile Robots},
institution = {LRI},
year = {2013},
type = {Research Report},
number = {1560},
month = jun,
pdf = {http://hal.archives-ouvertes.fr/docs/00/83/46/33/PDF/rr.pdf},
url = {http://arxiv.org/abs/1306.4242}
}
@mastersthesis{clochard13master,
topics = {team},
author = {Martin Clochard},
title = {Proving Programs with binders, automatically},
school = {Master Parisien de Recherche en Informatique},
year = 2013
}