Philippe Codognet -  Curriculum Vitae

Personal Data

 

Date of Birth :15/08/1963

Nationality : French

Affiliation : University of Paris 6, Dept. of Computer  Science,

       LIP6, case 169, 8 rue du Capitaine Scott, 75015 Paris.

Tel : +33 1 44 27 88 01

Fax : +33 1 44 27 70 00

Email : Philippe.Codognet@lip6.fr

Permanent address : 17 Avenue de la République, 75 015 Paris, France

Tel : +33 1 44 27 88 01     Fax : +33 1 44 27 70 00

Research and Work Experience

 

·        Since September 98 :

Full Professor of Computer Science at the University Pierre et Marie Curie (Paris 6)

Also: Scientific advisor at INRIA (French National Research Institute for Computer Science and Automation), project “Contraintes”.

 

·        November 1997 - August 98 :

Sabbatical leave at SONY Computer Science Laboratory - Paris  (Senior Researcher).

 

·        January 1990 - August1998 :

Senior Researcher at INRIA, Rocquencourt Research Center.

Head of the “LOCO” project (LOgic Programming and COnstraints) from 1996 to 1998.

 

·        September 1985 - December 1989 :

Researcher at Thomson-CSF Central Research Laboratory (Orsay, France).

 

 

Diploma

 

·        January 1995 :

Habilitation à diriger les recherches (research direction habilitation)

University of Orléans.

 

·        September 1985 -  January 1989 :

Ph.D. in Computer Science from the University of Bordeaux-I, with honors.

Title : Intelligent Backtracking in Logic Programming : from theory to implementation and application to parallelism.

Thesis advisors : Gilberto Filé et Bruno Courcelle.

 

·        September 1980 – June 1985 :

Bachelor and Masters of Computer Science, with honors, University of Bordeaux

 

Projects

 

 

·        National project (RNTL, Ministry of Industry and Ministry of Research) on “Constraint Solving for Design” (2001-2003), together with Dassault-Aviation, University of Nantes, CRIL  and ENSAM.

 

·        National project (RNTL, Ministry of Industry and Ministry of Research) on “Interactive Environment for Developing Virtual Agents in Virtual Worlds” (2001-2003), together with Cryo-Networks and University of Paris-7.

 

·        National project (RIAM, Ministry of Industry) on “Virtual Agents for Multimedia Applications”, together with Genie-Interactive.

 

·        Galileo projects (French-Italian cooperation, funded by the Ministry of Foreign Affairs) between the University of Paris 6 and the University of Padova (2000-2001) and between INRIA and the Universities of Pisa and Padova (1995-1998).

 

·        Alliance project (French-British cooperation, funded by the Ministry of Foreign Affairs) between INRIA and City University, London (1997-1998).

 

·        European Esprit project (Basic Research Action) ACCLAIM  (1992-1995): "Advanced Concurrent Constraint Languages : Application, Implementation and methodology''. This project was regrouping INRIA (P. Codognet), Swedish Institute for Computer Science (Sweden, S.Haridi), University of Marseille (France, A. Colmerauer), University of Pisa (Italy, U. Montanari), University of Madrid (Spain, M. Hermenegildo), University of Leuven (Belgium, B. Demoen), RISC-Linz (Austria, H. Hong), le DFKI (Germany, G. Smolka) et DEC-PRL (France, P. Van Roy, H. Ait-Kaci).

 

·        National project (inter-PRC, Ministry of Research) "Langages Logiques Concurrents avec Contraintes'' (1993-95). This project was regrouping INRIA (P. Codognet, coordinator), LIX (Ecole Polytechnique, R. Cousot and R. Giacobazzi), LIENS (Ecole Normale Supérieure, F. Fages and C. Codognet), University of Bordeaux (A. Rauzy and M-M. Corsini), University of Marseille (J-F. Pique) and University of Clermont-Ferrand (J-L. Imbert). The topic of the project was Concurrent Constraint Languages.

 

·        European Esprit project (HCM, Human Capability and Mobility) COMPULOG (1994-96), coordonnated by  L. Aiello, University of Roma. The aim of this project was to exchange post-doc students working on Computational Logic between INRIA, University of Roma, University of Pisa, University of Madrid, University of Lisbon and Imperial College (London).

 

·        European INTAS "Efficient Symbolic Computing" (1994-98), coordonnated by  J.M. Jacquet, University of Namur. This project was regrouping the Universities of Namur, Leuven, Bristol, Roma, Paris-7 and Irkutsk, INRIA, the Academy of Sciences of Moscow, Saint Petersburg and Kiev.

 

 

Scientific Responsabilities

 

·        Associations / Networks / Working Groups :

-         Since 1998, member of the executive committee of the Association for Logic Programming (about 500 members worldwide).

-         Member of the executive committee of CompulogNet, European Network of Excellence on Computational Logic, coordinator of the  "Concurrent and Constraint Logic Programming" topic (Esprit project regrouping more than one hundred Universities in Europe, Dec. 1996 – Dec. 1998).

-         Founding member of the ERCIM  working group on Constraints (European Consortium for  Informatics and Mathematics), coordonnated by   K. Apt (CWI, Amsterdam).

 

·        Journals :

-         Member of the editorial board of "Constraints, an International journal"

(Kluwer Academic Publisher).

-         Member of the editorial board of "ACM Transactions on Computational Logic"

(ACM Press).

 

·        Program Committes :

-         Program Chairman of ICLP2001, 17th International Conference on Logic Programming, Cyprus, Nov. 2001.

-         Program Chairman of the French conference on Logic Programming JFPLC2001, 10èmes Journées Francophones de Programmation en Logique et Contraintes, Paris, Apr. 2001.

-         Program committee member for CL2000, first international conference on Computational Logic, London, U.K., Jul. 2000.

-         Program committee member for SAB2000, 6th international conference on Simulation of Adaptive Behavior, Paris, Sept. 2000.

-         Program committee member for CP'96, CP'98, CP'2000 and CP2001, International Conference on Principles and Practice of Constraint Programming, Cambridge, USA, Aug. 1996, Pisa, Italy, Octobre 1998, Singapore, Sept. 2000 et Cyprus, Nov. 2001.

-         Program committee member for JICSLP'96 and JICSLP'98 , Joint International Conference and Symposium on Logic Programming, Bonn, Allemagne, Sept 1996, and Manchester, U. K., June 1998.

-         Program committee member for ICLP'99 and d’ICLP’94, International Conference on Logic Programming, Las Cruces, USA, Dec. 1999 and Genova, Italy, June 1994.

-         Program committee member for “Virtual Reality and Cognition”, Paris, Dec. 1999.

