Précédent : Actions régionales, nationales et internationales Remonter : Projet CRISTAL, Programmation typée, modularité Suivant : Références
Précédent : Actions régionales, nationales et
internationales Remonter : Projet CRISTAL, Programmation typée,
modularité Suivant : Références
Michel Mauny est vice-président du Comité des Projets de l'INRIA-Rocquencourt. Il fait partie du groupe d'experts «Sciences et technologies de l'information» (DSPT4) auprès de la Mission Scientifique et Technique du MENESR.
Pierre Weis est membre du Comité d'UR de Rocquencourt.
Pierre Weis gère et modère la tribune de discussion de Caml et Caml Light (407 abonnés). En outre, Pierre Weis continue à suivre et à encourager les efforts des professeurs des classes préparatoires. Il a mis en place le site WEB de l'Union des Professeurs de Mathématiques Spéciales, hébergé par le serveur du projet. Ce serveur est maintenant maintenu par Hubert Fauque.
Le projet Cristal, et plus particulièrement Xavier Leroy, Sylvie Loubressac, François Pessaux, François Rouaix et Pierre Weis ont participé activement à la préparation et la réalisation de démonstrations pour les journées «Portes ouvertes» de Rocquencourt, organisées à l'occasion de la Science en Fête.
Xavier Leroy a été membre des comités de programmes suivants: International Conference on Functional Programming 1997, Types in Compilation 1997, et Principles of Programming Languages 1998.
Michel Mauny est membre du comité de lecture de la revue Fifth Generation Computing.
Christian Queinnec est membre du comité de programme de Programming Languages, Implementations, Logics and Programs 1997 et, en compagnie de Paul Hudak (Yale), co-président du comité de programme de International Conference on Functional Programming 1998.
Didier Rémy est responsable du comité de programme (Program Chair) de l'atelier Foundations of Object Oriented Programming qui aura lieu en janvier 1998 en conjonction avec la conférence Principle of Programming Languages.
Didier Rémy sera président (General Chair) de la conférence International Conference on Functional Programming 1999. À ce titre il a rejoint le comité directeur de la conférence ( steering committee) pour une durée de quatre ans.
François Rouaix est membre du comité de programme des Journées Francophones des Langages Applicatifs 1998 et de la septième conférence internationale sur le World Wide Web (avril 1998).
Xavier Leroy et Christian Queinnec encadrent la thèse de François Pessaux.
Michel Mauny encadre les thèses d'Émilie Sayag, Christian Rinderknecht et de Robert Harley.
Christian Queinnec dirige la thèse de Thierry Saura (Paris 6) dont le sujet porte sur l'interopérabilité entre le modèle mémoire de C et celui des langages fonctionnels. Le but de ce travail est d'assurer une reconnaissance dynamique du type des données de C sans impact sur leur représentation.
Christian Queinnec a participé aux jurys de thèse d'Emmanuel Zarpas (ENST), Laurent Winckel (Paris 6), ainsi qu'au jury d'habilitation de Jacques Malenfant (Nantes).
Didier Rémy encadre les thèses de François Pottier et Jérôme Vouillon.
Pierre Weis encadre la thèse de Jun Furuse.
Guy Cousineau est responsable du DEA «Sémantique, Preuves et Programmation» (SPP) (Paris 6-7-11, X, ENS). Michel Mauny est responsable de la filière «Langages» de ce DEA.
Didier Rémy assure le cours Typage et Programmation dans le DEA SPP. Xavier Leroy et Michel Mauny interviennent dans ce cours (20h au total). Dans ce même DEA, Xavier Leroy assure le cours de compilation avancée (20h).
Christian Queinnec, Professeur à l'Université Paris 6, a une demi-charge de Maître de Conférences à l'École Polytechnique où il enseigne des langages de programmation.
Michel Mauny, Didier Rémy et Pierre Weis sont Chefs de travaux pratiques à l'École Polytechnique. Michel Mauny assure les travaux dirigés du Tronc Commun d'Informatique, ainsi que les travaux dirigés des cours d'approfondissement de Scheme et Java (80h au total). Didier Rémy assure les travaux dirigés du Tronc Commun d'Informatique, ainsi que les travaux dirigés des cours d'approfondissement de langages et compilation (80h au total). Pierre Weis y a assuré cette année les travaux pratiques des élèves qui ont suivi le cours de tronc commun en Caml.
Michel Mauny a donné une semaine de cours (15h) de Programmation Fonctionnelle à l'ISIA (Sophia-Antipolis).
Valérie Ménissier-Morain a enseigné le génie logiciel en IUP Miage 2 à l'Université d'Évry Val d'Essonne (24h de cours/TD/TP). Elle enseigne à l'université Paris 6 (où elle a été nommée de Maître de Conférence début septembre 1997) des TD/TP de programmation (56h) en licence d'informatique et des TD/TP d'algorithmique (48h) en DEUG MIAS.
François Pottier est chargé de travaux pratiques d'algorithmique à l'Université Paris 7 (64h). Il s'agit d'un enseignement du langage Caml Light en deuxième année de DEUG.
Christian Rinderknecht a dirigé les travaux pratiques de Caml de la classe de mathématiques spéciales du lycée Stanislas (Paris) (50h).
Émilie Sayag a occupé pendant l'année universitaire 1996-97 un poste d'ATER à l'université Paris 7 (192h) où elle a enseigné la logique et la programmation objet en licence d'informatique, l'algorithmique en deuxième année d'IUP informatique. Ce poste a été renouvelé pour l'année universitaire 1997-98 (192h). Émilie Sayag enseigne comme l'année précédente la logique en licence d'informatique, l'algorithmique en deuxième année d'IUP informatique et la logique en troisième année d'IUP informatique.
Pierre Weis a assuré, en amphithéâtre, les cours d'algorithmique et programmation du CNAM.
Pierre Weis et François Rouaix ont donné une semaine de cours de programmation en Caml aux ingénieurs système de l'INRIA-Rocquencourt.
Jun Furuse, Xavier Leroy, Michel Mauny, François Pottier, Didier Rémy, Jérôme Vouillon et Pierre Weis ont participé au colloque Principles of Programming Languages ainsi qu'aux ateliers satellites Foundations of Object-Oriented Languages et Domain-Specific Languages (Paris, 15-19 janvier 1997). Au congrès POPL, Jérôme Vouillon a présenté ses travaux avec Didier Rémy sur Objective ML [ 14 ].
Xavier Leroy et Pierre Weis ont participé au colloque International Conference on Functional Programming et à l'atelier Types in Compilation (Amsterdam, 8-11 juin 1997). Xavier Leroy a présenté un article sur l'efficacité des optimisations à base de types [6] à l'atelier Types in Compilation.
Xavier Leroy a été invité à la réunion du groupe de travail IFIP 2.8 (Harrogate, Grande-Bretagne, 2-6 juin 1997). Xavier Leroy et François Rouaix ont été invités à l'atelier Security and Languages (Palo Alto, Californie, 30-31 octobre 1997) puis à Microsoft Research (Redmont, Washington, 3 novembre). À ces trois manifestations, ils ont présenté leur travail sur la sécurité des applets [5].
Michel Mauny et Christian Rinderknecht ont été invités au groupe de travail de l'ISO SC21/WG3 , concernant la normalisation du langage de spécification de protocoles de télécommunication ASN.1. La réunion avait lieu à Londres, au British Standard Institute. Le texte qu'ils y ont présenté [24] concernant le modèle sémantique d'ASN.1 a été soumis à l'approbation des pays membres.
Michel Mauny s'est rendu à Hanoi fin octobre 1997 où il a tenu le stand INRIA à l'exposition Initiatives'97, ainsi qu'à Pékin où il a fait un exposé à l'Institute Of Software sur le langage Objective Caml et ses utilisations.
François Pessaux a participé aux Journées Francophones des Langages Applicatifs (Dolomieu, 20-22 janvier 1997) et y a présenté un article issu de son travail de DEA Ajout d'une conditionnelle dans un système de modules à la Caml. Il a également suivi l'École des Jeunes Chercheurs du GDR Programmation (Sophia-Antipolis, 17-28 mars 1997). Il a assisté au Symposium on Static Analysis (Paris, 8-10 septembre 1997).
Christian Queinnec a participé aux colloques suivants: le Continuation Workshop 97 dont il était membre du comité de programme, la réunion du Lisp User Group à Munich où il a présenté une synthèse de ses travaux, la conférence NOTERE'97 où il a présenté [11] et le colloque OBPDC'97 où il a présenté [10]. Enfin, Luc Moreau a présenté à USENIX '97 leur article commun [8].
Dans le cadre du réseau d'excellence VIM, Christian Queinnec a rendu visite à Mario Furnari (CNR, Naples) et à Luc Moreau (Université de Southampton), et a participé à la réunion annuelle de VIM à Lanjaron où a été présenté [18] en collaboration avec Luc Moreau.
Christian Queinnec a également présenté ses travaux à l'université de Milan à l'invitation du Pr. Stefano Cerri et à l'université de Genève à l'invitation de Jan Vitek.
Didier Rémy a participé au séminaire Dagstuhl sur les langages parallèles de haut niveau (High-Level Concurrent Languages) en Allemagne du 20 au 22 janvier. Il y a présenté ses travaux en commun avec le projet Para et Cosimo Laneve de l'université de Bologne sur le typage du calcul Join [ 3 ]. Il a également présenté ce travail à l'atelier CONFER à Bologne du 24 au 26 Mars, et à la conférence CONCUR en Pologne du 1er au 4 Juillet. À cette occasion, Didier Rémy a également assisté à la conférence Logic in Computer Science, en Pologne.
Didier Rémy s'est rendu au Japon pour la conférence Theoretical Aspects of Computer Software, où il a présenté ses travaux en commun avec Jacques Garrigue [ 4 ]. À cette occasion, il a rendu visite à Jacques Garrigue à l'université de Kyoto et a assisté à l'atelier Theories of Types and Proofs (TTP) à l'université de Kyoto où il a présenté ses travaux sur un calcul d'objets avec extension et sous-typage [ 25 ].
François Rouaix a participé aux Journées du GDR Programmation (Rennes, 12-14 novembre 1997) où il a présenté son travail sur la sécurité des applets en collaboration avec Xavier Leroy.
Pierre Weis s'est rendu à Luminy au colloque de l'association des professeurs de mathématiques des classes préparatoires, du 28 avril au 2 mai 1997, où il a fait une communication sur le typage polymorphe en Caml.
En collaboration avec Bernard Lang et Véronique Viguié Donzeau-Gouge, Pierre Weis a écrit un article dans le journal Le Monde du 1er octobre 1997, intitulé «Internet, nouvelle utopie humaniste?». À la suite de cet article, Pierre Weis a participé à l'émission Samedi-Dimanche de Pierre Gantz sur les «Netdays». Cette émission a été diffusée le 18 octobre 1997 sur Radio France International.
Précédent : Actions régionales, nationales et
internationales Remonter : Projet CRISTAL, Programmation typée,
modularité Suivant : Références