Groupe de travail

Sémantique du parallélisme

1993 - 1994

Le mardi de 16h à 17h30
Salle A, LaBRI, Troisième étage.

Réunions.

• 12 juillet 1994. Anne Bergeron (LACIM Montréal). Chronometres symboliques en MEC.
• 28 juin 1994. Florence Marananchi (VERIMAG Grenoble). Argos.
• 14 juin 1994. André Arnold (LaBRI). Trajectoires symboliques ultimement periodiques.
• 7 juin 1994. Pierre Castéran (LaBRI). Coq (suite).
• 24 mai 1994. Anne Dicky et Alain Griffault (LaBRI). MEC*, EMEC*, etc.
• 10 mai 1994. Paul Crubillé (LaBRI). Systèmes de transition pour N processus.
• 3 mai 1994. Pierre Castéran (LaBRI). Coq.
• 26 avril 1994. John Plaice (). Le langage "Blizzard".
• 19 avril 1994. Jean-Charles Grégoire (INRT Montréal). Vérification de systèmes.
• 19 avril 1994. Denis Zampunieris (Namur). Codage efficace de systèmes de transitions.
• 5 avril 1994. Bruno Lacombe (LaBRI). La synthèse de contrîleur.
• 29 mars 1994. Guillaume Doumenc (). Informatique temps réel aux cimenteries Lafarge.
• 22 mars 1994. David Janin (LaBRI). Plongement d'une algèbre de processus en logique linéaire (de Girard).
• 8 mars 1994. Thomas Wilke (). Specifying timed state sequences in monadic second order logic.
• 1 mars 1994. Marie-Hélène Skubiszewska (LaBRI). ATM, FRP : Présentations.
• 15 février 1994. Antoine Rauzy (LaBRI). Toupie (nouvelle version) et travaux en cours avec Srecko Brlek.
• 8 février 1994. Alain Griffault (LaBRI). RMA, l'algorithme glouton et MEC.
• 25 janvier 1994. Igor Walukiewicz (). The completeness of the Kozen's original system for the mu-calculus.
• 18 janvier 1994. Christophe Chevrier (LaBRI). Validations Estelle avec VEDA.
• 11 janvier 1994. Marie-Hélène Skubiszewska (LaBRI). Spécifications en Estelle.
• 14 décembre 1993. André Arnold (LaBRI). L'algorithme sous-glouton.
• 14 décembre 1993. Elena Mouratova (). Produits de structures et verification.
• 7 décembre 1993. Anne Dicky (LaBRI). Quelques faÛons de traiter les problèmes d'échéances temporelles posés par l'application EUROTRI.
• 30 novembre 1993. Richard Castanet et Christophe Chevrier (LaBRI). Tests de protocoles.
• 23 novembre 1993. Didier Bégay (LaBRI). Back from Iowa
• 16 novembre 1993. David Janin (LaBRI). Cadres formels pour le test et l'observation de processus.
• 9 novembre 1993. Alain Griffault (LaBRI). Un séquenceur à rendez-vous distribué.
• 2 novembre 1993. Marc-Michel Corsini (LaBRI). Une autre utilisation de Toupie.
• 26 octobre 1993. Screko Brlek (LACIM Montréal). De LOTOS à MEC.
• 19 octobre 1993. Didier Bégay (LaBRI). Systèmes de transition et développement de logiciels embarqués.
• 12 octobre 1993. Christian Toinard (LaBRI). A propos de l'exposé du séminaire.
• 5 octobre 1993. Patrick Félix (LaBRI). Le bug de l'été.
• 5 octobre 1993. Paul Crubillé (LaBRI). Un protocole full-duplex original.
• 21 septembre 1993. Réunion de rentrée.
  • Bilan de l'année écoulée.
  • Projets pour l'année.
  • Le contrat CNET.

Années suivantes

• MVTsi 1997-1998.
• MVTsi 1996-1997.
• MVTsi 1995-1996.
• Sémantique du parallélisme 1994-1995.

Années précédentes

• Sémantique du parallélisme 1992-1993.

Navigation