Welcome to LIF

The Formal Computer Science Laboratory (in French: Laboratoire d'informatique formelle or LIF) is a research group based in the Department of Computer Science and Mathematics at Université du Québec à Chicoutimi.

The LIF is formed of a team of faculty and students, working on cutting-edge research projects under the sponsorship and collaboration of companies and public funding agencies.

Latest News