2017-other.bib
@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/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"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/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
}