-         Program committee member for INAP'97, 10th Symposium and Exhibition on Industrial Applications of Prolog, Tokyo, Japan, Oct. 1997.

-         Program Chairman of CCP'95, first international workshop on Concurrent Constraint Programming, Venice, Italy, May 1995.

-         Program committee member for Logic Programming and Automated Reasoning LPAR'92, '93 , '94.

-         Program committee member for the Italian conference on Logic Programming GULP '91, '92, '93, '94.

-         Program committee member for the French conference on Logic Programming JFPL'92, '93, '94, '95, '96, '97, '98, '99, '2000

 

·        Organizing committes :

-         ASTI’2001, Sciences et Technologies de l'Information, Paris, Cité des Sciences, Apr. 2001.

-         ISEA2000, 10th International Symposium on Electronic Arts, Paris, Forum des Images, Dec. 2000.

 

·        Workshop organization :

-         Co-organization (with F. Rossi) of "Soft Constraint : Theory and Practice",  CP2000, 6th international conference on principle and practice of Constraint Programming, Singapore, Sept; 2000.

-         Co-organization (with F. Rossi, P. Meseguer and T. Walsh) of "Constraint Modeling and Solving", ECAI2000, European Conference on Artificial Intelligence, Berlin, Germany, Aug. 2000.

-         Co-organization (with F. Rossi) du workshop "Modeling and Programming with Soft Constraint", CP99, 5th international conference on principle and practice of Constraint Programming, Washington, USA, Oct. 1999.

-         Organization (in cooperation with the French Embassy in Tokyo), of the French-Japanese workshop "Virtual Reality : technological and sociological impact", Hakone, Japan, Dec. 1998.

-         Co-organization (with F. Pachet and G. Assayag) of "Constraint Techniques for Artistic Applications", ECAI98, European Conference on Artificial Intelligence, Brighton, U.K., Aug. 1998.

-         Co-organization (with U. Montanari, A. Podelski and V. Saraswat) of the  "Dagstuhl seminar on Concurrent Constraint Programming", Oct. 1997.

-         Organization of the first workshop of ERCIM/CompulogNet working group on Constraints", Paris, Jan. 1997.

-         Organization of the second workshop of ERCIM/CompulogNet working group on Constraints", Linz, Austria, Oct.1997.

-         Co-organizateur (with T. Frühwirth, M. Hermengildo, P. Tarau and F.Rossi) of "Constraint Reasoning on the Internet", CP97, Linz, Autria, Nov. 97.

-         Organization of INRIA school on Constraint Programming, March 1997.

-         Co-organization (with H. Guesgen, W. Hower and M. Meyer) of "Constraint Processing", ECAI 94, European Conference on Artificial Intelligence, Amsterdam, Aug. 1994.

-         Co-organization (with T. Kakas, P. Mancarela and P-M. Dung) of "Abductive reasoning”, ICLP 1993, 10th International Conference on Logic Programming, Budapest, Hongary, June 1993.

-         Co-organization (with C. Codognet) of "Defeasible reasoning and Constraint solving" ILPS'93, International Logic Programming Symposium, San Diego, USA, Oct. 1991.

 

 

      Publications

 

Edited Books

 

1.      P. Codognet (Ed). Proceedings de JFPLC2001, 9th Journées Francophones de Programmation Logique et programmation par Constraintes, Hermès, April 2001.

 

2.      P. Codognet (Editeur), Proceedings of ICLP’2001, 17th International Conference on Logic Programming, LNCS 2237, Springer Verlag, November 2001.

Special issues of International Journals

 

3.      P. Codognet (Ed.). "Special issue on Concurrent Constraint Programming", Science of Computer Programming, vol. 30, no. 1 & 2, January 1998.

 

4.      P. Codognet et F. Pachet (Eds), "Special issue on Constraints for multimedia applications", CONSTRAINTS, an International Journal, vol. 6, no. 1, 2000.

 

5.      P. Codognet et F. Rossi (Ed.), "Special issue on Soft Constraints", CONSTRAINTS, an International Journal, forthcoming, 2002.

 

                                 International Journal and Book Chapters

 

1.      D. Diaz and P. Codognet , “ The Design and Implementation of the GNU Prolog system ”, Journal of Functional and Logic Programming, forthcoming, 2001.

 

2.      P. Codognet, “A Constraint-based Language for Virtual Agents,” In: New Trends in Constraints, LNAI 1865, Springer Verlag 2000.

 

3.      S. Bistarelli, P. Codognet, Y. Georget, and F. Rossi, “Abstracting Soft Constraints,” In: New Trends in Constraints, LNAI 1865, Springer Verlag 2000.

 

4.      Y. Georget, P. Codognet and F. Rossi, "Constraint Retraction in CLP(FD): Formal Framework and Performance Results", CONSTRAINTS, an International Journal, vol. 4, no. 1, 1999.

 

5.      V. Saraswat, P. Van Hentenryck, P. Codognet et al., "Constraint Programming", ACM Computing Surveys, vol. 28, no. 4, Décembre 1996.

 

6.      P. Codognet, "The Virtuality of Constraints and the Constraints of Virtuality. Constraints", CONSTRAINTS, an International Journal, vol. 2, no. 1, 1997.

 

7.      P. Codognet and D. Diaz, "Local Propagation Methods for Solving Boolean Constraints in Constraint Logic Programming", Journal of automated reasoning, vol. 17, no. 1, 1996.

 

8.      P. Codognet and D. Diaz, "Compiling Constraints in clp(FD)", Journal of Logic Programming, vol. 27, no. 3, 1996.

 

9.      P. Codognet, "Programmation Logique avec Contraintes : une introduction",. Technique et Science Informatiques, vol. 14, no. 6, 1995.

 

10.  P. Codognet and G. Nardiello, "Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods", In: Constraint Programming : Basics and Trends, A. Podelski (Ed.), LNCS 910, Springer Verlag 1995.

 

11.  P. Codognet and C. Codognet, "A generalized semantics for concurrent constraint languages and their abstract interpretation",. In: Constraint Processing, M. Meyer (Ed.), LNCS 923, Springer Verlag, 1995.

 

12.  P. Codognet and J. Chassin de Kergommeaux, "Parallel Logic Programming Systems", ACM Computing Surveys, vol. 26, no.2, Juillet 1994.

 

13.  P. Codognet, F. Fages and T. Sola, "A meta-level compiler for CLP(FD) and its combination with intelligent backtracking", In: Constraint Logic Programming : Selected Research, A. Colmerauer, F. Benhamou (Eds.), MIT Press, 1993.

 

