Blog Archives

Cornipickle presented at WAQ 2018

The largest French-speaking digital event in North America – Web à Québec – was presented from April 10 to 12 in Quebec City, Canada. Some 1,500 participants gathered at this 8th edition, where the head of UQAC’s formal computer lab (LIF), Sylvain Hallé, also took part as a speaker. It

Read more ›

Posted in Uncategorized

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
Tags:

Now on Facebook

We’ve just opened LIF’s own Facebook page, which will contain updates about the lab’s activities! See us at https://www.facebook.com/Laboratoire-dinformatique-formelle-1710436499186179/

Posted in Uncategorized