Curriculum Vitae of Jean-François Perrot

Emeritus Professor, Université Pierre et Marie Curie, Paris

October 2009
  1. Personal
  2. Studies
  3. Career
  4. Professional

  5. A . Research
    1. A.1 - Algebraic Automata Theory
    2. A.2 - Lisp and Object-Oriented Languages
    3. A.3 - AI and Knowledge Representation

  6. B . Teaching
    1. B.1 - Before 1980 (sabbatical leave in Canada).
    2. B.2 - From 1981 (return from Canada) to 1992 (leave for Italy)
    3. B.3 - From 1993 (return from Italy) to 2000
    4. B.4 - From 2000 (new organisation) to 2003 (retirement)

  7. C . Administration and various responsibilities
    1. C.1 - Minor
    2. C.2 - Major

  8. D. After my retirement (2003)
    1. D.1 - Research
    2. D.2 - Teaching
    3. D.3 - Other Activities

  9. List of Publications
  10. Supervision of PhD theses


Born May 11th, 1941 in Tunis (Tunisia)

French citizen


Address : 3 rue de l'Abbé-Grégoire, F - 75006 Paris


Baccalauréat (série C-Mathématiques) Dijon 1958

Ingénieur diplômé de l'École polytechnique (X 61)

Docteur ès-Sciences Math., Université Paris VI, 1972


1963-64 Second lieutenant (Artillery), Direction de la Recherche et des Moyens d'Essai (DRME, now DRET)

1964-65 Stagiaire de Recherche au CNRS

1965-68 Assistant à l'Institut de Programmation, Faculté des Sciences de Paris

1968-73 Maître-Assistant ibidem

1973-77 Maître de Conférences (Associate professor), Université Paris VI,

1977-... Professeur à titre personnel (Full professor).

1980-81 Visiting Professor in Canada (Université du Québec à Trois-Rivières, then Western Ontario University)

1986-1992 Director of the AI Lab : Laboratoire Formes et Intelligence Artificielle (LAFORIA), UA 1095 of CNRS

1988-89 Director of the Computer Science Department (UFR 922 of Université Paris VI)

1992-1993 Visiting Researcher at the Laboratorio di Cibernetica del CNR, Arco Felice (Napoli)

1995-1996 President of the professional organisation of French Computer Science Teachers (Société des Personnels Enseignants-Chercheurs en Informatique de France  - SPECIF)

1996-98 Counsellor of the Chairman of Université Pierre et Marie Curie (Jean Lemerle)

1997-98 Director of the Computer Science Lab : Laboratoire d'Informatique de Paris 6 (LIP6), UMR 7606 of CNRS

Member of AFCET,SMF, GI (Gesellschaft für Informatik) et member of the board of AFIA (Association française d'Intelligence Artificielle).



My professional life can be divided in three parts :

- 1964 - 1977 : Automata Theory (under the leadership of M.P. Schützenberger)

- 1977 - 1986 : Programming Languages (under the influence of P. Greussay : Lisp, Smalltalk)

- since 1986 : Artificial Intelligence (Knowledge Representation, direction of LAFORIA, then of LIP6).

A . Research

A.1 - Algebraic Automata Theory

With M.P. Schützenberger as my thesis supervisor, I studied the finite automata that are associated with finite prefix codes, more specifically the finite (permutation) groups that appear in the minimal ideal of their transition semigroups (so-called Suschkewitsch groups). I developed a set of APL programs to determine the structure of those semigroups [20, 26, 27]. This study was the main part of my doctoral dissertation (1972) [17] and the results were reproduced in  G. Lallement's book Semigroups and Combinatorial Applications, Wiley, 1979. This line of study was later pursued by Dominique Perrin. To my present knowledge, one of my conjectures on twice-decomposable codes is still open.

I then turned to S. Eilenberg's approach, targeting certain families of languges (varieties) rather than individual properties. I gave a characterization of the smallest  varieties satisfying various closure properties (paper in Theoretical Computer Science, 1978 [34]). Along this line I had a long and fruitful collaboration with John Rhodes and Howard Straubing, which eventually led to the doctoral dissertation of my student Jean-Eric Pin (1981).

Concurrently, I tried to build a theory of syntactic monoids for context-free langages [28, 31] (paper in Acta Informatica, 1977 [25]). This was the starting point of the work of my student Jacques Sakarovitch (doctoral dissertation, 1979). Together with Maurice Nivat we introduced a new mathematical object, the so-called polycyclic monoid [13, 16 & chap. 6 of 17], of which I recently learned that it played a role in the modern theory of self-similar group actions (through Mark Lawson).

I also considered families of languages other than regular and context-free, on the occasion of the thesis of François Rodriguez (Toulouse, 1975), which dealt with counter automata. Finally, let me mention that I also worked on syntactic analysis, which I used thereafter in teaching. At that time its main impact was on the "thèse de troisième cycle" of T. H. Hua (1982).

A.2 - Lisp and Object-Oriented Languages

a) Lisp & lambda-calculus