14.  P. Codognet, J. Chassin de Kergommeaux, P. Robert et J-C Syre, "Une revue des modèles de programmation logique parallèle", Technique et Science Informatiques, vol. 8, no 3 & 4, 1989.

 

Conférences internationales

 

1.      D. Diaz and P. Codognet. “Yet Another Local Search Method for Constraint Solving ”, proceedings of SAGA 2001, first Symposium on Stochastic Algorithms : Foundations and Applications, K. Steinhöfel (Ed.), LNCS, Springer Verlag, Dec. 2001.

 

2.      C. Truchet, P. Codognet and G. Assayag. “ Visual and Adaptive Constraint Programming in Music ”,. proceedings of ICMC'2001, International Computer Music Conference, La Habana, Cuba, September 2001.

 

3.      N. Richard, P. Codognet and A. Grumbach. “ The InViWo Toolkit : Describing Autonomous Virtual Agents and Avatars”, proceedings of IVA'2001, Intelligent Virtual Agents, A. de Antonio  et al. (Eds), LNAI 2190, Springer Verlag 2001.

 

4.      P. Codognet, “Animating virtual creatures by constraint-based adaptive search”, proceedings VSMM2000, Virtual Systems and Multimedia, Gifu, Japan, IOS Press 2000. Abstract presented at SIGGRAPH2000, sketches and applications section, New Orleans, USA, ACM Press 2000.

 

5.      P. Codognet, “Adaptive search : preliminary results”, proceedings ERCIM / CompulogNet Workshop on Constraints, Venise, Italy, June 2000.

 

6.      S. Bistarelli, P. Codognet, F. Rossi, “An Abstraction Framework for Soft Constraints, And Its Relationship with Constraint Propagation”, proceedings SARA 2000 (Symposium on Abstraction, Reformulation, and Approximation), Austin Texas, LNAI 1864, Springer Verlag 2000.

 

7.      S. Bistarelli, P. Codognet, Y. Georget, and F. Rossi, “Labeling and Partial Local Consistency for Soft Constraint Programming,” proceedings PADL'00, 2nd international workshop on Practical Aspects of Declarative Languages, Boston, USA, LNCS 1753, Springer Verlag 2000.

 

8.      D. Diaz and P. Codognet, “GNU Prolog: beyond compiling Prolog to C”, proceedings PADL'00, , 2nd international workshop on Practical Aspects of Declarative Languages, Boston, USA, LNCS 1753, Springer Verlag 2000.

 

9.      D. Diaz and P. Codognet, “The GNU Prolog System and its Implementation,”, proceedings of SAC'00, 14th ACM Symposium on Applied Computing, Como, Italy, 2000.

 

10.  P. Codognet, "Animating Autonomous Agents in Shared Virtual Worlds", proceedings DMS'99, IEEE International Conference on Distributed Multimedia Systems,  Aizu, Japan, IEEE Press 1999.

 

11.  P. Codognet, “Declarative Behaviors for Virtual Creatures,” proceedings of ICAT'99, 8th International Conference on Artificial Reality and Tele-presence, Tokyo, Japon, IOS Press 1999. Abstract presented at SIGGRAPH99, sketches and applications section, Los Angeles, USA, ACM Press 1999.

 

12.  P. Codognet, “An Historical Account of Indexical Images : from Ancient Art to the Web,” proceedings of VL'99, 7th IEEE International Conference on Visual Languages, Tokyo, Japon, IEEE Press 1999.

 

13.  N. Richard, P. Codognet, A. Grumbach, "The InViWo virtual agents", short papers proceedings of Eurographics'99,  Milan, Italie, 1999.

 

14.  P. Codognet, “A Constraint-based Language for describing Agent Behaviors in Virtual Worlds,” proceedings of VSMM'98, 6th international conference onVirtual Systems and Multimedia, Gifu, Japon, IOS Press 1998.

 

15.  P. Codognet and Y. Georget, “Encoding Global Constraints in Semiring-based Constraint Solving,” proceedings of ICTAI'98, IEEE International Conference on Tools with Artificial Intelligence, Taipeh, Taiwan, IEEE Press1998.

 

16.  P. Codognet and Y. Georget, “Compiling Semiring-based Constraints with clp(FD,S),” proceedings of CP'98, 4th International conference on principle and practice of Constraint Programming, Pise, Italie, LNCS, Springer Verlag 1998.

 

17.  N. Richard, P. Codognet, and A. Grumbach, “Using constraints to describe high-level behaviours in Virtual Worlds,” short papers proceedings of Eurographics'98, Lisbonne, Portugal, 1998.

 

18.  P. Codognet, Y. Georget and F. Rossi, "Implementing Constraint Retraction for Finite Domains", proceedings of ASIAN'97, 3rd Asian Computing Conference, R. Shyamasundar and K. Ueda (Ed.), Kathmandou, Népal, LNCS 1345, Springer Verlag 1997.

 

19.  P. Codognet and E. Chailloux, "Towards Visual Constraint Programming (abstract)", proceedings of VL'98, 6th IEEE International Conference on Visual Languages, Capri, Italie, IEEE Press 1997.

 

20.  P. Codognet, D. Diaz and F. Rossi, "Constraint Retraction in FD", proceedings of FST&TCS, 16th Conference on Foundations of Software Technology and Theoretical Computer Science, V. Chandru et V. Vinay (Ed.), Hyderabad, Inde, LNCS 1180, Springer Verlag 1996.

 

21.  P. Codognet, "The semiotics of the Web", 2nd Fall School on Semiotics, Varna, Bulgarie, Septembre 1996.

 

22.  P. Codognet and C. Codognet, "Guarded Constructive Disjunction : Angel or Demon ?", proceedings of CP'95, 1st International Conference on Principles and Practice of Constraint Programming, Cassis, LNCS 976, Springer Verlag 1995.

 

23.  P. Codognet and Francesca Rossi, "NMCC Programming: Constraint Enforcement and Retraction in CC Programming", proceedings of ICLP'95, 12th International Conference on Logic Programming, Tokyo, Japan, MIT Press 1995.

 

24.  P. Codognet and D. Diaz, "WAMCC: Compiling Prolog to C", proceedings of ICLP'95, 12th International Conference on Logic Programming, Tokyo, Japon, MIT Press 1995.

 

25.  P. Codognet, "The Art of Logic and the Logic of Art (abstract)", proceedings of LMPS'95, 10th International Congress on Logic, Methodology and Philosophy of Science, Florence, Italy, 1995.

 

26.  P. Codognet and D. Diaz, "Finite Domain Constraints in Constraint Logic Programming (abstract)",  proceedings of EURO XIV, 14th European Conference on Operational Research, Jerusalem, Israel, 1995.

 

