Calendrier des réunions

 
 Mai 98
 
Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1 2 3
4 tour de table  5 6 7 8 9 10
11 Exposé d'Ewen Denney 12 13 14 15 16 17
18 Exposé d'un certain Tonton O. 
     ``Utilisation d'un système de programmation logiciel tabulé ''  
     (l'exposé original est de David S. Warren)		 19 20 21 22 23 24
25 Rebelote. Tonton O. a plein d'exposés en réserve : 
     ``Arbres de connaissance'' (travaux de Pierre Lévy)		 26 27 28 29 30 31
 

Avril 98
 

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1 2 Habilitation d'Olivier  3 (fin EJC)  4 5
6 Norbert Eisinger, Université de Munich 
   ``The Tableau Browser SNARKS''		 7 8 9 10 11 12
13 férié 
 		 14 15 16 17 18 19
20 Exposé de Julien :  
     ``Symbolic Cost Analysis and Automatic Data 
       Distribution for a Skeleton-Based Language'' 		 21 22 23 24 25 26
27 Claire Loiseaux (VIP / DIAD) 
    ``Abstraction preservant des propriétés pour la  
       vérification de systèmes concurrents'' 		 28 29 30

Résumé(s)

Title:    The Tableau Browser SNARKS
Speaker:  Norbert Eisinger, Université de Munich
Abstract:
          SNARKS is a graphical tool for the analysis of tableau
          derivations as generated by model generating inference
          engines in the style of Satchmo [Manthey/Bry 1988].
          The talk will give an overview of the functionality
          of SNARKS for debugging purposes and will also describe
          a database application currently under development.

Mars 98
 

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1
2 tour de table  3 4 5 6 7 8
9 Exposé de Mireille : 
    ``Traceur Prolog par instrumentation''		 10 11 12 13 14 15
16  ``Qualité de service dans une logique temporelle 
         compositionnelle'', 
      Bruno Mermet		 17 18 19 20 21 22
23 répétition des exposés COLQ de 
    Marc Éluard et Frédéric Besson 
    (2 fois 20 mn) 
   (début  École Jeunes Chercheurs)		 24 25 26 27 28 29
30 Discussion au sujet de la politique de l'Irisa  
             en matière d'équipement en machines 
             (voir questionnaire)		 31
 

Février 98  (désormais, horaire 2nd semestre)
 

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1
2 tour de table  3 4 5 6 7 8
9 Viewpoint consistency, 
   John Derrick		 10 11 12 13 14 15
16 Agents mobiles, 
     Siegfried 		 17 18 19 20 21 22
23 Aspect-Oriented Programming 
     and Exceptions, 
     Mario Südholt		 24 25 26 Thèse de Nick  
     (E. Volanski, pas Nick Jensen) 
     salle Minquiers 
 		 27 28
 

Janvier 98

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1 2 3 4
5 tour de table  6 7 8 9 10 11
12 sujet de l'exposé ,  
     Rémi Douence		 13 14 15 16 Aspect-Oriented   
     Programming,   
     Gregor Kiczales ,   
    14h00 salle Métivier		 17 18
19 Sécurité, Analyse 
       d'audit (résumé), 
      Ludovic Me		 20 21 22 23 24 25
26 Reverse engineering 
      of Fortran code using 
      algebraic specification 
     (résumé), 
     Christine Choppy 		 27 28 29 9h  30 Thèse de Lionel 
     10h30 salle Minquiers
 

Décembre 97
 

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1 tour de table   
   Salle Guernesey		 2 3 4 5 6 7
8 SOS 9 10 11 12 13 14
15 méthode B  
    Salle Guernesey		 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31

Novembre 97

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1 2
3 tour de table 
   à l'INSA 
   salle ebihens		 4 5 6 7 8 9
10 méthode B 
      reporté au 
     15 décembre		 11 Ferié 12 13 14 15 16
17 D.Parigot 18  19 20 21 22 23
24 séminaire 25 séminaire 26 27 28 29 Portes 
     ouvertes 
     Irisa		 30 Portes 
     ouvertes 
     Irisa

Octobre 97

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1 2 3 4 5
6 7 8 9 10 11 12
13 première 14 15 16 17 18 19
20 CVS 21 22 23 24 25 26
27 tour de table 29 30 31
 

1996-1997

Décembre 96

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1
2 3 4 5 6 7 8
9 10 11 12 
Mario Südholt 
Camille de Sagazan 
Pot de Stephane		 13 14 15
16 17 18 19 
Thèse de Pascale 
Repas de Noël		 20 21 22
23 24 25 26 27 28 29
30 31
Mario Südholt : Le développement de programmes parallèles à l'aide d'algèbres de distribution des données
Camille de Sagazan : Typage d'un langage parallèle et fonctionnel à liaison noms-canaux dynamique dans un système de types étiquetés

Janvier 97

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1 2 3 4 5
6 7 8 9 
Tour de table		 10 11 12
13 14 15 16 17 18 19
20 21 22 23 
Jeanne Berthelemy		 24 25 26
27 28 29 30 
Thomas Jensen		 31
Jeanne Berthelemy : Logic Programming : Systematic program development
Thomas Jensen : Inference de types de necessite polymorphes

Février 97

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1 2
3 4 5 6 
Tour de table		 7 8 9
10 11 12 13 
Olivier Ridoux		 14 15 16
17 18 19 20 
Nic Volanschi		 21 22 23
24 25 26 27 
Hong Lin		 28
Olivier Ridoux : Structures relationnelles
Nic Volanschi : Une approche declarative a la specialisation des programmes objet
Hong Lin : Gamma

Mars 97

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1 2
3 4 5 6 
Tour de table		 7 8 9
10 11 12 13  
Bruno Marre		 14 15 16
17 18 19 20 
Pascal Fradet		 21 22 23
24 25 26 27 
Daniel Le Métayer		 28 29 30
31
Bruno Marre : Loft
Pascal Fradet : Shape types
Daniel Le Métayer : Architecture des logiciels

Avril 97

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1 2 3 
Tour de table		 4 5 6
7 8 9 10 
Michaël Périn		 11 12 13
14 15 16 17 
Luke Hornof		 18 19 20
21 22 23 24 
Gérard Ferrand		 25 26 27
28 29 30
Michaël Périn : Modeling railway control systems using graph grammars: a case study
Luke Hornof : Accurate Partial Evaluation of Realistic Programs via Use Sensitivity
Gérard Ferrand : CLP

Mai 97

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1 
Ferié		 2 3 4
5 6 7 8 
Ferié		 9 10 11
12 13 14 15 
Christophe Bidan		 16 17 18
19 20 21 22 
Tour de table		 23 24 25
26 27 28 29 
Noël Plouzeau		 30 31
Christophe Bidan : Sécurité
Noël Plouzeau : Supports pour travail coopératif

Juin 97

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1
2 3 4 5 
Lionel Van Aertryck		 6 7 8
9 10 11 12 
Christophe Bidan		 13 14 15
16 17 18 19 
Tour de table		 20 21 22
23 24 25 26 
Arnaud Gotlieb		 27 
Thèse de Luke 		 28 29
30
Lionel Van Aertryck : CASTING : a formally based software test generation method
Christophe Bidan : Sécurité, part II
Arnaud Gotlieb (Dassault-électronique) : Génération automatique de cas de test

Juillet 97

Lundi Mardi Mercredi Jeudi Vendredi Samedi Dimanche
1 2 3 
13h30 : Lee Naish		 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31
Lee Naish : A higher order reconstruction of stepwise enhancement