In the early 70's, Lisp was not widespread in France and its relationship with lambda-calculus was obscure. Together with Patrick Greussay and Bernard Robinet we developed a global view both theoretical and practical, resulting in a basic and well-understood Lisp interpreter, which we presented in many places. notably in Toulouse and in Algeria. A whole line of research in Toulouse was born from this in Toulouse (e.g. work of Patrick Sallé). One highlight of this cooperation was a Summer School organised by INRIA in Toulouse (1978). See [41].

I then followed the steps of  Greussay and launched a graduate course in 1978, which led me to supervise a number of PhDs, notably Eugen Neidl (1981, compilation of Lisp) and Pierre Cointe (Lisp and Smalltalk '76). Neidl's work was later integrated in the industrial  project MAIA at CNET and CGE-Marcoussis, later with ILOG. The MAIA project fostered valuable exchanges with my team, as may be seen in the work of another of my students F.X. Testard-Vaillant (1985).

b) Smalltalk

In the early 80s, very few people in France thought much of Smalltalk. On the recommendation of P. Greussay, my student Pierre Cointe proposed a Lisp-based interpretation of Smalltalk-76 and of Smalltalk-80 (the so-called ObjVlisp model). This work was very popular and contributed to spreading the language in France. Pierre went on to write a remarkable "thèse d'Etat (1985)", and to a brilliant career as one of France's leading autorities on Object Oriented Programming..

In 1980-81 I spent one year in Canada (one semester in Québec, at Trois-Rivières, Université du Québec, and one in Ontario, in London, University of Western Ontario). I found there computing facilities that were not easily available in France (such as access to a PDP-10). When I returned to Paris, the situation had improved and I was able to launch a serious study of various aspects of programming languages.

c) Lisp, Prolog, Smalltalk on a common basis

From 1981 to 1986 several projects were running concurrently in my team

- MAIA at CGE (Lisp machine) with E. Neidl.

- The FORMES project at IRCAM (a system for computer-aided musical composition), with  P. Cointe.

- A pedagogical program for the French Ministry of Education Nationale

- The VLisp project of P. Greussay

resulting in 7 "thèses de 3ème cycle" :

- Olivier Ravelomanantsoa (1985 : Gedanken & Plasma).

- Isabelle Borne (1984 : LOGO & Micro-Smalltalk on the French computer Micral-80)

- Bernard Serpette (1984 : concurrency with objects, under P. Cointe

- Jean-Pierre Briot (1985 : Instanciation et Héritage dans les Langages à Objets, with P. Cointe) Jean-Pierre later turned to actors and to multi-agent systems, of which he is one of the major exponents in France.

- Patrice Boizumault (1985 : interpretation of Prolog)

- François-Xavier Testard-Vaillant (1985 : Lisp without an abstract machine)

- Jean-Pierre Regourd (1985 : computer-aided tutoring)

 - Jean-Jacques Lacrampe (Orléans 1985) on a language for manipulating sets.

One of the outcomes of this activity was our participation in a Summer School organised by AFCET (the French Computer Society) in Montreal on Smalltalk (July 1986).
Another was the creation of a French research group on Object Oriented Programming, which in June 1987 organised the 1st ECOOP in Paris - on the occasion of the 20th ECOOP in Nantes (July 2006) this was duly celebrated by a "20th anniversary session" which the organisers asked me to moderate.

A.3 - AI and Knowledge Representation

a) Smalltalk as a representation language

