2015-other.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc 2015-other.cite -ob 2015-other.bib -c 'year = 2015 and topics : "team" and $type<>"article" and $type<>"inproceedings" and $type<>"book" and $type<>"inbook" and $type<>"incollection" and $type<>"phdthesis" and $type<>"techreport" and $type<>"manual" and $type<>"mastersthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@misc{vieville:hal-01238442,
  topics = {team},
  title = {{ Structures : organisation, complexit\'e, dynamique des mot-cl\'es
                  au sens inattendu}},
  author = {Vieville, Thierry and Boldo, Sylvie and Masseglia, Florent and
                  Bernhard, Pierre},
  year = {2015},
  month = apr,
  hal = {https://hal.inria.fr/hal-01238442},
  note = {Article de vulgarisation sur pixees.fr},
  hal_id = {hal-01238442},
  hal_version = {v1},
  x-scientific-popularization = {yes}
}

@misc{filliatre15mathematicpark,
  author = {Jean-Christophe Filli\^atre},
  title = {V\'erification d\'eductive de programmes},
  howpublished = {Mathematic Park, Institut Henri Poincar\'e},
  url = {https://www.youtube.com/watch?v=Jf5TYvpkXuc},
  year = 2015,
  month = mar,
  note = {S\'eminaire invit\'e},
  topics = {team, lri},
  type_publi = {diffusion},
  x-equipes = {demons PROVAL},
  x-type = {invitation},
  x-support = {diffusion},
  x-scientific-popularization = {yes},
  x-invited-conference = {yes}
}