Monthly Archives: September 2016

The Best Paper Award for two LIF Professors

Prof. Sylvain Hallé and Raphaël Khoury, members of LIF, won the Best Paper Award at the 20th International IEEE EDOC Conference, held in Vienna last September. Their paper, titled Decentralized Enforcement of Artifact Lifecycles, was co-authored with Yliès Falcone and Antoine El-Hokayem from Université Grenoble-Alpes in France. The paper describes

Read more ›

Posted in Uncategorized

Open Ph.D. position in Malware Detection (Fall 2016)

Detecting Malware through Execution Trace Monitoring Laboratoire d’Informatique Formelle Université du Québec à Chicoutimi Chicoutimi, Québec, Canada The Formal Computer Science Laboratory ( is seeking high-quality applications for a fully-funded PhD position in Malware Detection. Candidates should be highly self-motivated, possess high organizational skills, be open minded, and be interested

Read more ›

Posted in Open positions
Tags: ,