https://feever.fr 2
Huge Plinn FolderPapers
https://feever.fr/Papers
Type Name Last Modified descending sort
File FAUST-type-checking-undecidable.pdf • FAUST type checking undecidable.pdf 05/08/2018 09h58
File E-420.pdf 11/22/2017 10h17
File WCET-tableaux.pdf 09/11/2017 13h57
File Feever-Cipierre.pdf • Feever Cipierre.pdf 06/20/2017 10h11
File Poster_LAC2017_FEEVER.pdf 05/20/2017 12h54
File OJ-ifl.pdf • OJ ifl.pdf 05/11/2017 15h51
File FaustDSPComponents.pdf 04/11/2017 09h43
File lac pm 2017.pdf 04/09/2017 21h14
File FEEVER-poster-Infrastructures-du-numerique-sur-et-connecte-Espace1.pptx 01/10/2017 11h13
File FEEVER-Presentations-FlashVF.pptx 01/10/2017 11h13
Huge Folder LTP2016 11/30/2016 11h43
File ifl-slides.pdf 11/05/2016 17h37
File Cours-LP-FAUST-2016.pdf • Cours LP FAUST 2016.pdf 06/09/2016 16h21
File notes-faust-mr-article.pdf 05/26/2016 16h00
File TJS15.pdf 05/26/2016 15h52
File jscoq.pdf 05/19/2016 15h47
File pp204-209-2.pdf 05/19/2016 15h41
File pp93-97.pdf 05/19/2016 15h41
File JIM-2016-FR.pdf 05/19/2016 13h52
File Bringing-Theorem-Proving.pdf • Bringing Theorem Proving.pdf 01/12/2016 10h59
File topocircuit.pdf 11/17/2015 11h16
File 4-JIM15_Cipierre_T_et_al.pdf 07/03/2015 11h16
File 20150507-jim-keynote.pdf 07/01/2015 10h22
File 20150506-faust-montreal.pdf 07/01/2015 10h22
File 20140414-Dataflow-faust.pdf 07/01/2015 10h22
File 20131128-Faust-UPMC.pdf 07/01/2015 10h22
File FaustLive-paper-FR.pdf 06/29/2015 14h58
File RFIM 343 06/29/2015 14h52
File E-364.pdf 06/29/2015 13h34
File OS13-B11-AudioRendering.pdf 06/05/2015 13h44
File Coq7_submission_7.pdf 05/28/2015 15h49
File lac-final-camera-ready.pdf 04/28/2015 11h48
File coq-lac.pdf • coq lac.pdf 04/14/2015 21h09
File Faust-web-lac.pdf 04/14/2015 09h55
File 20150410-LAC-2015.pdf 04/14/2015 09h51
File 20150411-faust-award-ceremony.pdf 04/14/2015 09h44
File WAC2015-A3-White-v2.pdf 03/09/2015 15h20
File posterClavecin3b.pdf 03/09/2015 15h19
File GRAME-A1Poster-WAC.pdf 03/09/2015 15h14
File WAC-grame.pdf 02/09/2015 17h02
File texteCIEREC-WAC.pdf 02/09/2015 17h02
File wac-2015.tar.bz2 01/26/2015 22h21
File coqpl.pdf 01/21/2015 13h20
File coqpl-2015.pdf 01/20/2015 22h24
File TurenasStanford2.pdf 11/11/2014 08h11
File 20141020-faust-dsldi-1.pdf 10/28/2014 16h02
File FaustLive-13_10_2014-1.pdf 10/14/2014 21h54
File Clavecin • Clavecin screen shots 09/19/2014 15h27
File Deducteam Seminar 09/19/2014 15h10
File 20140822-Faust-DSLDI.pdf 09/17/2014 10h27