My turning point from languages to Knowledge Representation (K.R.) was the work of Robert Voyer on a Smalltalk-based inference engine for Expert Systems.
When I took the direction of the AI Lab in 1986, I set up a new team  (F. Wolinski, R. Voyer, F. Pachet, R. Bourgeois) with the idea that Smalltalk as a language offered a powerful structure for K.R. which was to be thoroughly investigated before constructing more complex systems. This unorthodox attitude led of course to prolonged discussions with supporters of the traditional approach of constructing specific K.R. languages.
On the other hand, I was invited by Ernesto Burattini to give a course at ACAI (Advanced Course on AI, sponsored by ECCAI) 1993 in Capri.

Our approach may be divided in two branches : concepts and rules.
On the conceptual side, our first target was part-whole hierarchies and multiple viewpoints, which F. Wolinski studied on the basis of a system for representing robots for Électricité de France [50, 52]. Then, as a development of ideas from an industrial project by Thomson-DSE, we tried to build  yet another algebra of concepts directly in Smalltalk (R. Bourgeois' dissertation, 1990).
Another conceptual issue was that of independent agents (called to-day Multi-Agent Systems). The ability of Smalltalk for this purpose was demonstrated by the first version of the DIMA system of Zahia Guessoum (1996) - nowadays it has been ported to Java !

On the regular side Voyer' thesis (February 1989) proposed a system with distributed control. This served as the starting point for François Pachet, who also realised the fundamental importance of  Laursen & Atkinson's OPUS (1987). The idea is to apply (first-order, forward-chaining)  rules to any Smalltalk object à n'importe quel objet Smalltalk, making it possible to reuse all the knowledge that was embedded in the definition of that object. Pachet's system (1993) was called NéOpus, it was extremely popular and long lived. See [53, 54, and].
François pursued an original research on  applying K.R. to  music, which led him to be now a Senior Researcher with Sony Computer Lab in Paris.

b) Metamodeling and applications to Software Engineering

One of the many applications of NéOpus was the Metagen system ideated by Gilles Blain and perfected by a series of students from 1993 onwards. This is a system for what is now called Model Driven Engineering. The flexibility of Smalltalk enabled us to attack the central and difficult problem of model transforms in an uninhibited way. Unfortunately this did not yield enough results for ensuring an industrial success. [55, 56, 59 - 64]
The last student whose thesis I supervised, Reza Razavi (2001) developed a fully-fledged meta-level architecture for Adaptive Object-Models (in the sense of R. Johnson).

B . Teaching

B.1 - Before 1980 (sabbatical leave in Canada).

a) Algorithms on graphs, implementation in Algol-60.

b) Finite Automata.

c) In Toulouse : Syntactic Analysis, and Lisp & lambda-calculus.

B.2 - From 1981 (return from Canada) to 1992 (leave for Italy)

Computing facilities having improved, new openings were possible, notably with the help of the Multics system [46].

a) Introduction to Programming Languages (compilation, recursive programming and derecursivation, Hoare logic and program proving).
Later replaced by Compilation only (implementation in Pascal).

b) Lisp & functional programming

c) Prolog and logic programming

d) Graduate course on Lisp and the implementation of Objects

B.3 - From 1993 (return from Italy) to 2000

a) Programming with Word and Excel (beginners)

b) Compilation (implementation in Caml Light).

c) Object-Oriented Programming in Eiffel

d) Lisp & Smalltalk at the graduate level

B.4 - From 2000 (new organisation) to 2003 (retirement)

a) Compilation (implementation in C).

b) Object-Oriented Programming in Java.

c) Vocational training : Visual Basic, Java & scripting languages.

C . Administration and various responsibilities

C.1 - Minor

a) Administrative comittees :

