Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- R. Bonichon : “TaMeD: A Tableau Method for Deduction Modulo”, IJCAR 2004 - 2nd International Joint Conference on Automated Reasoning, vol. 3097, Lecture Notes in Computer Science, Cork, Ireland, pp. 445-459, (Springer) [Bonichon 2004]
- J.‑L. Colaço, A. Girault, G. Hamon, M. Pouzet : “Towards a Higher-order Synchronous Data-flow Language”, ACM Fourth International Conference on Embedded Software (EMSOFT'04), Pisa, Italy, pp. 230-239, (ACM) [Colaço 2004a]
- C. Dubois, Th. Hardin, V. Viguie Donzeau Gouge : “Building certified components within FOCAL”, TFP 2004 - 5th Symposium on Trends in Functional Programming, vol. 5, Trends in Functional Programming, Munich, Germany, pp. 33-48, (Intellect) [Dubois 2004a]
- Th. Hardin : “Modulogic: un atelier de construction modulaire de logiciels certifiés. Application aux politiques de sécurité”, Journées des ACI Sécurité, Toulouse, France [Hardin 2004a]
- R. Rioboo : “Certifying Computer Algebras Systems: Data Safety”, EACA, Issac 2004 Statelite Conference, Santander, Spain [Rioboo 2004a]
- R. Rioboo : “Real Algebraic Numbers, the FoCaL language”, Workshop on Categorical Programming Languages with an Emphasis on Aldor, Santander, Spain [Rioboo 2004b]
- R. Rioboo : “The FoC Distribution”, Calcul formel, algorithmes certifiés, preuves constructives. (MAP workshop), Luminy, France [Rioboo 2004c]