Diffusion de résultats

Animation de la communauté scientifique

Pierre Lescanne est le modérateur de la liste de diffusion électronique «rewriting».
Frédéric Lang et Pierre Lescanne ont organisé la journée de Pôle du GDR Programmation à Lyon: «Mélanges de systèmes algébriques et de systèmes logiques».
Luigi Liquori a donné, dans le cadre de l'équipe Plume, une série hebdomadaire de cours sur le Calcul à Objets de Abadi et Cardelli.
Plume organise un groupe de travail sur les calculs pour la mobilité au cours de l'année scolaire 1999/2000, auquel participe des membres de l'équipe et des étudiants de DEA.
Pierre Lescanne a été membre du comité de programme à la conférence PPDP'99 (Principe et pratique de la programmation déclarative).
Pierre Lescanne est éditeur d'un numéro spécial du journal Applicable Algebra (AAECC) issu du workshop international sur la Terminaison de 99.
Kristoffer Rose a été membre du comité de programme à la conférence PEPM'99 (Evaluation partielle et manipulation des programmes).

Enseignement universitaire

Pierre Lescanne est responsable du département de mathématiques et informatique de l'ENS de Lyon
Pierre Lescanne a assuré des cours au DEA d'informatique de Lyon (années 1998-1999 et 1999-2000)
Luigi Liquori a assuré un cours au Magistère Informatique et Modélisation sur les calculs des objets, 1998/1999.
Kristoffer Rose a assuré un cours au Magistère Informatique et Modélisation sur le lambda-calcul et réécriture, et a été responsables des projets.

Participation à des colloques, séminaires, visites a l'étranger, séminaires invités

Pierre Lescanne a participé aux «Journées Vérification et modélisation» du GDR Programmation (9-11 décembre 1999), a Besançon. Il a présenté une vue des problèmes posés par la certification par preuve des protocoles cryptographiques.
Jean Duprat, Frédéric Lang, Pierre Lescanne et Luigi Liquori ont participé à la première rencontre du groupe de travail «Sémantique, Vérification et Spécification dans les Langages Objets» pôle Objets du GDR ALP (30 janvier 1999, Villefranche sur Mer). Frédéric Lang a présenté le calcul des objets avec adresses et substitutions explicites.
Luigi Liquori a fait des exposé sur la sûreté des langages à objets à Chambery (Java is not type sound), à l'IRISA de Rennes, et au LIFL de Lille.
Frédéric Lang a fait deux exposés sur les systèmes de réécriture de termes à adresses au laboratoire Leibniz et au laboratoire LSR, à Grenoble.
Frédéric Prost a fait un exposé sur l'analyse statique dans le système F à la conférence CADE 15 (Conference on Automated Deduction), à Trento (Italie), dans le cadre de la fédération de conférences FLOC'99.
Frédéric Prost a fait un exposé au laboratoire LRI de l'Université d'Orsay en octobre 1999, avec pour titre «Analyse des dépendances et théorie des types».
Pierre Lescanne a donné un séminaire sur les calculs d'objets en juin au LIM (laboratoire d'Informatique de Marseille).
Jean Duprat a présenté la formalisation en Coq de l'algorithme de comptage de références à la conférences TYPES '99, sous le titre «Proof of correctness of a distributed reference counting».
Daniel Hirschkoff a présenté son travail de thèse à la Technische Universität de Munich (Allemagne), à l'occasion d'un séjour invité du 30 août au 3 septembre.
Pierre Lescanne a participé au 4th International Workshop on Termination (WST '99) les 10-11-12 mai 1999, à Dagstuhl (Allemagne).
Pierre Lescanne a participé aux conférences LICS'99 (Logique en informatique) et RTA'99 (réécriture) et au workshop WESTAPP'99 (substitutions explicites) lors de la fédération de conférence FLOC'99 Trente (Italie).
Pierre Lescanne et Luigi Liquori ont participé à la conférence Formal Methods'99 à Toulouse en septembre 99, où Luigi Liquori a fait un exposé sur les calculs d'objets.
Pierre Lescanne a participé à la conférence PPDP'99 (Principe et pratique de la programmation déclarative) à Paris en septembre 99.
Pierre Lescanne a donné une conférence le 24 octobre sur les protocoles cryptographiques dans le cadre de la Semaine de la Science.
Pierre Lescanne a participé à la journée de présentation du programme TELECOM du CNRS le 4 novembre à Paris.
Kristoffer Rose a été inviter au «Workshop on Linear Abstract Machines (WoLAM'99)» à Birmingham pour donner l'éxposé «Why Using Variables is More Efficient than First-Order Codings».
Eva Rose et Kristoffer Rose ont participé au «Réunion de l'action coopérative Java Card» ou Eva Rose a presenter leur implantation de «Lightweight Bytecode Verification».

Précédent : Collaboration avec l'ENS de Paris Remonter : PLUME Suivant : Références