- elected member of Conseil de l'Université, Conseil scientifique idem, and of Comité Consultatif des Universités ;

- chairman of the Commission de Spécialité et d'Etablissement (which examines applications for teaching positions), and of the Commission des thèses (controls the validity of the proposed doctoral dissertations).

b) Specific activities :

- Chief-editor of the AFCET Journal "Informatique théorique", alias Revue mauve, with M. Nivat, from 1974 to 1984

- Scientific organisation of the 3ème Ecole de Printemps du LITP (Vic-sur-Cère, 1975), on finite  syntactic semigroups.

- Initiation to Computers, for the body of "Inspecteurs départementaux de l'Education nationale" (I.D.E.N.) 1984-86

- Organisation (with Marc Bergman) of a European Summer University on  "Computer Languages in Schools", in Nice (juillet 1984),

- Member of Conseil scientifique du LIPN (Laboratoire d'Informatique de Paris-Nord)

- Vice-President (1989-90), then member of the board (1990-91) of AFIA (Association française d'Intelligence Artificielle).

- Member (sometimes chairman) of scientific comittees for evaluating de laboratories of CNRS (LIPN et I3S) and of INRIA.

C.2 - Major

a) Directeur de l'Institut de Programmation [= Chairman of the Computer Science Department] (1988-89)

The department was undergoing a crisis when I took over. I settled it.

b) Director of LAFORIA [AI Lab of the university] (1986-92)

The lab counted about 50 permanent members and 50 students.
The main event during my stay was to install us in a new space that was ideally suited for our size.
Excellent result - the spirit of LAFORIA still lingers with the AI teams of LIP6.
My main success was perhaps to find a successor (Jean-Charles Pomerol, now President of our university) who applied basically the same policy : "two directors, one direction".

c) Responsible for Graduate Studies in AI (DEA IARFA) (1987-91)

This program was operated in cooperation with two engineering schools (ENPC and ENSTA).
I managed to increase the number of scholarships alloted by the Ministry.
Also, I started a number of updates that were pursued by my successor J.-G. Ganascia.

d) Chairman of the professional organisation of French Computer Science Teachers (Société des Personnels Enseignants-Chercheurs en Informatique de France  - SPECIF) (1995-1996)

A hard task. SPECIF is a representative organisation and keeps contact with the people in charge at the Ministry.

e) Counsellor of the Chairman of Université Pierre et Marie Curie (Jean Lemerle) (1996 - 1998)

I was of course in charge of matters pertaining to the computer science department.
I also took part in the preparation of the contract that binds the university and the State for 4 years (1997 - 2000).

f) Creation & direction of the Computer Science Lab : Laboratoire d'Informatique de Paris 6 (LIP6) (1996-1998)

Deciding to merge into one the 3 labs that were operating in the computer area since 1980 was clearly a political decision on which the Ministry, the CNRS and the university agreed. Given my position as a counsellor of the President, I naturally got the job.
The 3 labs were LAFORIA (AI lab), part of LITP (programming languages), and MASI (networks, operating systems, software engineering). The result of the merge was logically called Laboratoire d'Informatique. It was a fairly big structure of 350 members (including students).
My main task was to set up an organisation and get it approved by the three parties (Ministry,  CNRS and university). This was achieved on January 1st, 1997. I was able to run it satisfactorily until we had to move to another place in Paris (because of the anti-asbestos work in progress on the main campus). This migration generated such tensions in the lab that I decided to leave after one and a half year.
Daniel Lazard took over.

D. After my retirement (2003)

D.1 - Research

My main research activity is a collaboration with Reza Razavi starting in 2004 when he got a position at University of Luxembourg.
My contribution is to better articulate his intuitions [66]. He decided to apply his technique to ambient intelligence [65], and he recently discovered that the particular case of Wireless Sensor Networks was indeed suitable for an experimental realisation using the ActorNet system developed by Gul Agha and his students [67 - 70]. I presented our paper [69] at the IJCAI workshop in Hyderabad in January 2007, and recently gave a talk based on [70] in Rio de Janeiro, at the invitation of J.-P. Briot (September 2007).
This line of research is still active.

