Current teams : ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL
Former team : ACASA
LIP6
  • A. Brygoo, T. Durand, P. Manoury, Ch. Queinnec, M. Soria : “Experiment around a training engine”, IFIP WCC 2002 - 17th World Computer Congress, vol. 102, IFIP - The International Federation for Information Processing, Montreal, Canada, pp. 45-52, (Springer) [Brygoo 2002a]
  • A. Brygoo, T. Durand, P. Manoury, Ch. Queinnec, M. Soria : “Un cédérom pour Scheme: Chacun son entraineur, un entraineur pour tous”, TICE 2002 - Technologies de l'Information et de la Communication dans les Enseignements d'ingénieurs et dans l'industrie, Villeurbanne, France, pp. 223-231, (Institut National des Sciences Appliquées de Lyon) [Brygoo 2002b]
  • J.‑L. Colaço, M. Pouzet : “Type-based Initialization of a Synchronous Data-flow Language”, SLAP 2002 - Synchronous Languages, Applications, and Programming, vol. 65 (5), Electronic Notes in Theoretical Computer Science, Grenoble, France, pp. 65-78, (Elsevier) [Colaço 2002]
  • D. Doligez, Th. Hardin, V. Prevosto : “Algebraic Structures and Dependent Records”, TPHOLs'02 - 15th International Conference on Theorem Proving in Higher-Order logics, vol. 2410, Lecture Notes in Computer Science, Hampton, VA, United States, pp. 298-313, (Springer) [Doligez 2002a]
  • D. Doligez, Th. Hardin, V. Prevosto : “FOC, a certified computer algebra library”, Automath'2002, Edinburgh, United Kingdom [Doligez 2002b]
  • G. Dowek, Th. Hardin, C. Kirchner : “Binding Logic: proofs and models”, 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'2002, vol. 2514, Lecture notes in Artificial Intelligence, Tbilisi, Georgia, pp. 130-144, (Springer) [Dowek 2002]
  • S. Fechter : “An object-oriented model for the certified computer algebra library”, Formal Methods for Open Object-Based Distributed Systems (FMOODS) PhD workshop, University of Twente, Netherlands [Fechter 2002]
  • Th. Hardin : “Produire un logiciel de confiance: quelles hypothèses, quelles limites?”, Journées Francophones des Langages Applicatifs, Anglet, France [Hardin 2002]
  • L. Moreau, Ch. Queinnec : “Distributed and Multi-Type Resource Management”, ECOOP'02 Workshop on Resource Management for Safe Languages, vol. 2548, Lecture Notes in Computer Science, Malaga, Spain, pp. 11-12, (Springer) [Moreau 2002]
  • V. Prevosto : “The FoC Project: Building a Certified Computer Algebra Library”, ISSAC 2002 - International Symposium on Symbolic and Algebraic Computation, Lille, France [Prevosto 2002a]
  • Ch. Queinnec : “A library for quizzes”, Scheme 2002 - Third Workshop on Scheme and Functional Programming, Pittsburgh, Pennsylvania, United States, pp. 1-7, (Georgia Tech, Technical Report GIT-CC-02-48) [Queinnec 2002a]
  • Ch. Queinnec : “Modules in Scheme”, Scheme 2002 - Third Workshop on Scheme and Functional Programming, Pittsburgh, Pennsylvania, United States, pp. 89-95, (Georgia Tech, Technical Report GIT-CC-02-48) [Queinnec 2002b]
  • Ch. Queinnec, E. Chailloux : “Une expérience de notation en masse”, TICE 2002 - Technologies de l'Information et de la Communication dans les Enseignements d'Ingénieurs et dans l'industrie, Lyon, France, pp. 403-404, (Institut National des Sciences Appliquées de Lyon) [Queinnec 2002c]
Mentions légales
Site map