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