This led me to renew my contacts with the Smalltalk community, via the yearly conference ofganised by ESUG (European Smalltalk Users Group). Our paper [66] first appeared as a paper at ESUG 2004 (Research Track), and a preliminary version of the development [67 - 70] was presented in the software contest at ESUG 2005. As a consequence, I am co-chairing the Program Committee of ESUG 2007 (Research Track, renamed International Conference on Dynamic Languages), with Serge Demeyer, U. of Anvers.

I am pursuing a somewhat philosophical enquiry on the foundations of Object Oriented Programming along the critical lines of my synthesis paper [58]. My latest presentation of this topic was an invited talk at the Plateforme AFIA 2007 in Grenoble in July 2007 (the Plateforme AFIA is a meeting organised every second year by the Association Française d'Intelligence Artificielle).

I am also currently engaged in a cooperation with Jean-Pierre Briot, Zahia Guessoum and other members of LIP6 on the twin projects FACOMA-FTATC (fault-tolerant multi-agent systems and their use in Air Traffic Control), as well as on the Horizon project (multi-agent systems for future Internet).

D.2 - Teaching

I have developed several new topics which are independent from the regular courses of the Department :

a) Client-server programming (HTML, JavaScript, PHP) - for the Department of Continued Education of UPMC

b) XML and Web services in Java - for engineering schools

c) Character representation (Unicode) - for linguists, mainly students of INaLCO (Institut National des Langues et Civilisations Orientales)

d) Finite automata and Context-free Grammars (idem)

D.3 - Other activities

Chair of the scientific council of EPITA (private engineering school in Paris)

UPMC's representative on the Board of the Institut de la Francophonie pour l'Informatique (IFI), Hanoï, Vietnam

Two-week mission in Rio de Janeiro (PUC = Pontifícia Universidade Católica), in September 2007

Visiting Professor at Kyôto University (Ishida & Matsubara Laboratory), March-May 2008

Member of the A-2 panel (Computer science) in the Evaluation process set up by the Italian CNR (Consiglio Nazionale delle Ricerche) March-November 2009

List of Publications

[1] Sur quelques familles de parties des monoïdes abéliens libres,
C.R. Acad. Sci. Paris, 261 (1965) p. 3008 - 3011.

[2] On Abelian Regular Events,
Conference on the Algebraic Theory of Machines, Languages and Semigroups, Asilomar (Calif.) 1966
extended version Sur les K-langages abéliens, 12p. mimeographed, 1967.

[3] Über die kommutative Hülle contextfreier Sprachen,
4. Colloquium über Automatentheorie, Munich 1967, p. 113 - 119.

[4] Sur la fermeture commutative des C-langages,
C.R. Acad. Sci. Paris, 265 (1967) p. 597 - 600.

[5] Un résultat extrémal en théorie des permutations,
C.R. Acad. Sci. Paris, 266 (1968) p. 446 - 448,
with A. Jacques, C. Lenormand & A. Lentin.

[6] "Contrat Graphes", Convention de recherches DGRST n° 66 FR 002, mimeographed final report, Institut de Programmation, Paris, 1968.

[7] Endliche Automaten und Prefixcodes, in  J. Dörr u. G. Hotz (Hrsgb.),
Automatentheorie und formale Sprachen, B. I. Mannheim 1970, p. 39 - 53.

[8] Sur les codes préfixes complets finis,
C.R. Acad. Sci. Paris, 269 (1969) p. 1116 - 1118,
with D. Perrin.

[9] Note sur le théorème des demi-degrés,
Revue de l'AFCET, R.I.R.O. R-2 (1970), p. 29 - 31,
with C. Lenormand.

[10] Sur le calcul effectif du monoïde de transitions d'un automate fini, in
International Computing Symposium 1970, Bonn, W.D. Itzfeldt ed., p. 665 - 672.

[11] On the Relationship between Finite Automata, Finite Monoids, and Prefixcodes,
2nd ACM Symposium on Theory of Computing, 1970,  p. 217 - 220.

