1. Home /
  2. College & University /
  3. Laboratoire d'informatique formelle


Category

General Information

Locality: Chicoutimi

Phone: +1 418-545-5011 Ext 5280



Address: 555, boul. de l'Université G7H2B1 Chicoutimi, QC, Canada

Website: liflab.ca

Likes: 68

Reviews

Add review



Facebook Blog

Laboratoire d'informatique formelle 07.05.2021

Titre Développement d'outils d'assurance qualité pour le processus de développement d'un site web Détails du projet Clientèle visée: finissants de maîtrise devant effectuer un stage de fin d'étude ou un essai Nombre de postes à pourvoir: 2 Durée: 6 mois Rémunération: bourse d'études de 10000$ Début du projet: été 2020 (flexible) Pour postuler Contacter directement Sylvain Hallé ([email protected]) en fournissant: [ 571 more words ] https://liflab.ca/index.php/lif20-e1/?lang=fr

Laboratoire d'informatique formelle 05.05.2021

Trois étudiantes du LIF participent à Women in Data Science https://liflab.ca//trois-etudiantes-du-lif-participent-a/

Laboratoire d'informatique formelle 15.11.2020

Le LIF devient équipe associée Inria https://liflab.ca/index.php/equipe-associee-inria/?lang=fr

Laboratoire d'informatique formelle 07.11.2020

Financement pour un projet avec Industrielle Alliance http://liflab.ca//financement-pour-un-projet-avec-indust/

Laboratoire d'informatique formelle 27.10.2020

Présentation de Sylvain Hallé au CRIM http://liflab.ca/in/presentation-de-sylvain-halle-au-crim/

Laboratoire d'informatique formelle 15.10.2020

Les professeurs Raphaël Khoury et Sylvain Hallé, tous deux membres du LIF, viennent de démarrer un projet de recherche et développement avec la nouvelle antenne d'Ubisoft à Saguenay. Le projet de six mois, auquel participent des professeurs, des étudiants de niveau maîtrise et des employés d'Ubisoft, est financé dans le cadre du programme MITACS Accélération. Le projet, qui doit durer d'août 2019 à janvier 2020, a été approuvé par la direction d'Ubisoft à l'issue d'un processus de sélection interne ayant reçu plusieurs propositions de recherche. http://liflab.ca/index.php/ubisoft-lif-mitacs-19/?lang=fr

Laboratoire d'informatique formelle 02.10.2020

Tutoriel sur BeepBeep à ICECCS 2019 https://liflab.ca/index.php/iceccs19-tutorial/?lang=fr