27.  P. Codognet, "A Tabulation Method for Constraint Logic Programming", proceedings of INAP'95, 8th Symposium and Exhibition on Industrial Applications of Prolog, Tokyo, Japan, Oct. 1995.

 

28.  P. Codognet and C. Codognet, "Abduction and Concurrent Logic Languages", proceedings of ECAI'94, European Conference on Artificial Intelligence A. G. Cohn (Ed.), Amsterdam, Pays-Bas, Wiley 1994.

 

29.  P. Codognet and G. Nardiello, "Path consistency in clp(FD)", proceedings of CCL'94, First International Conference on  Constraints in Computational Logic, J-P. Jouannaud (Ed.), Munich, Germany, LNCS 845, Springer Verlag 1994.

 

30.  P. Codognet and D. Diaz, "clp(B) : Combining Simplicity and Efficiency in Boolean Constraint Solving", proceeding of PLILP'94, Programming Languages Implementation and Logic Programming, M. Hermenegildo (Ed.), Madrid, Spain, LNCS 844, Springer Verlag 1994.

 

31.  P. Codognet, C. Codognet, M. Quaggetto and V. Loia, "Sleepers: a versatile high-level control mechanism", proceeding of PLILP'94, Programming Languages Implementation and Logic Programming, M. Hermenegildo (Ed.), Madrid, Spain, LNCS 844, Springer Verlag 1994.

 

32.  E. Chailloux, C. Codognet and P. Codognet, "Finite Domain Constraints in the ML Functional Language (abstract)", proceedings of ICTAI'94, 6th IEEE International Conference on Tools with Artificial Intelligence, P. Takis Metaxas (Ed.), New Orleans, USA, IEEE Press 1994.

 

33.  D. Diaz and P. Codognet, "A Minimal Extension of the WAM for clp(FD)", proceedings of ICLP'93, 10th International Conference on Logic Programming, Budapest, Hungary, MIT Press 1993.

 

34.  F. Menezes, P. Codognet and P. Barahona, "An incremental hierarchical constraint solver", proceedings of PPCP'93, First Workshop on Principle and Practice of Constraint Processing, Newport, USA, 1993.

 

35.  P. Codognet and D. Diaz, "Boolean Constraint Solving using clp(B/FD)", proceedings of ILPS'93, International Logic Programming Symposium, Vancouver, Canada, MIT Press 1993.

 

36.  F. Menezes, P. Codognet and P. Barahona, "An incremental hierarchical constraint solver applied to a time-tabling problem", proceedings of the 10th Workshop on expert systems and applications, Avignon, France, 1993.

 

37.  P. Codognet, S. Abreu, L. M. Pereira, "Improving Backward execution in the Andorra Family of Languages", proceedings of JICSLP'92, Joint International Conference and Symposium on Logic Programming, K. Apt (Ed.), Washington, USA, MIT Press 1992.

 

38.  P. Codognet and G. Filé, "Computations, Abstractions and Constraints in Logic Programs", proceedings of ICCL'92, IEEE International Conference on Computer Languages, Oakland, USA, IEEE Press 1992.

 

39.  P. Codognet and V. Saraswat, "Abduction in Concurrent Constraint Languages", proceedings of the first Compulog network meeting on Logic Programming and Artificial Intelligence, London, U.K., 1992.

 

40.  P. Codognet and T. Sola, "Extending the WAM for Intelligent Backtracking", proceedings of ICLP'91, 8th International Conference on Logic Programming, K. Furukawa (Ed.), Paris, France, MIT Press 1991.

 

41.  P. Codognet and G. Filé, "Abstractions and Constraints", proceedings JTASPEFL'91, BIGRE 74, Bordeaux, France, 1991.

 

42.  P.  Codognet, C.  Codognet and M.-M. Corsini, "Abstract Interpretation for Concurrent Logic Languages", proceedings of NACLP'90, North-American Conference on Logic Programming, M. Hermenegildo and S. Debray (Eds.), Austin, USA, MIT Press 1990.

 

43.  P. Codognet and P. Savéant, "A Metalanguage for Representation and Control in Assumption-based Problem Solvers", proceedings of SEKE'90, 2nd International Conference on Software and knowledge Engineering, Skokie, USA, 1990.

 

44.  P. Codognet, "An extended concurrent logic language with non-determinism", proceedings of ICYCS'91, 2nd International Conference for Young Computer Scientists, Beijing, China, International Academic Publishers 1991.

 

45.  P. Codognet and C. Codognet, "Non-deterministic Stream And-parallelism via Intelligent Backtracking", proceedings of ICLP'89, 6th International Conference on Logic Programming, L. Pereira and A. Porto (Eds.), Lisbonne, MIT Press 1989.

 

46.  P. Codognet, C. Codognet and G. Filé, "Yet another Intelligent Backtracking Method", proceedings of ICLP'88, 5th International Conference/Symposium on Logic Programming, R. A. Kowalski (Ed.), Seattle, USA, MIT Press 1988.

 

47.  P. Codognet, C. Codognet, G. Filé, "A very intelligent backtracking method for logic Programs", proceedings of ESOP 86, European Symposium On Programming, Saarbrucken, Germany, LNCS 213, Springer Verlag 1986.

 

 

Conférences nationales

 

1.      G. Dore and P. Codognet, "A Prototype Compiler for Prolog with Booleans", proceedings of GULP 93, 8th Italian Conference on Logic Programming, Gizzeria Lido, Italy, 1993.

 

2.      P. Codognet, C. Codognet, G. Filé, "Depth-first Intelligent Backtracking", actes de la conférence AFCET-GROPLAN "langages et algorithmes", Rennes, BIGRE+GLOBULE 59, Avril 1988.

 

3.      P. Codognet, "Programmation Logique Parallèle", actes du séminaire sur la Programmation en Logique, CNET, Trégastel, 1987.

 

4.      P. Codognet, C. Codognet and G. Filé, "Backtracking Intelligent en Programmation Logique", actes du séminaire sur la Programmation en Logique, CNET, Trégastel, 1986.

 