[12] Beziehungen zwischen den kombinatorischen Eigenschaften einer formalen Sprache und der algebraischen Struktur ihres syntaktischen Monoids, in
G. Hotz u.  C.P. Schnorr,  Tagung über formale Sprachen, Mitteilungen der GMD Bonn n° 8, 1970,  p. 30 - 32.

[13] Une généralisation du monoïde bicyclique, C.R. Acad. Sci. Paris, 271 (1970)
p.  824 - 827,
with M. Nivat.

[14] Congruences et automorphismes des automates finis,
Acta Informatica 1 (1970) p. 159 - 172,
with D. Perrin.

[15] Groups and Automata,
in Theory of Machines and Computations, Z. Kohavi & A. Paz, Eds., Academic Press 1972, p. 287 - 293.

[16] Une famille de monoïdes 0-bismples généralisant le monoïde bicyclique,
Séminaire Dubreil (Algèbre), 25ème année, 1971/72, n°3, 15 p.

[17] Contribution à l'étude des monoïdes syntactiques et de certains groupes associés aux codes préfixes finis, Thèse Sc. Math., Université Paris-VI, 1972
(Jury: Arsac, Nivat, Schützenberger, Verdier).

[18] Groupe de permutations associés aux codes préfixes finis, in Permutations,
Actes d'un Colloque tenu à Paris, réunis par A. Lentin, Gauthier-Villars 1974
p. 19 - 35.

[19] Une théorie algébrique des automates finis monogènes,
Symposia Mathematica (Rome) (1975) p. 201 - 244.

[20] APL Programs for the Direct Computation of a Finite Semigroup, in
APL Congress '73, North-Holland 1973, p. 67 - 74,
with F.G. Cousineau & J.M. Rifflet.

[21] Monoïdes syntactiques des langages rationnels,
Cahiers mathématiques, Montpellier, 3 (1974) - Journées mathématiques S.M.F. - p. 281 - 296.

[22] Langages déterministes et groupes abéliens, in
Automata Theory and Formal Languages, 2nd G.I. Conference, Lecture Notes in Computer Science n° 33 (1975)
p. 20 - 30,
with J. Sakarovitch.

[23] Monoïdes syntactiques et familles de langages rationnels,
Séminaire Dubreil (Algèbre), 28ème année, 1974/75, n° 11, 9 p.

[25] Monoïdes syntactiques des langages algébriques,
Acta Informatica 7 (1977) p. 399 - 413.

[26] Utilisations d'APL pour calculer des monoïdes finis,
Bull. Soc. Math. France, Mémoire 49-50 (1977) p. 159 - 176.

[27] Calcul dans un monoïde fini de transformations,
Astérisque n° 38-39  - Journées algorithmiques -  (1976) p. 203 - 211.

[28] Introduction aux monoïdes syntactiques des langages algébriques,
Actes de l'Ecole de Printemps sur les langages algébriques, J.P. Crestin et M. Nivat,  Eds., ENSTA, Paris 1978, p. 167 - 222.

[29] Informatique et Algèbre : la théorie des codes à longueur variable (invited talk) in 
Automata Theory and Formal Languages, 3rd GI Conference Lecture Notes in Computer Science n° 48, Springer 1977, p. 27 - 44.

[30] On Regular Semigroups, Finite Automata and Prefixcodes, in
Algebraic Theory of Semigroups, Colloquia Mathematica Societatis Janos Bolyai, G. Pollak, Ed., North-Holland 1979, p. 393 - 401.

[31] A Theory of Syntactic Monoids for Context-Free Languages, in
Information Processing '77, North-Holland 1977, p. 69 - 72 ,
with J. Sakarovitch.

[32] On the Theory of Syntactic Monoids for Rational Languages, in
Fundamentals of Computation Theory, Lecture Notes in Computer Science n° 56, Springer 1977, p. 152 - 165.

[33] Sur les monoïdes syntactiques finis et la théorie des codes à longueur variable,
Publications de l'Institut de Programmation n° 15, Paris 1977.

[34] Variétés de langages et opérations,
Theoretical Computer Science 7 (1978) p. 197 - 220.

