Gilles Kahn was one of the most influential figures in the development of computer science and information technology, not only in Europe but throughout the world. This volume of articles by several leading computer scientists serves as a fitting memorial to Kahn’s achievements and reflects the broad range of subjects to which he contributed through his scientific research and his work at INRIA, the French National Institute for Research in Computer Science and Control. The editors also reflect upon the future of computing: how it will develop as a subject in itself and how it will affect other disciplines, from biology and medical informatics, to web and networks in general. Its breadth of coverage, topicality, originality and depth of contribution, make this book a stimulating read for all those interested in the future development of information technology.
 J.-P. Banâtre , P. Fradet , J.-L. Giavitto and O. Michel (eds). Unconventional Programming Paradigms (UPP'04), volume 3566 of Lecture Notes in Computer Science, Revised Selected and Invited Papers of the International Workshop, 2005. Springer-Verlag.
 J.-P. Banâtre , P. Fradet and D. Le Métayer . Gamma and the chemical reaction model: Fifteen years after. In Multiset Processing, volume 2235 of Lecture Notes in Computer Science, pp. 17–44. Springer-Verlag, 2001.
 J.-P. Banâtre , P. Fradet and Y. Radenac . Principles of chemical programming. In S. Abdennadher and C. Ringeissen (eds), Proceedings of the 5th International Workshop on Rule-Based Programming (RULE 2004), volume 124 of ENTCS, pp. 133–147. Elsevier, June 2005.
 G. Berry and P.-L. Curien , Theory and practice of sequential algorithms: the kernel of the applicative language CDS. In Algebraic Methods in Semantics, M. Nivat , J. Reynolds (eds), Cambridge University Press, pp. 35–87 (1985).
 A. Benveniste , P. Caspi , P. L. Guernic and N. Halbwachs . Dataflow synchronous languages. In J. W. d. Bakker , W.-P. d. Roever and G. Rozenberg , (eds), A Decade of Concurrency – Reflections and Perspectives, Volume 803 Lecture Notes in Computer Science, pp. 1–45. Springer-Verlag, 1994.
 J. D. Brock and W. B. Ackerman . Scenarios, a model of non-determinate computation. In Conference on Formal Definition of Programming Concepts, volume 107, Lecture Notes in Computer Science, pp. 252–259. Springer-Verlag, 1981.
 M. Geilen and T. Basten . Requirements on the execution of Kahn process networks. In European Symposium on Programming Languages and Systems, Lecture Notes in Computer Science, pp. 319–334, Springer, 2003.
 C.-J. Hsu , F. Keceli , M.-Y. Ko , S. Shahparnia and S. S. Bhattacharyya . DIF: An interchange format for dataflow-based design tools. In International Workshop on Systems, Architectures, Modeling, and Simulation, Samos, Greece, July 2004.
 Y. Lin , R. Mullenix , M. Woh , S. Mahlke , T. Mudge , A. Reid and K. Flautner . SPEX: A programming language for software defined radio. In Software Defined Radio Technical Conference and Product Exposition, Orlando, 2006.
 W. Thies , M. Karczmarek and S. Amarasinghe . StreamIt: A language for streaming applications. In 11th International Conference on Compiler Construction, volume 2304, Lecture Notes in Computer Science, Grenoble, France, 2002, Springer-Verlag.
 A. Appel and D. B. MacQueen . Standard ml of new jersey. In J. Maluszynski and M. Wirsing (eds) Programming Language Implementation and Logic Programming, Proceedings of the 3rd International Symposium, volume 528 Lecture Notes in Computer Science, pp. 1–13. Springer Verlag, 1991.
 G. Berry and P.-L. Currien . The kernel of the applicative language cds: theory and practice. In Proc. French-US Seminar on the Applications of Algebra to Language Definition and Compilation, pp. 35–87. Cambridge University Press, 1985.
 S. Brookes and S. Geva . Continuous functions and parallel algorithms on concrete data structures. In Proc. 7th International Conf. on Mathematical Foundations of Programming Semantics, volume 598 in Lecture Notes in Computer Science, 1991.
 P. Caspi , D. Pilaud , N. Halbwachs and J. A. Plaice . LUSTRE: a declarative language for real-time programming. In POPL '87: Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 178–188, New York, NY, USA, 1987. ACM Press.
 P. Caspi and M. Pouzet . Synchronous Kahn networks. In ICFP '96: Proceedings of the first ACM SIGPLAN International Conference on Functional Programming, pp. 226–238, New York, NY, USA, 1996. ACM Press.
 A. Cohen , M. Duranton , C. Eisenbeis , C. Pagetti , F. Plateau and M. Pouzet . N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. In POPL '06: Conference Record of the 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 180–193, New York, NY, USA, 2006. ACM Press.
 B. Courcelle , G. Kahn and J. Vuillemin . Algorithmes d'equivalence et de reduction a des expressions minimales dans une classe d'equations recursives simples. In Proceedings of the 2nd Colloquium on Automata, Languages and Programming, pp. 200–213, London, UK. Springer-Verlag, 1974.
 J. Darlington and M. Reeve . Alice a multi-processor reduction machine for the parallel evaluation cf applicative languages. In FPCA '81: Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture, pp. 65–76, New York, NY, USA, 1981. ACM Press.
 J. B. Dennis . First version of a data flow procedure language. In Programming Symposium, Proceedings Colloque sur la Programmation, volume 19 of Lecture Notes in Computer Science, pp. 362–376, Springer-Verlag, 1974.
 J. B. Dennis , J. B. Fosseen and J. P. Linderman . Data flow schemas. In G. Goos and J. Hartmanis (eds), International Symposium on Theoretical Programming, volume 5, Lecture Notes in Computer Science, pp. 187–216, Springer-Verlag, 1974.
 J. B. Dennis . A language design for structured concurrency. In J. H. Williams and D. A. Fisher (eds), Proceedings of the DoD Sponsored Workshop on Design and Implementation of Programming Languages, volume 54, Lecture Notes in Computer Science, pp. 231–242. Springer-Verlag, 1977.
 J. B. Dennis and D. P. Misunas . A preliminary architecture for a basic data-flow processor. In ISCA '75: Proceedings of the 2nd Annual Symposium on Computer Architecture, pp. 126–132, New York, NY, USA, 1975. ACM Press.
 M. J. C. Gordon , A. J. R. G. Milner , L. Morris , M. C. Newey and C. P. Wadsworth . A metalanguage for interactive proof in LCF. In Fifth ACM Symposium on Principles of Programming Languages, New York, 1978. ACM Press.
 C. Hewitt , P. Bishop , R. Steiger , I. Greif , B. Smith , T. Matson and R. Hale . Behavioral semantics of nonrecursive control structures. In Programming Symposium, Proceedings Colloque sur la Programmation, volume 19, Lecture Notes in Computer Science, pp. 385–407. Springer-Verlag, 1974.
 R. Milner . Implementation and applications of Scott's logic for computable functions. In Proceedings of ACM Conference on Proving Assertions About Programs, pp. 1–6, New York, NY, USA, 1972. ACM.
 J. Vuillemin . Correct and optimal implementations of recursion in a simple programming language. In STOC '73: Proceedings of the Fifth Annual ACM Symposium on Theory of Computing, pp. 224–239, New York, NY, USA, 1973. ACM Press.
 C.H Lewis and B. K. Rosen , Recursively defined data types: part 1. Proceedings of the 1st annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 125–138. ACM, New York, 1973.
 J.-J. Lévy . An algebraic interpretation of the λβ-calculus and a labeled λ-calculus. In C. Böhm (ed.), Lambda-Calculus and Computer Science Theory, volume 37 of Lecture Notes in Computer Science, pp. 147–165. Springer, March 1975.
 P.-A. Melliès . A factorisation theorem in rewriting theory. In Proceedings of the 7th Conference on Category Theory and Computer Science, volume 1290, Lecture Notes in Computer Science, pp. 49–68, Santa Margherita Ligure. Springer, 1997.
 V. van Oostrom . Finite family developments. In Proceedings of the 8th International Conference on Rewriting Techniques and Applications (RTA '97), volume 1232, in Lecture Notes in Computer Science, pp. 308–322, Sitges, June 1997.
 D. Kuck , Y. Muraoka , and S. Chen . On the number of operations simultaneously executable in FORTRAN-like programs and their resulting speed-up. IEEE Trans. on Computers, C-21(12):1293–1310, 1972.
 K. Ottenstein , R. Ballance and A. MacCabe . The program dependence web: A representation supporting control-, data-, and demand-driven interpretation of imperative languages. In PLDI, pp. 257–271, 1990.
 K. Pingali , M. Beck , R. Johnson , M. Moudgill , and P. Stodghill . Dependence flow graphs: An algebraic approach to program dependencies. In Advances in Languages and Compilers for Parallel Processing, pp. 445–467. M.I.T. Press, 1991.
 I. Attali , J. Chazarain and S. Gilette . Incremental evaluation of natural semantics specification. In M. Bruynooghe and M. Wirsing (eds), PLILP, volume 631, Lecture Notes in Computer Science, pp. 87–99. Springer, 1992.
 I. Attali , C. Courbis , P. Degenne , A. Fau , J. Fillon , Chr. Held , D. Parigot and C. Pasquie . Aspect and XML-oriented semantic framework generator: Smarttools. In Second Workshop on Language Descriptions, Tools and Applications, LDTA'02, volume 65 Electronic Notes in Theoretical Computer Science (ENTCS), pp. 1–20. Springer, 2002.
 Y. Bertot . Occurrences in debugger specifications. In PLDI '91: Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation, pp. 327–337, New York, NY, USA, 1991. ACM Press.
 M. G. J. van den Brand , M. Bruntink , G. R. Economopoulos , H. A. de Jong , P. Klint , T. Kooiker , T. van der Storm and J.J. Vinju . Using the meta-environment for maintenance and renovation. In Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR'07), pp. 331–332. IEEE Computer Society, March 21–23 2007.
 M. G. J. van den Brand , A. van Deursen , J. Heering , H. A. de Jong , M. de Jonge , T. Kuipers , P. Klint , L. Moonen , P.A. Olivier , J. Scheerder , J. J. Vinju , E. Visser and J. Visser . The ASF+SDF Meta-Environment: a component-based language development environment. In R. Wilhelm (ed.), Compiler Construction (CC '01), volume 2027, Lecture Notes in Computer Science, pp. 365–370. Springer-Verlag, 2001.
 M. G. J. van den Brand , A. T. Kooiker , J. J. Vinju and N.P. Veerman . A Language Independent Framework for Context-sensitive Formatting. In 10th Conference on Software Maintenance and Reengineering (CSMR 2006), pp. 631–634. IEEE Computer Society Press, 2006.
 D. Clément . The natural dynamic semantics of Mini-Standard ML. In H. Ehrig , R. A. Kowalski , G. Levi and U. Montanari (eds), TAPSOFT, Vol.2, volume 250 Lecture Notes in Computer Science, pp. 67–81. Springer, 1987.
 D. Clément , J. Heering , J. Incerpi , G. Kahn , P. Klint , B. Lang and V. Pascual . Preliminary design of an environment generator. Second annual review report: D9, GIPE, ESPRIT Project 348, January 1987.
 D. Clément , J. Incerpi and G. Kahn . CENTAUR: Towards a “software tool box” for programming environments. In F. Long (ed.), SEE, volume 467 Lecture Notes in Computer Science, pp. 287–304. Springer, 1989.
 D. Clément , V. Prunet and F. Montagnac . Integrated software components: A paradigm for control integration. In A. Endres and H. Weber (eds), Software Development Environments and CASE Technology, volume 509, Lecture Notes in Computer Science, pp. 167–177. Springer, 1991.
 Th. Despeyroux . Executable specification of static semantics. In G. Kahn , D. B. MacQueen and G. D. Plotkin , editors, Semantics of Data Types, volume 173, Lecture Notes in Computer Science, pp. 215–233. Springer, 1984.
 V. Donzeau-Gouge , G. Huet , G. Kahn , B. Lang and J.J. Lévy . A structure oriented program editor: a first step towards computer assisted programming. In International Computing Symposium. North Holland, 1975.
 V. Donzeau-Gouge , G. Kahn and B. Lang . On the formal definition of ADA. In N. D. Jones (ed.), Semantics-Directed Compiler Generation, volume 94 Lecture Notes in Computer Science, pp. 475–489. Springer, 1980.
 J. Heering and P. Klint . Prehistory of the ASF+SDF system (1980–1984). In M. G. J. van den Brand , A. van Deursen , T. B. Dinesh , J. Kamperman and E. Visser (eds), Proceedings of ASF+SDF95 A workshop on Generating Tools from Algebraic Specifications, number P9504 in Technical Report. Programming Research Group, University of Amsterdam, 1995.
 P. Klint . A Study in String Processing Languages, volume 205 of Lecture Notes in Computer Science. Springer-Verlag, 1985. Based on the dissertation From Spring to Summer, defended at the Technical University Eindhoven, 1982.
 J. W. C. Koorn and H. C. N. Bakker . Building an Editor from Existing Components: an Exercise in Software Re-use. Technical Report P9312, Programming Research Group, University of Amsterdam, 1993.
 H. Korte , H. Joosten , V. Tijsse , A. Wammes , J. Wester , Th. Kuhne and Chr. Thies . Design of a LOTOS Simulator: Centaur from a user's Perspective. Fifth annual review report: D5, GIPE II, ESPRIT project 2177, 1993.
 B. Lang . On the usefulness of syntax directed editors. In R. Conradi , T. Didriksen and D. H. Wanvik (eds) Advanced Programming Environments, volume 244, Lecture Notes in Computer Science, pp. 47–51. Springer, 1986.
 B. Lang . The virtual tree processor. In J. Heering J. Sidi and A. Verhoog (eds) Generation of Interactive Programming Environments, Intermediate Report, number CS-R8620 in Technical Report. Centrum voor Wiskunde en Informatica, 1986.
 E. van der Meulen . Deriving incremental implementations from algebraic specifications. In M. Nivat , Ch. Rattray , T. Rus and G. Scollo (eds) AMAST, Workshops in Computing, pp. 277–286. Springer, 1991.
 P. A. Olivier . Debugging distributed applications using a coordination architecture. In D. Garlan and D. Le Métayer (eds) COORDINATION, volume 1282, Lecture Notes in Computer Science, pp. 98–114. Springer, 1997.
 L. Théry , Y. Bertot and G. Kahn . Real theorem provers deserve real userinterfaces. In SDE 5: Proceedings of the Fifth ACM SIGSOFT Symposium on Software Development Environments, pp. 120–129, New York, NY, USA, 1992. ACM Press.
 A. Asperti , G. Bancerek and A. Trybulec (eds). Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings, volume 3119, Lecture Notes in Computer Science. Springer, 2004.
 P. Borras , D. Clement , Th. Despeyrouz , J. Incerpi , G. Kahn , B. Lang , and V. Pascual . CENTAUR: The system. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (PSDE), volume 24, pp. 14–24, New York, NY, 1989. ACM Press.
 H. B. Curry . Some logical aspects of grammatical structure. In R. O. Jakobson (ed.) Structure of Language in its Mathematical Aspects. Proceedings of the 12th Symposium in Applied Mathematics, pp. 56–68, 1961.
 L. Magnusson and B. Nordström . The ALF proof editor and its proof engine. In Types for Proofs and Programs, volume 806, Lecture Notes in Computer Science, pp. 213–237, Nijmegen, 1994. Springer-Verlag.
 E. M. Bender and D. Flickinger . Rapid prototyping of scalable grammars: Towards modularity in extensions to a language-independent core. In Proceedings of the 2nd International Joint Conference on Natural Language Processing IJCNLP-05 (Posters/Demos), Jeju Island, Korea, 2005.
 D. A. Burke and K. Johannisson . Translating Formal Software Specifications to Natural Language / A Grammar-Based Approach. In P. Blache , E. Stabler , J. Busquets and R. Moot (eds) Logical Aspects of Computational Linguistics (LACL 2005), volume 3402 LNCS/LNAI, pp. 51–66. Springer-Verlag, 2005.
 Y. Coscoy , G. Kahn and L. Thery . Extracting text from proofs. In M. Dezani-Ciancaglini and G. Plotkin (eds) Proc. Second International Conference on Typed Lambda Calculi and Applications, volume 902 Lecture Notes in Computer Science, pp. 109–123, Springer-Verlag, 1995.
 H. B. Curry . Some logical aspects of grammatical structure. In Roman Jakobson , editor, Structure of Language and its Mathematical Aspects: Proceedings of the Twelfth Symposium in Applied Mathematics, pp. 56–68. American Mathematical Society, 1963.
 Ph. de Groote . Towards abstract categorial grammars. In Association for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Toulouse, France, pp. 148–155, 2001.
 A. El Dada . Implementation of the Arabic numerals and their syntax in GF. In Computational Approaches to Semitic Languages: Common Issues and Resources, ACL-2007 Workshop, June 28, 2007, Prague, 2007.
 A. El Dada and A. Ranta . Implementing an open source arabic resource grammar in GF. In M. A. Mughazy (ed.) Perspectives on Arabic Linguistics XX, pp. 209–232. John Benjamins, Amsterdam and Philadelphia, 2007.
 P. Martin-Löf . Constructive mathematics and computer programming. In Cohen, Los, Pfeiffer and Podewski (eds) Logic, Methodology and Philosophy of Science VI, pp. 153–175. North-Holland, Amsterdam, 1982.
 N. Perera and A. Ranta . Dialogue System Localization with the GF Resource Grammar Library. In SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken Language Processing, June 29, 2007, Prague, 2007.
 M. Wenzel . Isar – a generic interpretative approach to readable formal proof documents. In Y. Bertot , G. Dowek , A. Hirschowitz , C. Paulin and L. Théry (eds) Theorem Proving in Higher Order Logics, TPHOLs'99, volume 1690 Lecture Notes in Computer Science, 1999.
 B. E. Aydemir , A. Bohannon , M. Fairbairn , J. N. Foster , B. C. Pierce , P. Sewell , D. Vytiniotis , G. Washburn , S. Weirich and S. Zdancewic . Mechanized metatheory for the masses: The POPLmark challenge. In Proceedings of the Eighteenth International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), pp. 50–65. Springer-Verlag, 2005.
 G. Barthe , G. Dufay , L. Jakubiec , S. Melo de Sousa and B. Serpette . A formal executable semantics of the JavaCard platform. In D. Sands (ed.) Proceedings of ESOP'01, volume 2028 Lecture Notes in Computer Science, pp. 302–319. Springer-Verlag, 2001.
 G. Barthe , M. Ruys and H. Barendregt . A two-level approach towards lean proof-checking. In TYPES '95: Selected papers from the International Workshop on Types for Proofs and Programs, London, UK, pp. 16–35. Springer-Verlag, 1996.
 S. Berghofer and T. Nipkow . Executing higher order logic. In P. Callaghan , Z. Luo , J. McKinna and R. Pollack (eds) TYPES, volume 2277, Lecture Notes in Computer Science, pp. 24–40. Springer-Verlag, 2000.
 Y. Bertot . Formalizing a jvml verifier for initialization in a theorem prover. In Computer Aided Verification (CAV'2001), volume 2102, Lecture Notes in Computer Science, pp. 14–24. Springer-Verlag, 2001.
 S. Boutin . Using reflection to build efficient and certified decision procedures. In Theoretical Aspects of Computer Science, volume 1281, Lecture Notes in Computer Science, pp. 515–529. Springer-Verlag, 1997.
 R. Constable , S. F. Allen , H. M. Bromley , W. R. Cleaveland , J. F. Cremer , R. W. Harber , D. J. Howe , T. B. Knoblock , N. P. Mendler , P. Panangaden , J. T. Sasaki and S.F. Smith . Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall, 1986.
 P. Cousot and R. Cousot . Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Conference Record of the Fourth Annual ACM SIGPLANSIGACT Symposium on Principles of Programming Languages, pp. 238–252, Los Angeles, California, 1977. ACM Press, New York, NY.
 D. Terrasse . Encoding natural semantics in Coq. In Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology, AMAST'95, Lecture Notes in Computer Science, pp. 230–244. Springer-Verlag, 1995.
 D. Clément , J. Despeyroux , T. Despeyroux , L. Hascoet and G. Kahn . Natural semantics on the computer. In K. Fuchi and M. Nivat (eds), Proceedings of the France-Japan AI and CS Symposium, ICOT, Japan, pp. 49–89, 1986. Also Technical Memorandum PL-86-6 Information Processing Society of Japan and Rapport de recherche #0416, INRIA.
 T. Nipkow and L. C. Paulson . Proof pearl: Defining functions over finite sets. In J. Hurd (ed.) Theorem Proving in Higher Order Logics (TPHOLs 2005), volume 3603, Lecture Notes in Computer Science, pp. 385–396. Springer-Verlag, 2005.
 A. M. Pitts and M. J. Gabbay . A metalanguage for programming with bound names modulo renaming. In Proc. of the 5th International Conference on Mathematics of Program Construction (MPC), volume 1837, Lecture Notes in Computer Science, pp. 230–255. Springer-Verlag, 2000.
 C. Urban and S. Berghofer . A recursion combinator for nominal datatypes implemented in Isabelle/HOL. In Proc. of the 3rd International Joint Conference on Automated Reasoning (IJCAR), volume 4130, Lecture Notes in Artificial Intelligence, pp. 498–512. Springer-Verlag, 2006.
 C. Urban , S. Berghofer and M. Norrish . Barendregt's variable convention in rule inductions. In Proc. of the 21th International Conference on Automated Deduction (CADE), volume 4603, Lecture Notes in Artificial Intelligence, pp. 35–50. Springer-Verlag, 2007.
 C. Urban and C. Tasson . Nominal Techniques in Isabelle/HOL. In Proc. of the 20th International Conference on Automated Deduction (CADE), volume 3632, Lecture Notes in Computer Science, pp. 38–53, Springer-Verlag, 2005.
 P. Audebaud and C. Paulin-Mohring . Proofs of randomized algorithms in Coq. In T. Uustalu (ed.) Mathematics of Program Construction, MPC 2006, volume 4014, Lecture Notes in Computer Science, Kuressaare, Estonia, July 2006. Springer-Verlag, 2006.
 Y. Bertot . Filters on coinductive streams, an application to Eratos thenes'sieve. In P. Urzyczyn (ed.) International Conference of Typed Lambda Calculi and Applications, volume 3461, Lecture Notes in Computer Science, pp. 102–115. Springer-Verlag, 2005.
 S. Boulmé and G. Hamon . Certifying synchrony for free. In International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), volume 2250, Lecture Notes in Artificial Intelligence, La Havana, Cuba, December 2001. Springer-Verlag, 2001. Short version of A clocked denotational semantics for Lucid-Synchrone in Coq, available as a Technical Report (LIP6), at www.lri.fr/∼pouzet.
 A. Cohen , M. Duranton , C. Eisenbeis , C. Pagetti , F. Plateau and M. Pouzet . N-Synchronous Kahn networks: a relaxed model of synchrony for real-time systems. In ACM International Conference on Principles of Programming Languages (POPL'06), Charleston, South Carolina, USA, January 2006.
 B. Courcelle , G. Kahn and J. Vuillemin . Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples. In J. Loeckx (ed.) Automata, Languages and Programming, volume 14, Lecture Notes in Computer Science, pp. 200–213. Springer-Verlag, 1974. Translation from French by T. Veldhuizen with original text, a few comments and additional references.
 D. Pilaud , P. Caspi , N. Halbwachs and J. Plaice . Lustre: a declarative language for programming synchronous systems. In 14th ACM Conference on Principles of Programming Languages, pp. 178–188, Munich, January 1987.
 N. Ayache , J.-P. Boissel , S. Brunak , et al. Towards virtual physiological human: Multilevel modelling and simulation of the human anatomy and physiology. Virtual Physiological Human: White paper, EC – DG INFSO and DG JRC, 2006.
 J. Bestel , F. Clément and M. Sorine . A biomechanical model of muscle contraction. In W. J. Niessen and M. A. Viergever (eds) Proc. of International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI'01), volume 2208, Lecture Notes in Computer Science, pp. 1159–1161. Springer-Verlag, 2001.
 J. Boisvert , X. Pennec , H. Labelle , F. Cheriet and N. Ayache . Principal spine shape deformation modes using Riemannian geometry and articulated models. In Proc. of the IV Conference on Articulated Motion and Deformable Objects, Andratx, Mallorca, Spain, 11–14 July, volume 4069, Lecture Notes in Computer Science, pp. 346–355. Springer-Verlag, 2006. AMDO best paper award 2006.
 D. Chapelle , F. Clément , F. Génot , P. Le Tallec , M. Sorine and J. Urquiza . A physiologically-based model for the active cardiac muscle contraction. In T. Katila , I. E. Magnin , P. Clarysse , J. Montagnat and J. Nenonen (eds) Functional Imaging and Modeling of the Heart (FIMH'01), Helsinki, Finland, volume 2230, Lecture Notes in Computer Science. Springer-Verlag, 2001.
 O. Clatz , M. Sermesant , P.-Y. Bondiau , et al. Realistic simulation of the 3D growth of brain tumors in MR images coupling diffusion with mass effect. IEEE Transactions on Medical Imaging, 24(10):1334–1346, 2005.
 O. Commowick , R. Stefanescu , P. Fillard , et al. Incorporating statistical measures of anatomical variability in atlas-to-subject registration for conformal brain radiotherapy. In J. Duncan and G. Gerig (eds) Proceedings of the 8th International Conference on Medical Image Computing and Computer Assisted Intervention – MICCAI 2005, Part II, Palm Springs, CA, USA, October 26–29, 2005. volume 3750, Lecture Notes in Computer Science, pp. 927–934, Springer-Verlag, 2005.
 S. Cotin , H. Delingette and N. Ayache . A hybrid elastic model allowing real-time cutting, deformations and force-feedback for surgery training and simulation. The Visual Computer, 16(8):437–452, 2000.
 J. G. Csernansky , L. Wang , S. C. Joshi , J. T. Ratnanather and M. I. Miller . Computational anatomy and neuropsy chiatric disease: probabilistic assessment of variation and statistical inference of group difference, hemispheric asymmetry and time-dependent change. NeuroImage, 23(Supplement 1):S56–S68, 2004. Special Issue: Mathematics in Brain Imaging.
 H. Delingette , X. Pennec , L. Soler , J. Marescaux and N. Ayache . Computational models for image guided, robot-assisted and simulated medical interventions. Proceedings of the IEEE, 94(9):1678–1688, 2006.
 P. Fillard , V. Arsigny , X. Pennec , K. M. Hayashi , P. M. Thompson and N. Ayache . Measuring brain variability by extrapolating sparse tensor fields measured on sulcal lines. Neuroimage, 34(2):639–650, 2007. Also as INRIA Research Report 5887, April 2006.
 L. France , A. Angelidis , P. Meseure , et al. Implicit representations of the human intestines for surgery simulation. In M. Thiriet (ed.) Conference on Modelling and Simulation for Computer-aided Medicine and Surgery (MS4CMS'02), volume 12, European Series in Applied and Industrial Mathematics, pp. 1–7, 2002.
 E. Konukoglu , O. Clatz , P.-Y. Bondiau , H. Delingette and N. Ayache . Extrapolating tumor invasion margins for physiologically determined radiotherapy regions. In Proc. of the 9th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI'06), Part I, 2–4 October 2006, volume 4190, Lecture Notes in Computer Science, pp. 338–346, Springer-Verlag, 2006.
 S. Nicolau , A. Garcia , X. Pennec , L. Soler and N. Ayache . An augmented reality system to guide radio-frequency tumor ablation. Computer Animation and Virtual World (previously the Journal of Visualization & Computer Animation), 16(1):1–10, 2005.
 X. Pennec , P. Fillard and N. Ayache . A Riemannian framework for tensor computing. International Journal of Computer Vision, 66(1):41–66, 2006. A preliminary version appeared as INRIA Research Report 5255, July 2004.
 X. Pennec and S. Joshi (eds). Proceedings of the First International Workshop on Mathematical Foundations of Computational Anatomy–Geometrical and Statistical Methods for Modelling Biological Shape Variability, Copenhagen, Denmark, October 2006.
 J.-M. Peyrat , M. Sermesant , H. Delingette , et al. Towards a statistical atlas of cardiac fiber structure. In Proc. of the 9th International Conference on Medical Image Computing and Computer Assisted Intervention (MICCAI'06), Part I, 2–4 October 2006, volume 4190, Lecture Notes in Computer Science, pp. 297–304. Springer-Verlag, 2006.
 A. Quarteroni and L. Formaggia . Mathematical modeling and numerical simulation of the cardiovascular system. In N. Ayache (ed.) Computational Models for the Human Body, pp. 3–128. Elsevier, 2004.
 D. Rey , G. Subsol , H. Delingette and N. Ayache . Automatic detection and segmentation of evolving processes in 3D medical images: Application to multiple sclerosis. Medical Image Analysis, 6(2):163–179, 2002.
 D. Rivière , J.-F. Mangin , D. Papadopoulos-Orfanos , et al. Automatic recognition of cortical sulci of the human brain using a congregation of neural networks. Medical Image Analysis, 6(2):77–92, 2002.
 M. Sermesant , P. Moireau , O. Camara , et al. Cardiac function estimation from MRI using a heart model and data assimilation: Advances and difficulties. Medical Image Analysis, 10(4):642–656, 2006.
 R. Sierra , M. Bajka and G. Székely . Pathology design for surgical training simulators. In International Symposium on Surgery Simulation and Soft Tissue Modeling, volume 2673, Lecture Notes in Computer Science, pp. 375–384. Springer-Verlag, 2003.
 K. R. Swanson , E. C. Alvord and J. D. Murray . Virtual brain tumours (gliomas) enhance the reality of medical imaging and highlight inadequacies of current therapy. British Journal of Cancer, 86(1):14–18, 2002.
 P. M. Thompson , K. M. Hayashi , E. R. Sowell , et al. Mapping cortical change in Alzheimer's disease, brain development, and schizophrenia. NeuroImage, 23(Supplement 1):S2–S18, 2004. Special Issue: Mathematics in Brain Imaging.
 T. Vercauteren , A. Perchant , G. Malandain , X. Pennec and N. Ayache . Robust mosaicing with correction of motion distortions and tissue deformation for in vivo fibered microscopy. Medical Image Analysis, 10(5):673–692, 2006. Annual Medical Image Analysis (MedIA) Best Paper Award 2006.
 M. Karaliopoulos , R. Tafazolli and B. Evans . Modeling split-TCP latency and buffering requirements in GEO satellite networks. Proceeding of the IEEE Wireless Communications and Networking Conference, vol. 3, pp. 1509–1514, March 2005.
 C. J. Bampfylde and M. A. Lewis . Biological control through intraguild predation: case studies in pest control, invasive species and range expansion. Bulletin of Mathematical Biology 69:1031–1066, 2007.
 A. I. Houston and N. B. Davies . The evolution of cooperation and life history in the dunnock Prunella modularis. In Behavioural Ecology, R. M. Silby and R. H. Smith (eds) pp. 471–487. Blackwell Scientific Publications, 1985.
 M. Bücker , G. Corliss , P. Hovland , U. Naumann and B. Norris (eds). Automatic Differentiation: Applications, Theory, and Implementations. LNCSE. Springer, 2006. Selected papers from AD2004, Chicago, July 2004.
 G. Corliss , C. Faure , A. Griewank , L. Hascoët and U. Naumann (eds). Automatic Differentiation of Algorithms, from Simulation to Optimization. LNCSE. Springer, 2002. Selected papers from AD2000, Nice, June 2000.
 U. Naumann , J. Utke , A. Lyons and M. Fagan . Control flow reversal for adjoint code generation. In Proceedings of the Fourth IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), pp. 55–64. IEEE Computer Society, 2004.
 J. Utke , U. Naumann , M. Fagan , et al. Open AD/F: A Modular, Open-source Tool for Automatic Differentiation of Fortran codes. Technical report ANL/MCS-P1230-0205, Argonne National Laboratory, 2006. Submitted to ACM TOMS.
 A. Rowstron and P. Druschel . Pastry: scalable, distributed object location and routing for large scale peer-to-peer systems. IFIP/ACM International Conference on Distributed System Platforms (Middleware), Heidelberg, Germany pp. 329–350, November 2001.
 S. H. Muggleton , H. Lodhi , A. Amini and M. J. E. Sternberg . Support vector inductive logic programming. In Proc. 8th International Conference on Discovery Science, volume 3735, Lecture Notes in Artificial Intelligence, pp. 163–175. Springer Verlag, 2005.
 J. M. Zytkow , J. Zhu and A. Hussam . Automated discovery in a chemistry laboratory. In Proc. 8th National Conference on Artificial Intelligence, Boston, MA, USA, pp. 889–894, AAAI Press, MIT Press, 1990.
 Y. Bertot and P. Casteran . Interactive Theorem Proving and Program Development. Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science. An EATCS Series 2004, XXV, 469 pp.
 A. Cohen , M. Duranton , C. Eisenbeis , C. Pagetti , F. Plateau and M. Pouzet . N-sychronous Kahn networks. In 33th ACM Symp. on Principles of Programming Languages (PoPL'06), pp. 180–193, Charleston, South Carolina, January 2006.
 Y. Bertot , G. Kahn and L. Théry . Proof by pointing. In M. Hagiya and J. C. Mitchell (eds), Proceedings of the International Symposium on Theoretical Aspects of Computer Software. volume 789, Lecture Notes in Computer Science, Sendai, Japan, p 141–160, Springer-Verlag, 1994.