From Philippe.Codognet@lip6.fr Tue May 28 05:08:47 2002 Received: from concorde.inria.fr by beaune.inria.fr (8.8.8/1.1.22.3/14Sep99-0328PM) id FAA0000018103; Tue, 28 May 2002 05:08:46 +0200 (MET DST) Received: from nsx.nii.ac.jp (nsx.nii.ac.jp [136.187.17.2]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id g4S38fD20653 for ; Tue, 28 May 2002 05:08:41 +0200 (MET DST) Received: from nsx.nii.ac.jp (localhost [127.0.0.1]) by nsx.nii.ac.jp (8.10.2/3.7Wpl2-NSX-20011101) with ESMTP id g4S38dC13889 for ; Tue, 28 May 2002 12:08:39 +0900 (JST) Received: from newns.op.nii.ac.jp (newns [136.187.9.3]) by nsx.nii.ac.jp (8.10.2/3.7Wpl2-NSX-20011101) with SMTP id g4S38cu13885 for ; Tue, 28 May 2002 12:08:38 +0900 (JST) Received: (qmail 10576 invoked from network); 28 May 2002 12:08:38 +0900 Received: from localhost (HELO lip6.fr) (127.0.0.1) by localhost with SMTP; 28 May 2002 12:08:38 +0900 Message-ID: <3CF2F4B4.B010A2CE@lip6.fr> Date: Tue, 28 May 2002 12:08:36 +0900 From: Philippe Codognet X-Mailer: Mozilla 4.7 [fr] (WinNT; U) X-Accept-Language: fr MIME-Version: 1.0 To: philippe.codognet@inria.fr Subject: cv eng 2 Content-Type: multipart/mixed; boundary="------------F265AA4CC5715F7AA36652D3" Status: O Il s'agit d'un message multivolet au format MIME. --------------F265AA4CC5715F7AA36652D3 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit --------------F265AA4CC5715F7AA36652D3 Content-Type: text/html; charset=iso-8859-1; name="CV-ENG.html" Content-Transfer-Encoding: 8bit Content-Disposition: inline; filename="CV-ENG.html" Curriculum Vitae

Philippe Codognet - Curriculum Vitae

Personal Data

Date of Birth :15/08/1963

Nationality : French

Affiliation : University of Paris 6, Dept. of ComputerScience, 

LIP6, case 169, 8 rue du Capitaine Scott, 75015 Paris.

Tel : +33 1 44 27 88 01 

Fax : +33 1 44 27 70 00

Email :Philippe.Codognet@lip6.fr

Permanent address : 17 Avenue de la République, 75 015 Paris, France

Tel : +33 1 44 27 88 01 Fax : +33 1 44 27 70 00

Research and Work Experience

·Since September 98 :

Full Professor of Computer Science at the University Pierre et Marie Curie (Paris 6)

Also: Scientific advisor at INRIA (French National Research Institute for Computer Science and Automation), project “Contraintes”.

·November 1997 - August 98 :

Sabbatical leave at SONY Computer Science Laboratory - Paris(Senior Researcher).

·January 1990 - August1998 :

Senior Researcher at INRIA, Rocquencourt Research Center.

Head of the “LOCO” project (LOgic Programming and COnstraints) from 1996 to 1998.

·September 1985 - December 1989 :

Researcher at Thomson-CSF Central Research Laboratory (Orsay, France).

Diploma

·January 1995 : 

Habilitation à diriger les recherches (research direction habilitation) 

University of Orléans.

·September 1985 -January 1989 :

Ph.D. in Computer Science from the University of Bordeaux-I, with honors. 

Title : Intelligent Backtracking in Logic Programming : from theory to implementation and application to parallelism.

Thesis advisors : Gilberto Filé et Bruno Courcelle.

·September 1980 – June 1985 : 

Bachelor and Masters of Computer Science, with honors, University of Bordeaux

Projects

·National project (RNTL, Ministry of Industry and Ministry of Research) on “Constraint Solving for Design” (2001-2003), together with Dassault-Aviation, University of Nantes, CRILand ENSAM.

·National project (RNTL, Ministry of Industry and Ministry of Research) on “Interactive Environment for Developing Virtual Agents in Virtual Worlds” (2001-2003), together with Cryo-Networks and University of Paris-7.

·National project (RIAM, Ministry of Industry) on “Virtual Agents for Multimedia Applications”, together with Genie-Interactive.

·Galileo projects (French-Italian cooperation, funded by the Ministry of Foreign Affairs) between the University of Paris 6 and the University of Padova (2000-2001) and between INRIA and the Universities of Pisa and Padova (1995-1998).

·Alliance project (French-British cooperation, funded by the Ministry of Foreign Affairs) between INRIA and City University, London (1997-1998).

·European Esprit project (Basic Research Action) ACCLAIM(1992-1995): "Advanced Concurrent Constraint Languages : Application, Implementation and methodology''. This project was regrouping INRIA (P. Codognet), Swedish Institute for Computer Science (Sweden, S.Haridi), University of Marseille (France, A. Colmerauer), University of Pisa (Italy, U. Montanari), University of Madrid (Spain, M. Hermenegildo), University of Leuven (Belgium, B. Demoen), RISC-Linz (Austria, H. Hong), le DFKI (Germany, G. Smolka) et DEC-PRL (France, P. Van Roy, H. Ait-Kaci). 

·National project (inter-PRC, Ministry of Research) "Langages Logiques Concurrents avec Contraintes'' (1993-95). This project was regrouping INRIA (P. Codognet, coordinator), LIX (Ecole Polytechnique, R. Cousot and R. Giacobazzi), LIENS (Ecole Normale Supérieure, F. Fages and C. Codognet), University of Bordeaux (A. Rauzy and M-M. Corsini), University of Marseille (J-F. Pique) and University of Clermont-Ferrand (J-L. Imbert). The topic of the project was Concurrent Constraint Languages. 

·European Esprit project (HCM, Human Capability and Mobility) COMPULOG (1994-96), coordonnated byL. Aiello, University of Roma. The aim of this project was to exchange post-doc students working on Computational Logic between INRIA, University of Roma, University of Pisa, University of Madrid, University of Lisbon and Imperial College (London).

·European INTAS "Efficient Symbolic Computing" (1994-98), coordonnated byJ.M. Jacquet, University of Namur. This project was regrouping the Universities of Namur, Leuven, Bristol, Roma, Paris-7 and Irkutsk, INRIA, the Academy of Sciences of Moscow, Saint Petersburg and Kiev.

Scientific Responsabilities

·Associations / Networks / Working Groups :

-Since 1998, member of the executive committee of the Association for Logic Programming (about 500 members worldwide).

-Member of the executive committee of CompulogNet, European Network of Excellence on Computational Logic, coordinator of the"Concurrent and Constraint Logic Programming" topic (Esprit project regrouping more than one hundred Universities in Europe, Dec. 1996 – Dec. 1998).

-Founding member of the ERCIMworking group on Constraints (European Consortium forInformatics and Mathematics), coordonnated byK. Apt (CWI, Amsterdam). 

·Journals :

-Member of the editorial board of "Constraints, an International journal" 

(Kluwer Academic Publisher). 

-Member of the editorial board of "ACM Transactions on Computational Logic" 

(ACM Press).

·Program Committes :

-Program Chairman of ICLP2001, 17th International Conference on Logic Programming, Cyprus, Nov. 2001.

-Program Chairman of the French conference on Logic Programming JFPLC2001, 10èmes Journées Francophones de Programmation en Logique et Contraintes, Paris, Apr. 2001.

-Program committee member for CL2000, first international conference on Computational Logic, London, U.K., Jul. 2000.

-Program committee member for SAB2000, 6th international conference on Simulation of Adaptive Behavior, Paris, Sept. 2000.

-Program committee member for CP'96, CP'98, CP'2000 and CP2001, International Conference on Principles and Practice of Constraint Programming, Cambridge, USA, Aug. 1996, Pisa, Italy, Octobre 1998, Singapore, Sept. 2000 et Cyprus, Nov. 2001.

-Program committee member for JICSLP'96 and JICSLP'98 , Joint International Conference and Symposium on Logic Programming, Bonn, Allemagne, Sept 1996, and Manchester, U. K., June 1998.

-Program committee member for ICLP'99 and d’ICLP’94, International Conference on Logic Programming, Las Cruces, USA, Dec. 1999 and Genova, Italy, June 1994.

- Program committee member for “Virtual Reality and Cognition”, Paris, Dec. 1999.

-Program committee member for INAP'97, 10th Symposium and Exhibition on Industrial Applications of Prolog, Tokyo, Japan, Oct. 1997.

-Program Chairman of CCP'95, first international workshop on Concurrent Constraint Programming, Venice, Italy, May 1995.

-Program committee member for Logic Programming and Automated Reasoning LPAR'92, '93 , '94.

-Program committee member for the Italian conference on Logic Programming GULP '91, '92, '93, '94.

-Program committee member for the French conference on Logic Programming JFPL'92, '93, '94, '95, '96, '97, '98, '99, '2000

·Organizing committes :

-ASTI’2001, Sciences et Technologies de l'Information, Paris, Cité des Sciences, Apr. 2001.

-ISEA2000, 10th International Symposium on Electronic Arts, Paris, Forum des Images, Dec. 2000.

·Workshop organization :

-Co-organization (with F. Rossi) of "Soft Constraint : Theory and Practice",CP2000, 6th international conference on principle and practice of Constraint Programming, Singapore, Sept; 2000.

-Co-organization (with F. Rossi, P. Meseguer and T. Walsh) of "Constraint Modeling and Solving", ECAI2000, European Conference on Artificial Intelligence, Berlin, Germany, Aug. 2000.

-Co-organization (with F. Rossi) du workshop "Modeling and Programming with Soft Constraint", CP99, 5th international conference on principle and practice of Constraint Programming, Washington, USA, Oct. 1999.

-Organization (in cooperation with the French Embassy in Tokyo), of the French-Japanese workshop "Virtual Reality : technological and sociological impact", Hakone, Japan, Dec. 1998.

-Co-organization (with F. Pachet and G. Assayag) of "Constraint Techniques for Artistic Applications", ECAI98, European Conference on Artificial Intelligence, Brighton, U.K., Aug. 1998.

-Co-organization (with U. Montanari, A. Podelski and V. Saraswat) of the"Dagstuhl seminar on Concurrent Constraint Programming", Oct. 1997.

-Organization of the first workshop of ERCIM/CompulogNet working group on Constraints", Paris, Jan. 1997.

-Organization of the second workshop of ERCIM/CompulogNet working group on Constraints", Linz, Austria, Oct.1997.

-Co-organizateur (with T. Frühwirth, M. Hermengildo, P. Tarau and F.Rossi) of "Constraint Reasoning on the Internet", CP97, Linz, Autria, Nov. 97.

-Organization of INRIA school on Constraint Programming, March 1997.

-Co-organization (with H. Guesgen, W. Hower and M. Meyer) of "Constraint Processing", ECAI 94, European Conference on Artificial Intelligence, Amsterdam, Aug. 1994.

-Co-organization (with T. Kakas, P. Mancarela and P-M. Dung) of "Abductive reasoning”, ICLP 1993, 10th International Conference on Logic Programming, Budapest, Hongary, June 1993.

-Co-organization (with C. Codognet) of "Defeasible reasoning and Constraint solving" ILPS'93, International Logic Programming Symposium, San Diego, USA, Oct. 1991.



 Publications

Edited Books

1.P. Codognet (Ed). Proceedings de JFPLC2001, 9th Journées Francophones de Programmation Logique et programmation par Constraintes, Hermès, April 2001. 

2.P. Codognet (Editeur), Proceedings of ICLP’2001, 17th International Conference on Logic Programming, LNCS 2237, Springer Verlag, November 2001.

Special issues of International Journals

3.P. Codognet (Ed.). "Special issue on Concurrent Constraint Programming", Science of Computer Programming, vol. 30, no. 1 & 2, January 1998. 

4.P. Codognet et F. Pachet (Eds), "Special issue on Constraints for multimedia applications", CONSTRAINTS, an International Journal, vol. 6, no. 1, 2000.

5.P. Codognet et F. Rossi (Ed.), "Special issue on Soft Constraints", CONSTRAINTS, an International Journal, forthcoming, 2002.

 International Journal and Book Chapters 

1.D. Diaz and P. Codognet , “ The Design and Implementation of the GNU Prolog system ”, Journal of Functional and Logic Programming, forthcoming, 2001.

2.P. Codognet, “A Constraint-based Language for Virtual Agents,” In: New Trends in Constraints, LNAI 1865, Springer Verlag 2000.

3.S. Bistarelli, P. Codognet, Y. Georget, and F. Rossi, “Abstracting Soft Constraints,” In: New Trends in Constraints, LNAI 1865, Springer Verlag 2000.

4.Y. Georget, P. Codognet and F. Rossi, "Constraint Retraction in CLP(FD): Formal Framework and Performance Results", CONSTRAINTS, an International Journal, vol. 4, no. 1, 1999. 

5.V. Saraswat, P. Van Hentenryck, P. Codognet et al., "Constraint Programming", ACM Computing Surveys, vol. 28, no. 4, Décembre 1996.

6.P. Codognet, "The Virtuality of Constraints and the Constraints of Virtuality. Constraints", CONSTRAINTS, an International Journal, vol. 2, no. 1, 1997.

7.P. Codognet and D. Diaz, "Local Propagation Methods for Solving Boolean Constraints in Constraint Logic Programming", Journal of automated reasoning, vol. 17, no. 1, 1996.

8.P. Codognet and D. Diaz, "Compiling Constraints in clp(FD)", Journal of Logic Programming, vol. 27, no. 3, 1996.

9.P. Codognet, "Programmation Logique avec Contraintes : une introduction",. Technique et Science Informatiques, vol. 14, no. 6, 1995.

10.P. Codognet and G. Nardiello, "Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods", In: Constraint Programming : Basics and Trends, A. Podelski (Ed.), LNCS 910, Springer Verlag 1995.

11.P. Codognet and C. Codognet, "A generalized semantics for concurrent constraint languages and their abstract interpretation",. In: Constraint Processing, M. Meyer (Ed.), LNCS 923, Springer Verlag, 1995.

12.P. Codognet and J. Chassin de Kergommeaux, "Parallel Logic Programming Systems", ACM Computing Surveys, vol. 26, no.2, Juillet 1994.

13.P. Codognet, F. Fages and T. Sola, "A meta-level compiler for CLP(FD) and its combination with intelligent backtracking", In: Constraint Logic Programming : Selected Research, A. Colmerauer, F. Benhamou (Eds.), MIT Press, 1993.

14.P. Codognet, J. Chassin de Kergommeaux, P. Robert et J-C Syre, "Une revue des modèles de programmation logique parallèle", Technique et Science Informatiques, vol. 8, no 3 & 4, 1989.

Conférences internationales

1.D. Diaz and P. Codognet. “Yet Another Local Search Method for Constraint Solving ”, proceedings of SAGA 2001, first Symposium on Stochastic Algorithms : Foundations and Applications, K. Steinhöfel (Ed.), LNCS, Springer Verlag, Dec. 2001.

2.C. Truchet, P. Codognet and G. Assayag. “ Visual and Adaptive Constraint Programming in Music ”,. proceedings of ICMC'2001, International Computer Music Conference, La Habana, Cuba, September 2001.

3.N. Richard, P. Codognet and A. Grumbach. “ The InViWo Toolkit : Describing Autonomous Virtual Agents and Avatars”, proceedings of IVA'2001, Intelligent Virtual Agents, A. de Antonioet al. (Eds), LNAI 2190, Springer Verlag 2001.

4.P. Codognet, “Animating virtual creatures by constraint-based adaptive search”, proceedings VSMM2000, Virtual Systems and Multimedia, Gifu, Japan, IOS Press 2000. Abstract presented at SIGGRAPH2000, sketches and applications section, New Orleans, USA, ACM Press 2000.

5.P. Codognet, “Adaptive search : preliminary results”, proceedings ERCIM / CompulogNet Workshop on Constraints, Venise, Italy, June 2000.

6.S. Bistarelli, P. Codognet, F. Rossi, “An Abstraction Framework for Soft Constraints, And Its Relationship with Constraint Propagation”, proceedings SARA 2000 (Symposium on Abstraction, Reformulation, and Approximation), Austin Texas, LNAI 1864, Springer Verlag 2000. 

7.S. Bistarelli, P. Codognet, Y. Georget, and F. Rossi, “Labeling and Partial Local Consistency for Soft Constraint Programming,” proceedings PADL'00, 2nd international workshop on Practical Aspects of Declarative Languages, Boston, USA, LNCS 1753, Springer Verlag 2000.

8.D. Diaz and P. Codognet, “GNU Prolog: beyond compiling Prolog to C”, proceedings PADL'00, , 2nd international workshop on Practical Aspects of Declarative Languages, Boston, USA, LNCS 1753, Springer Verlag 2000.

9.D. Diaz and P. Codognet, “The GNU Prolog System and its Implementation,”, proceedings of SAC'00, 14th ACM Symposium on Applied Computing, Como, Italy, 2000.

10.P. Codognet, "Animating Autonomous Agents in Shared Virtual Worlds", proceedings DMS'99, IEEE International Conference on Distributed Multimedia Systems,Aizu, Japan, IEEE Press 1999. 

11.P. Codognet, “Declarative Behaviors for Virtual Creatures,” proceedings of ICAT'99, 8th International Conference on Artificial Reality and Tele-presence, Tokyo, Japon, IOS Press 1999. Abstract presented at SIGGRAPH99, sketches and applications section, Los Angeles, USA, ACM Press 1999.

12.P. Codognet, “An Historical Account of Indexical Images : from Ancient Art to the Web,” proceedings of VL'99, 7th IEEE International Conference on Visual Languages, Tokyo, Japon, IEEE Press 1999.

13.N. Richard, P. Codognet, A. Grumbach, "The InViWo virtual agents", short papers proceedings of Eurographics'99,Milan, Italie, 1999.

14.P. Codognet, “A Constraint-based Language for describing Agent Behaviors in Virtual Worlds,” proceedings of VSMM'98, 6th international conference onVirtual Systems and Multimedia, Gifu, Japon, IOS Press 1998.

15.P. Codognet and Y. Georget, “Encoding Global Constraints in Semiring-based Constraint Solving,” proceedings of ICTAI'98, IEEE International Conference on Tools with Artificial Intelligence, Taipeh, Taiwan, IEEE Press1998.

16.P. Codognet and Y. Georget, “Compiling Semiring-based Constraints with clp(FD,S),” proceedings of CP'98, 4th International conference on principle and practice of Constraint Programming, Pise, Italie, LNCS, Springer Verlag 1998.

17.N. Richard, P. Codognet, and A. Grumbach, “Using constraints to describe high-level behaviours in Virtual Worlds,” short papers proceedings of Eurographics'98, Lisbonne, Portugal, 1998.

18.P. Codognet, Y. Georget and F. Rossi, "Implementing Constraint Retraction for Finite Domains", proceedings of ASIAN'97, 3rd Asian Computing Conference, R. Shyamasundar and K. Ueda (Ed.), Kathmandou, Népal, LNCS 1345, Springer Verlag 1997.

19.P. Codognet and E. Chailloux, "Towards Visual Constraint Programming (abstract)", proceedings of VL'98, 6th IEEE International Conference on Visual Languages, Capri, Italie, IEEE Press 1997.

20.P. Codognet, D. Diaz and F. Rossi, "Constraint Retraction in FD", proceedings of FST&TCS, 16th Conference on Foundations of Software Technology and Theoretical Computer Science, V. Chandru et V. Vinay (Ed.), Hyderabad, Inde, LNCS 1180, Springer Verlag 1996.

21.P. Codognet, "The semiotics of the Web", 2nd Fall School on Semiotics, Varna, Bulgarie, Septembre 1996.

22.P. Codognet and C. Codognet, "Guarded Constructive Disjunction : Angel or Demon ?", proceedings of CP'95, 1st International Conference on Principles and Practice of Constraint Programming, Cassis, LNCS 976, Springer Verlag 1995.

23.P. Codognet and Francesca Rossi, "NMCC Programming: Constraint Enforcement and Retraction in CC Programming", proceedings of ICLP'95, 12th International Conference on Logic Programming, Tokyo, Japan, MIT Press 1995.

24.P. Codognet and D. Diaz, "WAMCC: Compiling Prolog to C", proceedings of ICLP'95, 12th International Conference on Logic Programming, Tokyo, Japon, MIT Press 1995. 

25.P. Codognet, "The Art of Logic and the Logic of Art (abstract)", proceedings of LMPS'95, 10th International Congress on Logic, Methodology and Philosophy of Science, Florence, Italy, 1995.

26.P. Codognet and D. Diaz, "Finite Domain Constraints in Constraint Logic Programming (abstract)",proceedings of EURO XIV, 14th European Conference on Operational Research, Jerusalem, Israel, 1995.

27.P. Codognet, "A Tabulation Method for Constraint Logic Programming", proceedings of INAP'95, 8th Symposium and Exhibition on Industrial Applications of Prolog, Tokyo, Japan, Oct. 1995.

28.P. Codognet and C. Codognet, "Abduction and Concurrent Logic Languages", proceedings of ECAI'94, European Conference on Artificial Intelligence A. G. Cohn (Ed.), Amsterdam, Pays-Bas, Wiley 1994.

29.P. Codognet and G. Nardiello, "Path consistency in clp(FD)", proceedings of CCL'94, First International Conference onConstraints in Computational Logic, J-P. Jouannaud (Ed.), Munich, Germany, LNCS 845, Springer Verlag 1994. 

30.P. Codognet and D. Diaz, "clp(B) : Combining Simplicity and Efficiency in Boolean Constraint Solving", proceeding of PLILP'94, Programming Languages Implementation and Logic Programming, M. Hermenegildo (Ed.), Madrid, Spain, LNCS 844, Springer Verlag 1994.

31.P. Codognet, C. Codognet, M. Quaggetto and V. Loia, "Sleepers: a versatile high-level control mechanism", proceeding of PLILP'94, Programming Languages Implementation and Logic Programming, M. Hermenegildo (Ed.), Madrid, Spain, LNCS 844, Springer Verlag 1994.

32.E. Chailloux, C. Codognet and P. Codognet, "Finite Domain Constraints in the ML Functional Language (abstract)", proceedings of ICTAI'94, 6th IEEE International Conference on Tools with Artificial Intelligence, P. Takis Metaxas (Ed.), New Orleans, USA, IEEE Press 1994.

33.D. Diaz and P. Codognet, "A Minimal Extension of the WAM for clp(FD)", proceedings of ICLP'93, 10th International Conference on Logic Programming, Budapest, Hungary, MIT Press 1993.

34.F. Menezes, P. Codognet and P. Barahona, "An incremental hierarchical constraint solver", proceedings of PPCP'93, First Workshop on Principle and Practice of Constraint Processing, Newport, USA, 1993.

35.P. Codognet and D. Diaz, "Boolean Constraint Solving using clp(B/FD)", proceedings of ILPS'93, International Logic Programming Symposium, Vancouver, Canada, MIT Press 1993. 

36.F. Menezes, P. Codognet and P. Barahona, "An incremental hierarchical constraint solver applied to a time-tabling problem", proceedings of the 10th Workshop on expert systems and applications, Avignon, France, 1993.

37.P. Codognet, S. Abreu, L. M. Pereira, "Improving Backward execution in the Andorra Family of Languages", proceedings of JICSLP'92, Joint International Conference and Symposium on Logic Programming, K. Apt (Ed.), Washington, USA, MIT Press 1992. 

38.P. Codognet and G. Filé, "Computations, Abstractions and Constraints in Logic Programs", proceedings of ICCL'92, IEEE International Conference on Computer Languages, Oakland, USA, IEEE Press 1992.

39.P. Codognet and V. Saraswat, "Abduction in Concurrent Constraint Languages", proceedings of the first Compulog network meeting on Logic Programming and Artificial Intelligence, London, U.K., 1992.

40.P. Codognet and T. Sola, "Extending the WAM for Intelligent Backtracking", proceedings of ICLP'91, 8th International Conference on Logic Programming, K. Furukawa (Ed.), Paris, France, MIT Press 1991.

41.P. Codognet and G. Filé, "Abstractions and Constraints", proceedings JTASPEFL'91, BIGRE 74, Bordeaux, France, 1991.

42.P.Codognet, C.Codognet and M.-M. Corsini, "Abstract Interpretation for Concurrent Logic Languages", proceedings of NACLP'90, North-American Conference on Logic Programming, M. Hermenegildo and S. Debray (Eds.), Austin, USA, MIT Press 1990.

43.P. Codognet and P. Savéant, "A Metalanguage for Representation and Control in Assumption-based Problem Solvers", proceedings of SEKE'90, 2nd International Conference on Software and knowledge Engineering, Skokie, USA, 1990.

44.P. Codognet, "An extended concurrent logic language with non-determinism", proceedings of ICYCS'91, 2nd International Conference for Young Computer Scientists, Beijing, China, International Academic Publishers 1991.

45.P. Codognet and C. Codognet, "Non-deterministic Stream And-parallelism via Intelligent Backtracking", proceedings of ICLP'89, 6th International Conference on Logic Programming, L. Pereira and A. Porto (Eds.), Lisbonne, MIT Press 1989.

46.P. Codognet, C. Codognet and G. Filé, "Yet another Intelligent Backtracking Method", proceedings of ICLP'88, 5th International Conference/Symposium on Logic Programming, R. A. Kowalski (Ed.), Seattle, USA, MIT Press 1988.

47.P. Codognet, C. Codognet, G. Filé, "A very intelligent backtracking method for logic Programs", proceedings of ESOP 86, European Symposium On Programming, Saarbrucken, Germany, LNCS 213, Springer Verlag 1986.

Conférences nationales

1.G. Dore and P. Codognet, "A Prototype Compiler for Prolog with Booleans", proceedings of GULP 93, 8th Italian Conference on Logic Programming, Gizzeria Lido, Italy, 1993.

2.P. Codognet, C. Codognet, G. Filé, "Depth-first Intelligent Backtracking", actes de la conférence AFCET-GROPLAN "langages et algorithmes", Rennes, BIGRE+GLOBULE 59, Avril 1988.

3.P. Codognet, "Programmation Logique Parallèle", actes du séminaire sur la Programmation en Logique, CNET, Trégastel, 1987.

4.P. Codognet, C. Codognet and G. Filé, "Backtracking Intelligent en Programmation Logique", actes du séminaire sur la Programmation en Logique, CNET, Trégastel, 1986.