[35] Codage des graphes planaires, d'après R. Cori,
Séminaire d'Informatique théorique vol. 1, Paris 1977.

[36] Sur le théorème du défaut,
Journal of Algebra 60 (1979) p. 169 - 180,
avec D. Perrin, J. Berstel & A. Restivo.

[37] Monoïdes syntactiques et ambiguïté inhérente des langages algébriques, in 
Non-Commutative Structures in Algebra and Geometric Combinatorics, A. De Luca Ed., Quaderni de "La Ricerca Scientifica" n° 109, Rome 1981, p. 61 - 70.

[38] Finite Syntactic Monoids, in
Fundamentals of Computation Theory, FCT '79, L. Budach, Ed., Akademie-Verlag, Berlin 1979, p. 544 - 558,
with J.-E. Pin.

[39] A propos des groupes dans certains monoïdes syntactiques, in 
Semigroups, H. Jürgensen, Ed., Lecture Notes in Mathematics n° 855, Springer 1981, p. 83 - 91,
with D. Perrin.

[40] Codes de Brandt,
Actes de l'Ecole de Printemps de Jougne, 1980
[41] Lisp et lambda-calcul, in
Lambda-calcul et sémantique formelle des langages de programmation, B. Robinet, Ed., Paris 1979, p. 277 - 301.

[42] Sur la structure des interprètes Lisp, in 
Colloque "Codages et Transductions", Florence 1979.

[43] Lisp dans l'enseignement, in 
Actes de l'Université d'Eté Européenne sur Langages informatiques et Enseignement à Nice, 3-13 juillet 1984 (Bruxelles, Commission des Communautés Européennes, 1985)  p. 18-26,

