Blog Archives

LIF becomes an Inria associate team

LIF researchers have obtained funding under the Inria Associate Team program in France. The Associate Team program aims to create and strengthen research collaborations between Inria components and international research teams.

First, Professors Sylvain Hallé and Raphaël Khoury received funding to start a sustained collaboration with Professor Yliès Falcone of Université Grenoble-Alpes.

Read more ›



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.

Read more ›



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.

Read more ›

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/

Read more ›



Top