• Accueil

• Le ReSMiQ
  • À propos du ReSMiQ
  • Objectifs
  • Axes et thèmes
  • Partenaires
  • Équité, diversité et inclusion
  • Administration
  • Rapports annuels & bulletins d'information
  • Nous joindre

• Étudiants
  • S’enregistrer
  • Bourses et soutiens financiers
    • pour étudiants du 1er cycle
    • pour étudiants aux cycles supérieurs
    • pour stagiaires postdoctoraux
    • pour participation à des conférences
  • Concours d’affiches scientifiques
  • « Les diplômés, affichez-vous »
  • Opportunités de recherche
  • Offres de stages
  • Offres d’emplois
  • Cours de cycles supérieurs

• Chercheurs
  • Membres chercheurs
  • Services et infrastructures
  • Soutien financier de démarrage
  • Recrutement d'étudiants
  • Soutien financier pour chercheurs invités

• Industriels
  • Partenariat université / industrie
  • Répertoires des entreprises

• Grand Public
  • Survol
  • Projets

• Média
  • Dans les médias
  • Pour les médias

• Activités
  • Cours intensifs
  • Séminaires
  • Conferences
  • Colloques
  • 5 à 7 réseautage
  • Journée de l'innovation ReSMiQ
  • Colloque annuel ReSMiQ

• Nouvelles
  • Communiqués
  • Liens utiles

• Publications

• English

• Cours intensifs
• Séminaires
• Conferences
• Colloques
• 5 à 7 réseautage
• Journée de l'innovation ReSMiQ
• Colloque annuel ReSMiQ

Titre: Formal Verification of Systems
Conférencier: Professor Sofiène Tahar ,
Lieu: Université de Montréal - Pavillon André-Aisenstadt ,
Date et heure: vendredi le 17 novembre 2000 de 00:00 à 00:00

Voyez tous les cour intensifs