[44] Programmer, c'est représenter un savoir, ou  De la bonne manière d'utiliser les langages de programmation, in 
Aspects of the Scientific Cooperation among France, Italy and Spain on Information Technology, M. Furnari, A. Massarotti, G. Tamburrini & S. Termini (eds), Bibliopolis, Naples 1992 [Actes d'un colloque tenu en 1986] , p. 125-134.

[45] Preface of a book by G. Kiremitdjian & J.-P. Roy,
Lire Lisp... le langage de l'Intelligence Artificielle, Paris, Nathan 1985

[46] Multics, guide de l'usager, Masson, Paris 1986
with J. Berstel.

[47]  Sur une base de règles de Jean-Louis Laurière, Actes des journées du LIPN, Villetaneuse 1989, p. 49 - 61.

[48] Preface of a book by P. Lignelet,
Structures de données avec ADA (2 vol.), Paris, Masson 1990

[49] Lisp et lambda-calcul en Licence d'Informatique,
Les langages applicatifs dans l'enseignement de l'informatique
(Actes de la journée MRT, Paris, 20 mars 1991)
Bigre 73, juin 1991, pages 145-153.

[50] Representation of Complex Objects : Multiple Facets with Part-Whole Hierarchies, 
ECOOP '91, p. 288-306
with F. Wolinski

[51] Programmation par Objets : Mode d'emploi ?, in
Premier colloque africain sur la recherche en informatique, Yaoundé 1992. Actes, M. Tchuenté, ed., INRIA, 1992, Vol. 1, p. 3-14.

[52] Modélisation par objets en robotique,
Technique et science informatiques (TSI) 11 (1992), p. 97-115
with F. Wolinski

[53] Rule Firing with Metarules,
Software Engineering and Knowledge Engineering - SEKE '94, vol.21, Jurmala, Lettonie, pp.322-329, 1994
with F. Pachet

[54] Report on the NéOpus system.
Workshop OOPSLA on EOOPS, Portland, octobre 1994
with F. Pachet

[55] A Meta Modeling Technique,
Workshop on AI and OO Software Engineering, OOPSLA '94, 1994.
with G. Blain, N.Revault , H. Sahraoui,

[56] A Metamodeling Technique: The MétaGen System, in
TOOLS 16, Versailles 1995, pp.127-139.
with N.Revault , H. Sahraoui, G. Blain

[57] Editorial et esquisse panoramique,
Systèmes à objets : tendances actuelles et évolution special issue of Technique et science informatiques (TSI) 15, n° 6 (1996) Systèmes à objets : tendances actuelles et évolution
with Amedeo Napoli

[58] Objets, classes, héritage, in 
Langages et Modèles à Objets : Etat des recherches et perspectives, Ducournau, Masini & Napoli, Eds, INRIA 1998, p. 3-31.

[59] Un outil pour la conception des base de données à objets,
Technique et Science Informatiques (TSI), 17, (1998), p. 839-868
avec H.Sahraoui, N. Revault, G. Blain

[60] A Multi-agent CASE Tool Environment, in
Advances in Computer and Information Sciences '98 (ISCIS XIII), IOS press 1998, p. 559-565
with H.Sahraoui, N. Revault, G. Blain.

[61] La métaphore du dossier.
XVIIe congrès INFORSID (Inforsid'99). Assoc. Inforsid, Toulouse. pp. 279-299
with B. Lesueur, G. Sunyé, Z. Guessoum, G. Blain

[62] On Meta-Modeling Formalisms and Rule-Based Model Transforms,  in
Iwme'00 workshop at Ecoop'00 (Nice, 2000)
with N. Revault & X. Blanc

[63] Traduction de méta-modèles, In
Langages et Modèles à Objets (Lmo'01), R. Godin & I. Borne (ed), L'Objet - logiciel, bases de données, réseaux, Vol 7 - n° 1-2/2001,  pp. 95-111
with N. Revault et X. Blanc

[64] Génération de systèmes multi-agents à partir de modèles,
JFSMA, 2003, pp. 107-111, novembre 2003.
with A. Thiefaine, Z. Guessoum,  G. Blain

[65] Adaptive Modeling: An Approach and a Method for Implementing Adaptive Agents.
MMAS 2004,  Ishida, Gasser, Nakashila, Eds, LNCS 3346 (2005), 136-148
with R. Razavi & N. Guelfi

[66] Language support for adaptive object-models using metaclasses.
Elsevier Int. journal Computer Languages, Systems and Structures. Bouraqadi, N. and Wuyts, R. (Eds.) Vol. 31, Number 3-4 (2005)
with Razavi, R., Bouraqadi, N., Yoder, J.W., Johnson, R

[67] Ambiance: Adaptive Object Model-based Platform for Macroprogramming Sensor Networks.
 Poster session extended abstract. OOPSLA 2006 Companion.
with Razavi, R., Mechitov, K., Sundresh, S., Agha, G.

[68] Dart: A Meta-Level Object-Oriented Framework for Task-Specific, Artifact-Driven Behavior Modeling.
6th OOPSLA Workshop on Domain-Specific Modeling Languages (DSML’06) (2006)
with Razavi, R., Johnson, R.

[69] Dynamic Macroprogramming of Wireless Sensor Networks with Mobile Agents.
AITAmI2007 (IJCAI07 Workshop on Artificial Intelligence Techniques for Ambient Intelligence)
with Razavi, R., Mechitov, K., Agha, G.

[70] Ambiance: A Mobile Agent Platform for End-User Programmable Ambient Systems,  in
J.C. Augusto & D. Shapiro, Eds, Advances in Ambient Intelligence, vol. 164 IOS Press (2007)
with Razavi, R., Mechitov, K., Agha, G.

Supervision of PhD theses

F. Rodriguez 1975
J. Sakarovitch 1979
E. Neidl 1980
J.E. Pin 1981
I. Borne 1984
B. Serpette 1984
P. Cointe 1985
J.-P. Regourd 1985
J.-J. Lacrampe 1985
O. Ravelomanantsoa 1985
R. Voyer 1989
J.-P. Briot 1989
F. Wolinski 1990
R. Bourgeois 1990
P. Boizumault 1991
F.-X. Testard-Vaillant 1991
H. Sahraoui 1995
N. Revault 1996
Z. Guessoum 1996
F. Pachet 1997
A. Slodzian 1998
G. Sunyé 1999
R. Razavi 2001