2017-other.bib

@comment{{This file has been generated by bib2bib 1.97pl3}}
@comment{{Command line: bib2bib -q -oc 2017-other.cite -ob 2017-other.bib -c 'year = 2017 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"' /users/demons/filliatr/toccata/web/biblio/bibliodemons/abbrevs.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons2.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/demons3.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/team.bib /users/demons/filliatr/toccata/web/biblio/bibliodemons/crossrefs.bib}}
@misc{cfpp17,
  topics = {team},
  author = {Arthur Chargu{\'e}raud and Jean-Christophe Filli{\^a}tre and
                  M{\'a}rio Pereira and Fran\c{c}ois Pottier},
  title = {{VOCAL} -- {A} {V}erified {OC}aml {L}ibrary},
  howpublished = {ML Family Workshop},
  month = {September},
  year = {2017},
  hal = {https://hal.inria.fr/hal-01561094}
}
@misc{faissole:hal-01485397,
  topics = {team},
  title = {Synthetic topology in homotopy type theory for probabilistic programming},
  author = {Faissole, Florian and Spitters, Bas},
  howpublished = {PPS 2017 - Workshop on probabilistic programming semantics },
  year = 2017,
  month = jan,
  hal = {https://hal.inria.fr/hal-01485397},
  note = {Poster}
}
@misc{filliatre17diderot,
  author = {Jean-Christophe Filli\^atre},
  title = {V\'erification d\'eductive de programmes},
  howpublished = {S\'eminaire Acqu\'erir une culture commune
  dans le domaine de l'informatique, lyc\'ee Diderot, Paris},
  year = 2017,
  month = may,
  note = {S\'eminaire invit\'e},
  topics = {team, lri},
  type_publi = {diffusion},
  x-equipes = {demons PROVAL},
  x-type = {invitation},
  x-support = {diffusion},
  x-invited-conference = {yes}
}
@proceedings{jfla17,
  topics = {team},
  hal = {https://hal.inria.fr/hal-01662072},
  title = {Journ\'ees Francophones des Langages Applicatifs},
  editor = {Boldo, Sylvie and Signoles, Julien},
  year = 2017,
  booktitle = {Vingt-huiti\`emes Journ\'ees Francophones des Langages Applicatifs},
  month = jan,
  address = {Gourette, France},
  x-international-audience = {no},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes_aux},
  x-cle-support = {JFLA}
}
@proceedings{vstte17,
  topics = {team},
  hal = {https://hal.inria.fr/hal-01670145},
  title = {Verified Software: Theories, Tools, and Experiments. Revised Selected Papers Presented at the 9th International Conference {VSTTE}},
  booktitle = {Verified Software: Theories, Tools, and Experiments. Revised Selected Papers Presented at the 9th International Conference {VSTTE}},
  month = dec,
  year = 2017,
  address = {Heidelberg, Germany},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-proceedings = {yes},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {VSTTE},
  editor = {Andrei Paskevich and Thomas Wies},
  series = {Lecture Notes in Computer Science},
  number = 10712,
  publisher = {Springer}
}
@proceedings{nsv2017,
  topics = {team},
  title = {10th International Workshop on Numerical Software Verification},
  booktitle = {10th International Workshop on Numerical Software Verification},
  editor = {Abate, Alessandro and Boldo, Sylvie},
  hal = {https://hal.inria.fr/hal-01662076},
  publisher = {{Springer}},
  year = 2017,
  month = jul
}